Skip to main content
SpringerLink
Log in

Specification of Agent Based Robotic Systems Using Hierarchical Finite State Automatons

  • Conference paper
  • First Online:
Advanced, Contemporary Control

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1196))

Abstract

The paper assumes the composition of robotic systems out of embodied agents. It presents a utilitarian decomposition of an agent into subsystems. Both subsystem behaviours and their selection can be described in terms of Finite State Automatons (FSA), thus Hierarchic FSAs result. Mathematical formalisation of this description enables the verification of correctness of some aspects of system operation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Boren, J., Cousins, S.: The SMACH high-level executive. IEEE Rob. Autom. Mag. 17(4), 18–20 (2010)

    Article  Google Scholar 

  2. Brooks, R.A.: New approaches to robotics. Science 253, 1227–1232 (1991)

    Article  Google Scholar 

  3. Brooks, R.A.: Intelligence without reason. Artif. Intell. Crit. Concepts 3, 107–163 (1991)

    MATH  Google Scholar 

  4. Chaumette, F., Hutchinson, S.: Visual servo control, part I: basic approaches. IEEE Rob. Autom. Mag. 13(4), 82–90 (2006)

    Article  Google Scholar 

  5. Chaumette, F., Hutchinson, S.: Visual servoing and Visual tracking. In: The Handbook of Robotics, pp. 563–583. Springer, Heidelberg (2008)

    Google Scholar 

  6. Clarke, E., Grumberg, O., Kroening, D., Peleg, D., Veith, H.: Model Checking. MIT Press, Cambridge (2018)

    MATH  Google Scholar 

  7. DeLoach, S., Wood, M., Sparkman, C.: Multiagent systems engineering. Int. J. Softw. Eng. Knowl. Eng. 11(3), 231–258 (2001)

    Article  Google Scholar 

  8. Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: Robotml, a domain-specific language to design, simulate and deploy robotic applications. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) Simulation, Modeling, and Programming for Autonomous Robots, pp. 149–160. Springer, Berlin, Heidelberg (2012)

    Chapter  Google Scholar 

  9. Dijkstra, E.: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60–66. Springer, Heidelberg (1982)

    Google Scholar 

  10. Figat, M., Zieliński, C.: Methodology of designing multi-agent robot control systems utilising Hierarchical Petri Nets. In: 2019 International Conference on Robotics and Automation (ICRA), pp. 3363–3369 (2019)

    Google Scholar 

  11. Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language, 3rd edn. Morgan Kaufmann, Burlington (2015)

    Google Scholar 

  12. Klotzbücher, M., Smits, R., Bruyninckx, H., De Schutter, J.: Reusable hybrid force-velocity controlled motion specifications with executable domain specific languages. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA, 25–30 September 2011, pp. 4684–4689 (2011)

    Google Scholar 

  13. Klotzbücher, M., Bruyninckx, H.: Coordinating robotic tasks and systems with rFSM statecharts. J. Softw. Eng. Rob. 3(1), 28–56 (2012)

    Google Scholar 

  14. Kornuta, T., Zieliński, C.: Robot control system design exemplified by multi-camera visual servoing. J. Intell. Rob. Syst. 77(3–4), 499–524 (2013)

    Google Scholar 

  15. Kortenkamp, D., Simmons, R., Brugali, D.: Robotic systems architectures and programming. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, 2nd edn, pp. 283–306. Springer, Heidelberg (2016)

    Chapter  Google Scholar 

  16. Moore, E.F.: Gedanken-experiments on sequential machines. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, Annals of Mathematical Studies, no. 34, pp. 129—153. Princeton University Press, Princeton (1956)

    Google Scholar 

  17. Nguyen, H., Ciocarlie, M., Hsiao, K., Kemp, C.C.: ROS commander (ROSCo): behavior creation for home robots. In: IEEE International Conference on Robotics and Automation (2013)

    Google Scholar 

  18. Nwana, H.S., Ndumu, D.T.: A brief introduction to software agent technology, pp. 29–47. Springer, Heidelberg (1998). https://doi.org/10.1007/978-3-662-03678-5_2

  19. Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. Wiley, Hoboken (2004)

    Book  MATH  Google Scholar 

  20. Pilone, D., Pitman, N.: UML 2.0 in a Nutshell. O’Reilly, Newton (2005)

    Google Scholar 

  21. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River (1995)

    MATH  Google Scholar 

  22. Rybinski, H., Ryżko, D., Więch, P.: Learning of defaults by agents in a distributed multi-agent system environment, pp. 197–213. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-28699-5_8

  23. Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  24. Staniak, M., Zieliński, C.: Structures of visual servos. Rob. Auton. Syst. 58(8), 940–954 (2010)

    Article  Google Scholar 

  25. Stenmark, M., Malec, J., Stolt, A.: From high-level task descriptions to executable robot code, pp. 189—202. Springer, Heidelberg (2015)

    Google Scholar 

  26. Wakerly, J.: Digital Design: Principles and Practices, 3rd edn. Prentice-Hall, Upper Saddle River (2000)

    MATH  Google Scholar 

  27. Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K.L., Dautenhahn, K., Saez-Pons, J.: Toward reliable autonomous robotic assistants through formal verification: a case study. IEEE Trans. Hum.-Mach. Syst. 46(2), 186–196 (2016)

    Article  Google Scholar 

  28. Wooldridge, M.: Intelligent Agents. Multiagent Systems, pp. 27–77. MIT Press, Cambridge (1999)

    Google Scholar 

  29. Yannakakis, M.: Hierarchical state machines. In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P., Ito, T. (eds.) Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, pp. 315–330. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  30. Zieliński, C.: A unified formal description of behavioural and deliberative robotic multi-agent systems. In: 7th International IFAC Symposium on Robot Control (SYROCO), vol. 7, pp. 479–486 (2003)

    Google Scholar 

  31. Zieliński, C.: Specification of behavioural embodied agents. In: Kozłowski, K. (ed.) Fourth International Workshop on Robot Motion and Control (RoMoCo 2004), 17–20 June 2004, pp. 79–84 (2004)

    Google Scholar 

  32. Zieliński, C.: General robotic system software design methodology. In: Uhl, T. (ed.) 15th IFToMM World Congress Advances in Mechanism and Machine Science, Mechanisms and Machine Science, Kraków, Poland, vol. 73, pp. 2779–2788 (2019)

    Google Scholar 

  33. Zieliński, C., Winiarski, T.: General specification of multi-robot control system structures. Bull. Polish Acad. Sci. Tech. Sci. 58(1), 15–28 (2010)

    Google Scholar 

  34. Zieliński, C., Winiarski, T.: Motion generation in the MRROC++ robot programming framework. Int. J. Rob. Res. 29(4), 386–413 (2010)

    Article  Google Scholar 

  35. Zieliński, C.: Transition-function based approach to structuring robot control software. In: Kozłowski, K. (ed.) Robot Motion and Control, Lecture Notes in Control and Information Sciences, vol. 335, pp. 265–286. Springer, Heidelberg (2006)

    Google Scholar 

  36. Zieliński, C., Kornuta, T.: Diagnostic requirements in multi-robot systems. In: Korbicz, J., Kowal, M. (eds.) Intelligent Systems in Technical and Medical Diagnostics, Advances in Intelligent Systems and Computing, vol. 230, pp. 345–356. Springer, Heidelberg (2014)

    Google Scholar 

  37. Zieliński, C., Kornuta, T., Winiarski, T.: A systematic method of designing control systems for service and field robots. In: 19-th IEEE International Conference on Methods and Models in Automation and Robotics, MMAR, pp. 1–14. IEEE (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Warsaw University of Technology, Institute of Control and Computation Engineering, Nowowiejska 15/19, 00–665, Warsaw, Poland

    Cezary Zieliński

Authors
  1. Cezary Zieliński
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cezary Zieliński .

Editor information

Editors and Affiliations

  1. Institute of Automatic Control, Lodz University of Technology, Lodz, Poland

    Andrzej Bartoszewicz

  2. Institute of Automatic Control, Lodz University of Technology, Lodz, Poland

    Jacek Kabziński

  3. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zieliński, C. (2020). Specification of Agent Based Robotic Systems Using Hierarchical Finite State Automatons. In: Bartoszewicz, A., Kabziński, J., Kacprzyk, J. (eds) Advanced, Contemporary Control. Advances in Intelligent Systems and Computing, vol 1196. Springer, Cham. https://doi.org/10.1007/978-3-030-50936-1_39

Download citation

Publish with us

Policies and ethics

Search

Navigation