Skip to main content
SpringerLink
Log in

On Decentralized and Distributed Control of Partially-Observed Discrete Event Systems

  • Chapter
Advances in Control Theory and Applications

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 353))

Abstract

This paper surveys recent work of the author with several collaborators, principally Feng Lin, Weilin Wang, and Tae-Sic Yoo; they are kindly acknowledged. Decentralized control of discrete event systems, where local controllers cannot explicitly communicate in real-time, is considered in the first part of the paper. Then the problem of real-time communication among a set of local discrete-event controllers (or diagnosers) is discussed. The writing is descriptive and is meant to inform the reader about important conceptual issues and some recently-completed or on-going research efforts.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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. Antsaklis P, Baillieul J (Eds) (2004) Special issue on Networked Control Systems, IEEE Transaction on Automatic Control, 49(9)

    Google Scholar 

  2. Arnold A (1994) Finite transition systems, International Series in Computer Science, Prentice-Hall

    Google Scholar 

  3. Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation, Theoretical Computer Science, 303(1):7–34

    Article  MATH  MathSciNet  Google Scholar 

  4. Baeten J C M, Weijland W P (1990) Process Algebra, Volume 18 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press

    Google Scholar 

  5. Balemi S, Hoffmann G J, Gyugyi P, Wong-Toi H, Franklin G F (1993) Supervisory control of a rapid thermal multiprocessor, IEEE Transaction on Automatic Control, 38(7):1040–1059

    Article  MATH  MathSciNet  Google Scholar 

  6. Barrett G, Lafortune S (2000) Decentralized supervisory control with communicating controllers, IEEE Transaction on Automatic Control, 45(9):1620–1638

    Article  MATH  MathSciNet  Google Scholar 

  7. Barrett G, Lafortune S (2000) On the separation of estimation and control in discrete-event systems, In: Proceeding of 39th IEEE Conference on Decision and Control, pages 2258–2259

    Google Scholar 

  8. Bergeron A (1995) Sharing out control in distributed processes, Theoretical Computer Science, 139:163–186

    Article  MATH  MathSciNet  Google Scholar 

  9. Brandin B A (1996) The real-time supervisory control of an experimental manufacturing cell, IEEE Transactions on Robotics and Automation, 12(1):1–14

    Article  Google Scholar 

  10. Cassandras C G, Lafortune S (1999) Introduction to Discrete Event Systems, Kluwer Academic Publishers

    Google Scholar 

  11. Chen Y L, Lafortune S, Lin F (1997) Resolving feature interactions using modular supervisory control with priorities, In: Feature Interactions in Telecommunications IV, pages 108–122, IOS Press

    Google Scholar 

  12. Cieslak R, Desclaux C, Fawaz A, Varaiya P (1988) Supervisory control of discrete-event processes with partial observations, IEEE Transaction on Automatic Control, 33(3):249–260

    Article  MATH  Google Scholar 

  13. DESUMA A software tool integrating GIDDES and UMDES, http://www.eecs.umich.edu/umdes/toolboxes.html

    Google Scholar 

  14. Endsley E, Almeida E, Tilbury D (2006) Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation, Control Engineering Practice To appear

    Google Scholar 

  15. Fagin R, Halpern J Y, Moses Y, Vardi M Y (1995) Reasoning about Knowledge, MIT Press

    Google Scholar 

  16. Harel D, Politi M, editors (1998) Modeling Reactive Systems with Statecharts: The Statemate Approach, Wiley

    Google Scholar 

  17. Hoare C A R (1985) Communicating Sequential Processes, International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ

    Google Scholar 

  18. Holloway L, Krogh B, Giua A (1997) A survey of Petri net methods for controlled discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, 7(2):151–190

    Article  MATH  Google Scholar 

  19. Hristu-Varsakelis D, Levine W (2005) Handbook of Networked and Embedded Control Systems, Birkhäuser

    Google Scholar 

  20. Inan K (1994) Supervisory control: Theory and application to the gateway synthesis problem, Technical report, Electrical and Electronics Department, Middle East Technical University, Turkey

    Google Scholar 

  21. Inan K M, Varaiya P P (1989) Algebras of discrete event models, Proceedings of the IEEE, 77(1):24–38

    Article  Google Scholar 

  22. Kumar P R, Varaiya P (1986) Stochastic Systems. Estimation, Identification, and Adaptive Control, Prentice-Hall

    Google Scholar 

  23. Kumar R, Nelvagal S, Marcus S I (1997) A discrete event systems approach for protocol conversion, Discrete Event Dynamical Systems: Theory and Applications, 7(3):295–315

    Article  MATH  Google Scholar 

  24. Kumar R, Shayman M A (1997) Centralized and decentralized supervisory control of nondeterministic systems under partial observation, SIAM Journal of Control and Optimization, 35(2):363–383

    Article  MATH  MathSciNet  Google Scholar 

  25. Kumar R, Takai S (2005) Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems, In: Proceedings of the 44th IEEE Conference on Decision and Control, pages 3480–3485

    Google Scholar 

  26. Kurshan R P (1994) Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, Princeton University Press

    Google Scholar 

  27. Lafortune S (1988) Modeling and analysis of transaction execution in database systems, IEEE Transaction on Automatic Control, 33(5):439–447

    Article  Google Scholar 

  28. Lamouchi H, Thistle J G (2000) Effective control systhesis for DES under partial observations, In: Proceedings of the 39th IEEE Conference on Decision and Control, pages 22–28

    Google Scholar 

  29. Lin F, Wonham W M (1988) Decentralized supervisory control of discrete-event systems, Information Sciences, 44:199–224

    Article  MATH  MathSciNet  Google Scholar 

  30. Lin F, Wonham W M (1988) On observability of discrete-event systems, Information Sciences, 44:173–198

    Article  MATH  MathSciNet  Google Scholar 

  31. Lucas M R, Endsley E W, Tilbury D M (1999) Coordinated logic control for reconfigurable machining systems, In: Proceedings of 1999 American Control Conference

    Google Scholar 

  32. Milner R (1980) A Calculus of Communicating Systems, Springer-Verlag

    Google Scholar 

  33. Milner R (1989) Communication and Concurrency, International Series in Computer Science, Prentice-Hall

    Google Scholar 

  34. Milner R (1993) The polyadic pi-calculus: A tutorial, In: Logic and Algebra of Specification (Marktoberdorf, 1991), pages 203–246, Springer

    Google Scholar 

  35. Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I, Information and Computation, 100(1):1–40

    Article  MATH  MathSciNet  Google Scholar 

  36. MoBIES Model-Based Integration of Embedded Software program, http://www.rl.af.mil/tech/programs/MoBIES/

    Google Scholar 

  37. Moody J O, Antsaklis P J (1998) Supervisory Control of Discrete Event Systems Using Petri nets, Kluwer Academic Publishers

    Google Scholar 

  38. Overkamp A, van Schuppen J (2000) Maximal solutions in decentralized supervisory control, SIAM Journal of Control and Optimization, 39(2):492–511

    Article  MATH  Google Scholar 

  39. Pinchinat S, Riedweg S (2005) A decidable class of problems for control under partial observation, Information Processing Letters, 95(4):454–460

    Article  MathSciNet  Google Scholar 

  40. Prosser J H, Kam M, Kwatny H G (1997) Decision fusion and supervisor synthesis in decentralized discrete-event systems, In: Proceedings of 1997 American Control Conference, pages 2251–2255

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  43. Ricker L, Lafortune S, Genc S (2006) DESUMA: A tool integrating GIDDES and UMDES, In: Proceedings of the 8th International Workshop on Discrete Event Systems-WODES’06, pages 392–393

    Google Scholar 

  44. Ricker S L, Rudie K (2000) Know means no: Incorporating knowledge into discreteevent control systems, IEEE Transaction on Automatic Control, 45(9):1656–1668

    Article  MATH  MathSciNet  Google Scholar 

  45. Ricker S L, Rudie K (2003) Knowledge is a terrible thing to waste: using inference in discrete-event control problems, In: Proceedings of 2003 American Control Conference, pages 2246–2251

    Google Scholar 

  46. Rohloff K, Yoo T S, Lafortune S (2003) Deciding coobservability is PSPACEcomplete, IEEE Transaction on Automatic Control, 48(11):1995–19998

    Article  MathSciNet  Google Scholar 

  47. Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete-event system, IEEE Transaction on Automatic Control, 48(6):957–975

    Article  MathSciNet  Google Scholar 

  48. Rudie K, Willems J C (1995) The computational complexity of decentralized discrete-event control problems, IEEE Transaction on Automatic Control, 40(7):1313–1318

    Article  MATH  MathSciNet  Google Scholar 

  49. Rudie K, Wonham W M (1990) Supervisory control of communicating processes, L. Logrippo, R. L. Probert, and H. Ural, editors, Protocol Specification, Testing and Verification X, pages 243–257, North-Holland

    Google Scholar 

  50. Rudie K, Wonham W M (1992) Protocol verification using discrete-event systems, In: Proceedings of 31st IEEE Conference on Decision and Control

    Google Scholar 

  51. Rudie K, Wonham W M (1992) Think globally, act locally: Decentralized supervisory control, IEEE Transaction on Automatic Control, 37(11):1692–1708

    Article  MATH  MathSciNet  Google Scholar 

  52. Sampath M (2001) A hybrid approach to failure diagnosis of industrial systems, In: Proceedings of 2001 American Control Conference

    Google Scholar 

  53. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems, IEEE Transaction on Automatic Control, 40(9):1555–1575

    Article  MATH  MathSciNet  Google Scholar 

  54. Sengupta R (2001) Discrete-event diagnostics of automated vehicles and highways, In: Proceedings of 2001 American Control Conference

    Google Scholar 

  55. Sinnamohideen K (2001) Discrete-event diagnostics of heating, ventilation, and air-conditioning systems, In: Proceedings of 2001 American Control Conference

    Google Scholar 

  56. Takai S (1998) On the language generated under fully decentralized supervision, IEEE Transaction on Automatic Control, 43(9):1253–1256

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  58. Thistle J G, Malhamé R P, Hoang H H, Lafortune S (1997) Feature interaction modeling, detection and resolution: A supervisory control approach, In: Feature Interactions in Telecommunications IV, pages 93–107, IOS Press

    Google Scholar 

  59. Thorsley D, Teneketzis D (2004) Active acquisition of information for diagnosis of discrete event systems, In: Proceedings of the Allerton Conference on Control, Communication, and Computing

    Google Scholar 

  60. Thorsley D, Teneketzis D (2006) Diagnosis of cyclic discrete-event systems using active acquisition of information, In: Proceedings of 8th International Workshop on Discrete Event Systems (WODES’06), pages 248–255

    Google Scholar 

  61. Tripakis S (2001) Undecidable problems of decentralized observation and control, In: Proceedings of 40th IEEE Conference on Decision and Control, pages 4104–4109

    Google Scholar 

  62. van Schuppen J (1998) Decentralised supervisory control with information structures, In: Proceedings of the 1998 International Workshop on Discrete Event Systems (WODES’98), pages 36–41

    Google Scholar 

  63. van Schuppen J H (2004) Decentralized control with communication between controllers, Blondel V D and Megretski A, editors, Unsolved Problems in Mathematical Systems and Control Theory, pages 144–150, Princeton University Press, Princeton

    Google Scholar 

  64. Wang W (2006) Optimization of Communication and Coverage in Classes of Distributed Systems, PhD thesis, Department of Electrical Engineering and Computer Science, University of Michigan

    Google Scholar 

  65. Wang W, Lafortune S, Lin F (2006) A polynomial algorithm for minimizing communication in a distributed discrete event system with a central station, In: Proceedings of 45th IEEE Conference on Decision and Control

    Google Scholar 

  66. Willner Y, Heyman M (1991) Supervisory control of concurrent discrete event systems, International Journal of Control, 54(5):1143–1169

    MATH  MathSciNet  Google Scholar 

  67. Wonham W M Supervisory Control of Discrete-Event Systems, University of Toronto, Revised 2005.07.01, Available at http://www.control.toronto.edu/people/profs/wonham/wonham.html

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  69. Yoo T S, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems, Discrete Event Dynamic Systems: Theory and Applications, 12(3):335–377

    Article  MATH  MathSciNet  Google Scholar 

  70. Yoo T S, Lafortune S (2004) Decentralized supervisory control with conditional decisions: Supervisor existence, IEEE Transaction on Automatic Control, 49(11):1886–1904

    Article  MathSciNet  Google Scholar 

  71. Yoo T S, Lafortune S (2005) Decentralized supervisory control with conditional decisions: Supervisor synthesis, IEEE Transaction on Automatic Control, 50(8):1205–1211

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, Michigan, USA

    Stéphane Lafortune

Authors
  1. Stéphane Lafortune
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS-CASY, University of Bologna, Viale Risorgimento, 2, 40136, Bologna, Italy

    Claudio Bonivento , Lorenzo Marconi  & Carlo Rossi ,  & 

  2. Dipartimento di Informatica e Sistemistica, Sapienza - Università di Roma, Via Eudossiana 18, 00184, Rome, Italy

    Alberto Isidori

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lafortune, S. (2007). On Decentralized and Distributed Control of Partially-Observed Discrete Event Systems. In: Bonivento, C., Marconi, L., Rossi, C., Isidori, A. (eds) Advances in Control Theory and Applications. Lecture Notes in Control and Information Sciences, vol 353. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70701-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70701-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70700-4

  • Online ISBN: 978-3-540-70701-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation