General specification of multi-robot control system structures

The paper deals with structuring robot control systems. The control system is decomposed into distinct agents. An agent, in general, is responsible for control of its effector, perception of the environment for the purpose of its effector control, and inter-agent communication. The behaviour of the agent is governed by its set of transition functions. The control system consists of two tiers – the upper tier is defined by the flow of information between the agents and the lower tier is defined by formal specification of each agent’s behaviour (influence on the environment, gathering sensor readings, production and consumption of the information for/from the other agents). The paper presents one of the examples of utilization of this approach. The example concerns the multi-robot drawing copying system.

[1]  W. Jakob,et al.  PASRO: Pascal for robots , 1985 .

[2]  Christian Blume,et al.  Programming languages for industrial robots , 1986, Symbolic computation.

[3]  Vincent Hayward,et al.  Robot Manipulator Control under Unix RCCL: A Robot Control "C" Library , 1986 .

[4]  Oussama Khatib,et al.  A unified approach for motion and force control of robot manipulators: The operational space formulation , 1987, IEEE J. Robotics Autom..

[5]  Vincent Hayward,et al.  Kali: An Environment for the Programming and Control of Cooperative Manipulators , 1988, 1988 American Control Conference.

[6]  Vincent Hayward,et al.  An Overview of KALI: a System to Program and Control Cooperative Manipulators , 1989 .

[7]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[8]  Cezary Zieliński,et al.  Description of semantics of robot programming languages , 1992 .

[9]  Cezary Zieliński.  Flexible controller for robots equipped with sensors , 1993 .

[10]  Kenneth Slonneger,et al.  Formal syntax and semantics of programming languages - a laboratory based approach , 1995 .

[11]  Joris De Schutter,et al.  Specification of force-controlled actions in the "task frame formalism"-a synthesis , 1996, IEEE Trans. Robotics Autom..

[12]  Rajiv Dubey,et al.  Variable damping impedance control of a bilateral telerobotic system , 1997 .

[13]  Rachid Alami,et al.  An Architecture for Autonomy , 1998, Int. J. Robotics Res..

[14]  Reid G. Simmons,et al.  A task description language for robot control , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[15]  Emilio Ruiz Morales.  GENERIS: the EC‐JRC generalised software control system for industrial robots , 1999 .

[16]  C. Zielinski.  The MRROC++ system , 1999, Proceedings of the First Workshop on Robot Motion and Control. RoMoCo'99 (Cat. No.99EX353).

[17]  Mee-Seub Lim,et al.  Stiffness adaptation and force regulation using hybrid system approach for constrained robots , 1999, Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients (Cat. No.99CH36289).

[18]  Lars Petersson,et al.  DCA: a distributed control architecture for robotics , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[19]  Toru Tsumugiwa,et al.  Variable impedance control based on estimation of human arm stiffness for human-robot cooperative calligraphic task , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[20]  Cezary Zieliński.  Motion Generators in MRROC++ Based Robot Controllers , 2002 .

[21]  Gregory D. Hager,et al.  Sensor Based Intelligent Robots , 1999, Lecture Notes in Computer Science.

[22]  Herman Bruyninckx,et al.  OROCOS : design and implementation of a robot control software framework , 2002 .

[23]  Herman Bruyninckx,et al.  The real-time motion control core of the Orocos project , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[24]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[25]  Stanislaw Ambroszkiewicz.  Entish: A Language for Describing Data Processing in Open Distributed Systems , 2004, Fundam. Informaticae.

[26]  Cezary Zielinski,et al.  Implementation of position-force control in MRROC++ , 2005, Proceedings of the Fifth International Workshop on Robot Motion and Control, 2005. RoMoCo '05..

[27]  Debora Botturi,et al.  Trends in Software Environments for Networked Robotics , 2005, PPSDR@ICRA.

[28]  Alexei Makarenko,et al.  Orca: A Component Model and Repository , 2005, PPSDR@ICRA.

[29]  Alexei Makarenko,et al.  Towards component-based robotics , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[30]  Cezary Zieliński.  Formal approach to the design of robot programming frameworks: the behavioural control case , 2005 .

[31]  Cezary Zielinski,et al.  Applications of MRROC++ robot programming framework , 2005, Proceedings of the Fifth International Workshop on Robot Motion and Control, 2005. RoMoCo '05..

[32]  Davide Brugali.  Stable Analysis Patterns for Robot Mobility , 2005, PPSDR@ICRA.

[33]  William D. Smart,et al.  Trends in Robot Software Domain Engineering , 2005, PPSDR@ICRA.

[34]  Issa A. D. Nesnas,et al.  The CLARAty Project: Coping with Hardware and Software Heterogeneity , 2005, PPSDR@ICRA.

[35]  Richard T. Vaughan,et al.  Reusable Robot Software and the Player/Stage Project , 2005, PPSDR@ICRA.

[36]  Daniel Hernández-Sosa,et al.  CoolBOT: A Component Model and Software Infrastructure for Robotics , 2005, PPSDR@ICRA.

[37]  Cezary Zieliński.  Transition-Function Based Approach to Structuring Robot Control Software , 2006 .

[38]  Cezary Zielinski,et al.  Rubik's cube as a benchmark validating MRROC++ as an implementation tool for service robot control systems , 2007, Ind. Robot.

[39]  Cezary Zielinski,et al.  Parallel visual-force control , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[40]  Bruce A. MacDonald,et al.  Player 2.0: Toward a Practical Robot Programming Framework , 2008 .

[41]  W. Marsden.  I and J , 2012 .

[42]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.