Skip to main content
SpringerLink
Log in

Formal Modeling and Supervisory Control of Reconfigurable Robot Teams

  • Conference paper
Formal Approaches to Agent-Based Systems (FAABS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2699))

Included in the following conference series:

Abstract

Teams of land-based, airborne, or submerged robots constitute a new breed of robotic systems for which the issue of controlled behavior arises naturally. In this paper, we model the dynamics of a reconfigurable (adaptable) robot team within the formalism of the discrete event system framework from control theory. The adaptation to be handled is one or more robots switching offline. This paper presents a novel method for learning and verification following adaptation – to restore supervision and assure the behavior of the team.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston (2001)

    Google Scholar 

  2. Chen, Y.-L., Lafortune, S., Lin, F.: How to reuse supervisors when discrete event systems evolve. In: Proceedings of the IEEE Conference on Decision and Control, San Diego, CA, pp. 1442–1448 (1997)

    Google Scholar 

  3. Du, Y., Wang, S.H.: Control of discrete-event systems with minimal switching. International Journal of Control 48(3), 981–991 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  4. Gordon, D.: Asimovian adaptive agents. Journal of Artificial Intelligence Research 13, 95–153 (2000)

    Google Scholar 

  5. Kiriakidis, K., Gordon, D.: Supervision of multiple-robot systems. In: Proceedings of the American Control Conference, Arlington, VA, pp. 2117–2118 (June 2001)

    Google Scholar 

  6. Gordon, D., Kiriakidis, K.: Adaptive supervisory control of interconnected discrete event systems. In: Proceedings of the 2000 IEEE Conference on Control Applications, Anchorage, AK, pp. 935–940 (September 2000)

    Google Scholar 

  7. Gordon, D., Kiriakidis, K.: Design of adaptive supervisors for discrete event systems via learning. In: Proceedings of the ASME Dynamic Systems and Control Division, International Mechanical Engineering Congress and Exposition, Orlando, FL, pp. 365–370 (November 2000)

    Google Scholar 

  8. Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Menlo Park (1979)

    MATH  Google Scholar 

  9. Kiriakidis, K., Gordon, D.: Supervision of multiple-robot systems. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871. Springer, Heidelberg (2001)

    Google Scholar 

  10. Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston (1995)

    MATH  Google Scholar 

  11. Kurshan, P.: Computer Aided Verification of Coordinating Processes. Princeton University Press, Princeton (1994)

    Google Scholar 

  12. Lin, F.: Robust and adaptive supervisory control of discrete event systems. IEEE Transactions on Automatic Control 38(12), 1842–1852 (1993)

    Article  Google Scholar 

  13. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1), 206–230 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  14. Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)

    Article  Google Scholar 

  15. Thistle, J.G.: Supervisory control of discrete event systems. Mathematical and Computer Modelling 23(11), 25–53 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  16. Wonham, W.M., Ramadge, P.J.: Modular supervisory control of discrete-event systems. Mathematics of Control, Signals, and Systems 1(1), 13–30 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  17. Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization 25(3), 637–659 (1987)

    Article  MathSciNet  Google Scholar 

  18. Young, S., Garg, V.K.: Model uncertainty in discrete event systems. SIAM J. Control and Optimization 33(1), 208–226 (1995)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Weapons and Systems Engineering, United States Naval Academy, 105 Maryland Avenue, Annapolis, MD, 21402, USA

    Kiriakos Kiriakidis

  2. Computer Science Department, College of Engineering, University of Wyoming, Laramie, WY, 82071, USA

    Diana F. Gordon-Spears

Authors
  1. Kiriakos Kiriakidis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Diana F. Gordon-Spears
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Loyola College in Maryland, MD 21210, Baltimore, USA

    Michael G. Hinchey

  2. Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, MD 20771, Greenbelt, USA

    James L. Rash

  3. NASA Goddard Space Flight Center, MD 20771, Greenbelt, USA

    Walter F. Truszkowski

  4. Advanced Technology Laboratories, Lockheed Martin Corporation, VA 22203, Arlington, USA

    Christopher Rouff

  5. Computer Science Department, University ofWyoming, WY 82070, Laramie, USA

    Diana Gordon-Spears

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kiriakidis, K., Gordon-Spears, D.F. (2003). Formal Modeling and Supervisory Control of Reconfigurable Robot Teams. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45133-4_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40665-5

  • Online ISBN: 978-3-540-45133-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation