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.
D. M. Lyons and M. A. Arbib, "A formal model of computation for sensory-based robotics", IEEE Transactions on Robotics and Automation 5 (3), 280-293 (1989).
C. Zieliński, "Description of semantics of robot programming languages", Mechatronics 2 (2), 171-198 (1992).
A. C. Dominguez-Brito, D. Hernández-Sosa, J. Isern-González, and J. Cabrera-Gámez, "CoolBOT: a component model and software infrastructure for robotics", Software Engineering for Experimental Robotics 1, 143-168 (2007).
D. Brugali, "Stable analysis patterns for robot mobility", Software Engineering for Experimental Robotics 9-30 (2007).
D. Brugali, A. Agah, B. MacDonald, I. Nesnas, and W. Smart, "Trends in Robot Software Domain Engineering", Software Engineering for Experimental Robotics 1, 3-8 (2007).
I. A. D. Nesnas, "The CLARAty project: Coping with hardware and software heterogenity", Software Engineering for Experimental Robotics 30, 31-70 (2007).
D. Brugali, M. Alencastre-Miranda, L. Muñoz-Gómez, D. Botturi, and L. Cragg, "Trends in Software Environments for Networked Robotics", Software Engineering for Experimental Robotics 1, 401-408 (2007).
V. Hayward and R. P. Paul, "Robot manipulator control under unix RCCL: a robot control C library", Int. J. Robotics Research 5 (4), 94-111 (1986).
V. Hayward and S. Hayati, "Kali: an environment for the programming and control of cooperative manipulators", 7th American Control Conf. 1, 473-478 (1988).
V. Hayward, L. Daneshmend, and S. Hayati, "An overview of KALI: a system to program and control cooperative manipulators", Advanced Robotics 1, 547-558 (1989).
C. Blume and W. Jakob, PASRO: Pascal for Robots, Springer-Verlag, Berlin, 1985.
C. Blume and W. Jakob, Programming Languages for Industrial Robots, Springer-Verlag, Berlin, 1986.
C. Zieliński, Robot Programming Methods, Publishing House of Warsaw University of Technology, Warsaw, 1995.
C. Zieliński, "Flexible controller for robots equipped with sensors", 9th Symp. Theory and Practice of Robots and Manipulators 187, 205-214 (1993).
C. Zieliński, "Control of a multi-robot system", 2nd Int. Symp. Methods and Models in Automation and Robotics MMAR'95 1, 603-608 (1995).
C. Zieliński, Object-oriented Programming of Multi-robot Systems, Cambridge University, Cambridge, 1997.
C. Zieliński, "The MRROC++ system", First Workshop on Robot Motion and Control, RoMoCo'99 1, 147-152 (1999).
S. Fleury and M. Herrb, "Genom user's guide", in Report, LAAS, Publishing House of Toulouse, Toulouse, 2001.
R. Alami, R. Chatila, S. Fleury, M. M. Ghallab, and F. Ingrand, "An architecture for autonomy", Int. J. Robotics Research 17 (4), 315-337 (1998).
L. Petersson, D. Austin, and H. Christensen, "DCA: a distributed control architecture for robotics", Proc. Int. Conf. on Intelligent Robots and Systems IROS 1, CD-ROM (2001).
R. Simmons, R. Goodwin, C. Fedor, and J. Basista, Task Control Architecture: Programmer's Guide to Version 8.0, Carnegie Mellon University, Pittsburgh, 1997.
R. Simmons and D. Apfelbaum, "A task description language for robot control", Int. Conf. on Itelligent Robots and Systems IROS'98, 1, CD-ROM (1998).
E. R. Morales, "GENERIS: The EC-JRC generalised software control system for industrial robots", Industrial Robot 26 (1), 26-32 (1999).
H. Bruyninckx, "The real-time motion control core of the OROCOS project", Proc. IEEE Int. Conf. on Robotics and Automation 14, 2766-2771 (2003).
J. Cabrera-Gámez, A. C. Domínguez-Brito, and D. Hernández-Sosa, "Sensor based intelligent robots", in: A Component-Oriented Programming Framework for Robotics, pages 282-304, Springer, Berlin, 2002.
A. Brooks, T. Kaupp, A. Makarenko, S. Williams, and A. Orebäck, "Towards component-based robotics", IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1, 163-168 (2005).
A. Brooks, T. Kaupp, A. Makarenko, S. Williams, and A. Orebäck, "Orca: A component model and repository", Software Engineering for Experimental Robotics 1, 231-251 (2007).
B. P. Gerkey, R. T. Vaughan, and A. Howard, "The player/stage project: tools for multi-robot and distributed sensor systems", Proc. Int. Conf. Advanced Robotics 1, 317-323 (2003).
T. Collett, B. MacDonald, and B. Gerkey, "Player 2.0: toward a practical robot programming framework", Australasian Conf. on Robotics and Automation 2, CD-ROM (2005).
R. T. Vaughan, B. P. Gerkey, and A. Howard, "Reusable robot software and the player/stage project", Software Engineering for Experimental Robotics 1, 267-290 (2007).
K. Slonneger and B. L. Kurtz, Formal Syntax and Semantics of Programming Languages: a Laboratory Based Approach, Addison-Wesley Publishing Company, Reading, 1995.
S. Ambroszkiewicz, "Entish: A language for describing data processing in open distributed systems", Fundamenta Informaticae 60 (1-4), 41-66 (2004).
C. Zieliński, "Transition-function based approach to structuring robot control software", in: Robot Motion and Control: Recent Developments, Lecture Notes in Control and Information Sciences, Vol. 335, pages 265-286, ed. K. Kozłowski, Springer Verlag, Berlin, 2006.
C. Zieliński, "Formal approach to the design of robot programming frameworks: the behavioural control case", Bull. Pol. Ac.: Tech. 53 (1), 57-67 (2005).
C. Zieliński, W. Szynkiewicz, T. Winiarski, M. Staniak, W. Czajewski, and T. Kornuta, "Rubik's cube as a benchmark validating MRROC++ as an implementation tool for service robot control systems", Industrial Robot: Int. J. 34 (5), 368-375 (2007).
M. S. Lim, J. Lim, and S. R. Oh, "Stiffness adaptation and force regulation using hybrid systemapproach for constrained robots", Intelligent Robots and Systems, Int. Conf. 2, CD-ROM (1999).
R. V. Dubey, T. F. Chan, and S. E. Everett, "Variable damping impedance control of a bilateral teleroboticsystem", Control Systems Magazine, IEEE 17 (1), 37-45 (1997).
T. Tsumugiwa, R. Yokogawa, and K. Hara, "Variable impedance control based on estimation of human arm stiffness for human-robot cooperative calligraphic task", Proc. IEEE Conf. on Robotics and Automation 1, 644-650 (2002).
H. Bruyninckx and J. De Schutter, "Specification of force-controlled actions in the task frame formalism: a synthesis", IEEE Trans. on Robotics and Automation 12 (4), 581-589 (1996).
O. Khatib, "A unified approach for motion and force control of robot manipulators: the operational space formulation", Int. J. Robotics and Automation RA-3 (1), 43-53 (1987).
M. Staniak, T. Winiarski, and C. Zieliński, "Parallel visual-force control", Proc. IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 1, 937-942 (2008).
K. Mianowski, "Analysis of properties of special gripper for a service robot", Materials of TMM Conf. 1, 185-190 (2006), (in Polish).
T. Winiarski and C. Zieliński, "Force control in dual arm systems", 9-th National Conf. on Robotics - Advances in Robotics 2, 267-276 (2006), (in Polish).
T. Winiarski and C. Zieliński, "Position-force controller experimental station", Robotic's Progress: Control of Robots with environment Perception 1, 85-94 (2004), (in Polish).
T. Winiarski and C. Zieliński, "Implementation of position-force control in MRROC++", Proc. 5th Int. Workshop on Robot Motion and Control 1, 259-264 (2005).
C. Zieliński, W. Szynkiewicz, and T. Winiarski, "Applications of MRROC++ robot programming framework", Proc. 5th Int. Workshop on Robot Motion and Control 1, 251-257 (2005).
C. Zieliński, T. Winiarski, W. Szynkiewicz, M. Staniak, W. Czajewski, and T. Kornuta, "MRROC++ based controller of a dual arm robot system manipulating a Rubik's cube", Technical Report 06-10, 167-171 (2006).
C. Zieliński, "Motion generators in MRROC++ based robot controller", 14th CISM-IFToMM Symposium on Robotics 1, 299-306 (2002).