A hierarchical consistency framework for real-time supervisory control

Article
  • 11 Downloads

Abstract

The control framework of hierarchical consistency of timed discrete-event systems (TDES’s) is investigated in a standard two-level hierarchy. Real-time concepts and the associated theoretical results supporting consistent TDES hierarchies are developed. Where the given low-level system model of the hierarchy possesses time fidelity, a consistency version that assures time fidelity of the high-level system model is also developed. Importantly, this version furnishes a sound real-time high-level specification design foundation for hierarchical control. An example illustrates the new time-fidelity control foundation. Given that in general, a given two-level TDES hierarchy is not hierarchically consistent between the levels, the structural existence and synthesis of the sufficiency structure for hierarchical consistency is investigated. Both the timed versions of hierarchical consistency - without and with output-time fidelity guarantee - are successively treated. The abstraction or output-system refinement procedures for the version without output-time fidelity guarantee are first developed for a class of TDES hierarchies under mild output-system design restrictions. The abstraction methods for the version with output-time fidelity are then developed for a subclass ‘linearly’ structured under further output-system design restrictions. A detailed example explains and illustrates the use of an overarching method developed.

Keywords

Hierarchical control Timed discrete-event systems Formal languages Finite automata 

References

  1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235MathSciNetCrossRefMATHGoogle Scholar
  2. Brandin B A, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Control 39(2):329–341MathSciNetCrossRefMATHGoogle Scholar
  3. Brave Y, Heymann M (1988) Formulation and control of real time discrete event processes. In: Proceedings of the 27th IEEE International Conference on Decision and Control, Austin, Texas, U.S.A, pp 1131–1132Google Scholar
  4. Cai K, Zhang R, Wonham WM (2014) On relative observability of timed discrete-event systems. In: Proceedings of the 12th International Workshop on Discrete-Event Systems, Cachan, France, pp 208–213Google Scholar
  5. Cassandras CG (1993) Discrete Event Systems: Modeling and Performance Analysis. Richard D. Irwin, Inc., and Aksen Associates, IncGoogle Scholar
  6. Cassandras CG, Lafortune S (2008a) Ch 2: Languages and automata. In: Introduction to Discrete Event Systems. 2nd edn. Springer-Verlag, New York, pp 53–132Google Scholar
  7. Cassandras CG, Lafortune S (2008b) Introduction to discrete event systems. Springer, BerlinCrossRefMATHGoogle Scholar
  8. Cofer DD, Garg VK (1996) Supervisory control of real-time discrete-event systems using lattice theory. IEEE Trans Autom Control 41(2):199–209MathSciNetCrossRefMATHGoogle Scholar
  9. Dhananjayan A, Seow KT (2014) A metric temporal logic specification interface for real-time discrete-event control. IEEE Trans Syst Man Cybern Syst 44(9):1204–1215CrossRefGoogle Scholar
  10. Dhananjayan A, Seow KT (2015) A formal transparency framework for validation of real-time discrete-event control requirements modeled by timed transition graphs. IEEE Trans Hum-Mach Syst 45(3):350–361CrossRefGoogle Scholar
  11. Eilenberg S (1974) Automata, languages and machines: Volume A. Academic Press, New YorkMATHGoogle Scholar
  12. Gohari P, Wonham WM (2003) Reduced supervisors for timed discrete-event systems. IEEE Trans Autom Control 48(7):1187–1198MathSciNetCrossRefMATHGoogle Scholar
  13. Ho TJ (2003) A method for the modular synthesis of controllers for timed discrete-event systems. Int J Control 76(5):520–535MathSciNetCrossRefMATHGoogle Scholar
  14. Hopcroft JE, Ullman JD (1979) Introduction to automata theory, Languages and computation. Reading, MA. Addison-Wesley, BostonMATHGoogle Scholar
  15. Knap SL (2001) Modelling and control of timed discrete-event systems and its applications to scheduling. Doctor of Philosophy (Ph.D) Thesis, Department of Electrical and Computer Engineering. Queen’s University at Kingston, KingstonGoogle Scholar
  16. Lee EA (2009) Computing needs time. Commun ACM 52(5):70–79CrossRefGoogle Scholar
  17. Lee EA (2010) CPS foundations. In: Proceedings of the 47th Design Automation Conference (DAC 2010), ACM, pp 737–742Google Scholar
  18. Lin F, Wonham WM (1995) Supervisory control of timed discrete-event systems under partial observation. IEEE Trans Autom Control 40(3):558–562MathSciNetCrossRefMATHGoogle Scholar
  19. Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Lecture notes in control and information sciences, Vol 317. Springer-Verlag, New YorkGoogle Scholar
  20. Ngo QH (2016) Discrete-event system abstractions for on-line logical and real-time hierarchical control. Doctor of Philosophy (Ph.D) Thesis, School of Computer Science and Engineering. Nanyang Technological University, SingaporeGoogle Scholar
  21. Ngo QH, Seow KT (2014a) Command and control of discrete-event systems: Towards on-line hierarchical control based on feasible system decomposition. IEEE Trans Autom Sci Eng 11(4):1218–1228CrossRefGoogle Scholar
  22. Ngo QH, Seow KT (2014b) A time fidelity control foundation for hierarchical discrete-event systems. In: Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE’14), Taipei, Taiwan, pp 443–448Google Scholar
  23. Nomura M, Takai S (2011) Decentralized supervisory control of timed discrete-event systems. IEICE Trans Fundam Electron Commun Comput Sci 94(12):2802–2809CrossRefGoogle Scholar
  24. Nomura M, Takai S (2013) A synthesis method for decentralized supervisors for timed discrete-event systems. IEICE Trans Fundam Electron Commun Comput Sci 96(4):835–839CrossRefGoogle Scholar
  25. Ostroff JS, Wonham WM (1990) A framework for real-time discrete event control. IEEE Trans Autom Control 35(4):386–397MathSciNetCrossRefMATHGoogle Scholar
  26. Park SJ, Cho KH (2008) Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions. Automatica 44(4):1011–1019MathSciNetCrossRefMATHGoogle Scholar
  27. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230MathSciNetCrossRefMATHGoogle Scholar
  28. Saadatpoor A (2009) Timed state tree structures: Supervisory control and fault diagnosis. Doctor of philosophy (ph.d) thesis, Graduate Department of Electrical and Computer Engineering. University of Toronto, CanadaGoogle Scholar
  29. Saadatpoor A, Wonham WM (2007) State based control of timed discrete event systems using binary decision diagrams. Syst Control Lett 56(1):62–74MathSciNetCrossRefMATHGoogle Scholar
  30. Saadatpoor A, Ma C, Wonham WM (2008) Supervisory control of timed state tree structures. In: Proceedings of the American Control Conference, Seattle, Washington, U.S.A, pp 477–482Google Scholar
  31. Sadid WH, Hashtrudi-Zad S, Ricker SL (2014) Decentralized control of timed discrete-event systems under bounded delay communication. In: Proceedings of the IEEE Conference on Control Applications, Juan Les Antibes, France, pp 1795–1800Google Scholar
  32. Schafaschek G, de Queiroz MH, Cury JER (2017) Local modular supervisory control of timed discrete-event systems. IEEE Trans Autom Control 62(2):934–940MathSciNetCrossRefMATHGoogle Scholar
  33. Wong KC, Wonham WM (1996) Hierarchical control of timed discrete-event systems. Dis Event Dyn Syst Theory Appl 6(3):275–306CrossRefMATHGoogle Scholar
  34. Wong-Toi H, Hoffman G (1988) The control of dense real-time discrete event systems. In: Proceedings of the 30th IEEE International Conference on Decision and Control, Brighton, England, pp 1527–1528Google Scholar
  35. Wonham WM (2016) Supervisory control of discrete-event systems. Systems Control Group, University of Toronto, Canada. http://www.control.toronto.edu/cgi-bin/dldes.cgi (Updated annually)
  36. Zhang R, Cai K, Gan Y, Wang Z, Wonham WM (2013) Supervision localization of timed discrete-event systems. Automatica 49(9):2786–2794MathSciNetCrossRefMATHGoogle Scholar
  37. Zhang R, Cai K, Wonham WM (2014) Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization. In: Proceedings of the 53rd IEEE international conference on decision and control, Los Angeles, CA, USA, pp 6719–6724Google Scholar
  38. Zhong H, Wonham WM (1989) Hierarchical control of discrete-event systems: Computation and examples. In: Proceedings of the 27th Annual Allerton Conference on Communication, Control, and Computing. University of Illinois, Champaign-Urbana, pp 511–519Google Scholar
  39. Zhong H, Wonham WM (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans Autom Control 35(10):1125–1134MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of Computer Science and EngineeringNanyang Technological UniversitySingaporeRepublic of Singapore
  2. 2.Robot Intelligence Technology LaboratorySchool of Electrical EngineeringDaejeonSouth Korea

Personalised recommendations