Advertisement

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

  • Stéphane Lafortune
Chapter
Part of the Lecture Notes in Control and Information Sciences book series (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.

Keywords

Discrete Event Systems Decentralized control Communicating Controllers 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Antsaklis P, Baillieul J (Eds) (2004) Special issue on Networked Control Systems, IEEE Transaction on Automatic Control, 49(9)Google Scholar
  2. 2.
    Arnold A (1994) Finite transition systems, International Series in Computer Science, Prentice-HallGoogle Scholar
  3. 3.
    Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation, Theoretical Computer Science, 303(1):7–34zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Baeten J C M, Weijland W P (1990) Process Algebra, Volume 18 of Cambridge Tracts in Theoretical Computer Science, Cambridge University PressGoogle Scholar
  5. 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–1059zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Barrett G, Lafortune S (2000) Decentralized supervisory control with communicating controllers, IEEE Transaction on Automatic Control, 45(9):1620–1638zbMATHCrossRefMathSciNetGoogle Scholar
  7. 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–2259Google Scholar
  8. 8.
    Bergeron A (1995) Sharing out control in distributed processes, Theoretical Computer Science, 139:163–186zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Brandin B A (1996) The real-time supervisory control of an experimental manufacturing cell, IEEE Transactions on Robotics and Automation, 12(1):1–14CrossRefGoogle Scholar
  10. 10.
    Cassandras C G, Lafortune S (1999) Introduction to Discrete Event Systems, Kluwer Academic PublishersGoogle Scholar
  11. 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 PressGoogle Scholar
  12. 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–260zbMATHCrossRefGoogle Scholar
  13. 13.
    DESUMA A software tool integrating GIDDES and UMDES, http://www.eecs.umich.edu/umdes/toolboxes.htmlGoogle Scholar
  14. 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 appearGoogle Scholar
  15. 15.
    Fagin R, Halpern J Y, Moses Y, Vardi M Y (1995) Reasoning about Knowledge, MIT PressGoogle Scholar
  16. 16.
    Harel D, Politi M, editors (1998) Modeling Reactive Systems with Statecharts: The Statemate Approach, WileyGoogle Scholar
  17. 17.
    Hoare C A R (1985) Communicating Sequential Processes, International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJGoogle Scholar
  18. 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–190zbMATHCrossRefGoogle Scholar
  19. 19.
    Hristu-Varsakelis D, Levine W (2005) Handbook of Networked and Embedded Control Systems, BirkhäuserGoogle Scholar
  20. 20.
    Inan K (1994) Supervisory control: Theory and application to the gateway synthesis problem, Technical report, Electrical and Electronics Department, Middle East Technical University, TurkeyGoogle Scholar
  21. 21.
    Inan K M, Varaiya P P (1989) Algebras of discrete event models, Proceedings of the IEEE, 77(1):24–38CrossRefGoogle Scholar
  22. 22.
    Kumar P R, Varaiya P (1986) Stochastic Systems. Estimation, Identification, and Adaptive Control, Prentice-HallGoogle Scholar
  23. 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–315zbMATHCrossRefGoogle Scholar
  24. 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–383zbMATHCrossRefMathSciNetGoogle Scholar
  25. 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–3485Google Scholar
  26. 26.
    Kurshan R P (1994) Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach, Princeton University PressGoogle Scholar
  27. 27.
    Lafortune S (1988) Modeling and analysis of transaction execution in database systems, IEEE Transaction on Automatic Control, 33(5):439–447CrossRefGoogle Scholar
  28. 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–28Google Scholar
  29. 29.
    Lin F, Wonham W M (1988) Decentralized supervisory control of discrete-event systems, Information Sciences, 44:199–224zbMATHCrossRefMathSciNetGoogle Scholar
  30. 30.
    Lin F, Wonham W M (1988) On observability of discrete-event systems, Information Sciences, 44:173–198zbMATHCrossRefMathSciNetGoogle Scholar
  31. 31.
    Lucas M R, Endsley E W, Tilbury D M (1999) Coordinated logic control for reconfigurable machining systems, In: Proceedings of 1999 American Control ConferenceGoogle Scholar
  32. 32.
    Milner R (1980) A Calculus of Communicating Systems, Springer-VerlagGoogle Scholar
  33. 33.
    Milner R (1989) Communication and Concurrency, International Series in Computer Science, Prentice-HallGoogle Scholar
  34. 34.
    Milner R (1993) The polyadic pi-calculus: A tutorial, In: Logic and Algebra of Specification (Marktoberdorf, 1991), pages 203–246, SpringerGoogle Scholar
  35. 35.
    Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I, Information and Computation, 100(1):1–40zbMATHCrossRefMathSciNetGoogle Scholar
  36. 36.
    MoBIES Model-Based Integration of Embedded Software program, http://www.rl.af.mil/tech/programs/MoBIES/Google Scholar
  37. 37.
    Moody J O, Antsaklis P J (1998) Supervisory Control of Discrete Event Systems Using Petri nets, Kluwer Academic PublishersGoogle Scholar
  38. 38.
    Overkamp A, van Schuppen J (2000) Maximal solutions in decentralized supervisory control, SIAM Journal of Control and Optimization, 39(2):492–511zbMATHCrossRefGoogle Scholar
  39. 39.
    Pinchinat S, Riedweg S (2005) A decidable class of problems for control under partial observation, Information Processing Letters, 95(4):454–460CrossRefMathSciNetGoogle Scholar
  40. 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–2255Google Scholar
  41. 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–230zbMATHCrossRefMathSciNetGoogle Scholar
  42. 42.
    Ramadge P J, Wonham W M (1989) The control of discrete event systems, Proceedings of the IEEE, 77(1):81–98CrossRefGoogle Scholar
  43. 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–393Google Scholar
  44. 44.
    Ricker S L, Rudie K (2000) Know means no: Incorporating knowledge into discreteevent control systems, IEEE Transaction on Automatic Control, 45(9):1656–1668zbMATHCrossRefMathSciNetGoogle Scholar
  45. 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–2251Google Scholar
  46. 46.
    Rohloff K, Yoo T S, Lafortune S (2003) Deciding coobservability is PSPACEcomplete, IEEE Transaction on Automatic Control, 48(11):1995–19998CrossRefMathSciNetGoogle Scholar
  47. 47.
    Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete-event system, IEEE Transaction on Automatic Control, 48(6):957–975CrossRefMathSciNetGoogle Scholar
  48. 48.
    Rudie K, Willems J C (1995) The computational complexity of decentralized discrete-event control problems, IEEE Transaction on Automatic Control, 40(7):1313–1318zbMATHCrossRefMathSciNetGoogle Scholar
  49. 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-HollandGoogle Scholar
  50. 50.
    Rudie K, Wonham W M (1992) Protocol verification using discrete-event systems, In: Proceedings of 31st IEEE Conference on Decision and ControlGoogle Scholar
  51. 51.
    Rudie K, Wonham W M (1992) Think globally, act locally: Decentralized supervisory control, IEEE Transaction on Automatic Control, 37(11):1692–1708zbMATHCrossRefMathSciNetGoogle Scholar
  52. 52.
    Sampath M (2001) A hybrid approach to failure diagnosis of industrial systems, In: Proceedings of 2001 American Control ConferenceGoogle Scholar
  53. 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–1575zbMATHCrossRefMathSciNetGoogle Scholar
  54. 54.
    Sengupta R (2001) Discrete-event diagnostics of automated vehicles and highways, In: Proceedings of 2001 American Control ConferenceGoogle Scholar
  55. 55.
    Sinnamohideen K (2001) Discrete-event diagnostics of heating, ventilation, and air-conditioning systems, In: Proceedings of 2001 American Control ConferenceGoogle Scholar
  56. 56.
    Takai S (1998) On the language generated under fully decentralized supervision, IEEE Transaction on Automatic Control, 43(9):1253–1256zbMATHCrossRefMathSciNetGoogle Scholar
  57. 57.
    Thistle J G (1996) Supervisory control of discrete event systems, Mathematical and Computer Modelling, 23(11/12):25–53zbMATHCrossRefMathSciNetGoogle Scholar
  58. 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 PressGoogle Scholar
  59. 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 ComputingGoogle Scholar
  60. 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–255Google Scholar
  61. 61.
    Tripakis S (2001) Undecidable problems of decentralized observation and control, In: Proceedings of 40th IEEE Conference on Decision and Control, pages 4104–4109Google Scholar
  62. 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–41Google Scholar
  63. 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, PrincetonGoogle Scholar
  64. 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 MichiganGoogle Scholar
  65. 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 ControlGoogle Scholar
  66. 66.
    Willner Y, Heyman M (1991) Supervisory control of concurrent discrete event systems, International Journal of Control, 54(5):1143–1169zbMATHMathSciNetGoogle Scholar
  67. 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.htmlGoogle Scholar
  68. 68.
    Wonham W M, Ramadge P J (1998) Modular supervisory control of discrete-event systems, Mathematics of Control, Signals and Systems, 1(1):13–30CrossRefMathSciNetGoogle Scholar
  69. 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–377zbMATHCrossRefMathSciNetGoogle Scholar
  70. 70.
    Yoo T S, Lafortune S (2004) Decentralized supervisory control with conditional decisions: Supervisor existence, IEEE Transaction on Automatic Control, 49(11):1886–1904CrossRefMathSciNetGoogle Scholar
  71. 71.
    Yoo T S, Lafortune S (2005) Decentralized supervisory control with conditional decisions: Supervisor synthesis, IEEE Transaction on Automatic Control, 50(8):1205–1211CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Stéphane Lafortune
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceUniversity of MichiganAnn ArborUSA

Personalised recommendations