The paper presents a robotic system design methodology based on the concept of an embodied agent decomposed into communicating subsystems, whose activities are specified in terms of FSMs invoking behaviours parameterised by transition functions and terminal conditions. In the implementation phase, this specification is transformed into a system composed of a whiteboard providing communication means and logically labelled FSMs (LLFSMs) defining the system behaviour. These concepts are used to generate the code of the robot controller. The inclusion of inter-subsystem communication model completes the resulting system design with respect to our previous work that did not account for this model. Thus communication plays a central role in this ...
The same coordination aspects are the key-points of the last proposed method about comunication: now...
Abstract: Direct real-time communication among various software components of a multi-robot system (...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
This article proposes a formal method of designing robotic systems focusing on communication between...
The executive summary of the report is to elaborate the intensive research, implement and discover t...
The paper presents a universal architectural pattern and an associated specification method that can...
Abstract: Vital functions of mobile robots are provided by software and software dominance is still ...
The paper deals with structuring robot control systems. The control system is decomposed into distin...
Inter-robot communication can be an issue, especially, if the task at hand entails carrying equipmen...
For a mobile robot to be able to communicate usefully with others, the symbols it uses to communicat...
The design of a an agent system for robotics is a problem that involves aspects coming from many dif...
Multiple cooperating robots are able to complete many tasks more quickly and reliably than one robot...
The oil and gas industry experience an increased dependency on IT and par- ticular software based ca...
In complex robotic operating environments in which robots must cooperate in a flexible and event-dri...
Summarization: Modern model-driven engineering and Agent-Oriented Software Engineering (AOSE) method...
The same coordination aspects are the key-points of the last proposed method about comunication: now...
Abstract: Direct real-time communication among various software components of a multi-robot system (...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
This article proposes a formal method of designing robotic systems focusing on communication between...
The executive summary of the report is to elaborate the intensive research, implement and discover t...
The paper presents a universal architectural pattern and an associated specification method that can...
Abstract: Vital functions of mobile robots are provided by software and software dominance is still ...
The paper deals with structuring robot control systems. The control system is decomposed into distin...
Inter-robot communication can be an issue, especially, if the task at hand entails carrying equipmen...
For a mobile robot to be able to communicate usefully with others, the symbols it uses to communicat...
The design of a an agent system for robotics is a problem that involves aspects coming from many dif...
Multiple cooperating robots are able to complete many tasks more quickly and reliably than one robot...
The oil and gas industry experience an increased dependency on IT and par- ticular software based ca...
In complex robotic operating environments in which robots must cooperate in a flexible and event-dri...
Summarization: Modern model-driven engineering and Agent-Oriented Software Engineering (AOSE) method...
The same coordination aspects are the key-points of the last proposed method about comunication: now...
Abstract: Direct real-time communication among various software components of a multi-robot system (...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...