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.
Similar content being viewed by others
Notes
A timeout event can be used in timed models as explained in Cassandras and Lafortune (2008b). It is a marker that specifies the maximal duration that a system can stay in a system state, within which an activity event it is defined for at the state is expected to occur. A timeout occurrence indicates that the activity event has failed to occur within the specified duration. Because the timeout occurrence may model disablement of the activity and other events upon entering a new state, it is different from time ticks that simply model time progression.
Note that, since TDES G is a (finite-state) TTG, the language of interest for control synthesis, K ∩ Lm(G), is a regular language and can thus be modeled by a TTG. In the algorithmic computation (Wonham 2016) of Supcon(G, K), K can be practically expressed as a regular language by a specification TTG.
Although the same 5-tuple notation is used as in Section 2.4, it should be clear in the context that the structure of Glo is in general not the same as that of a given TDES G.
In this example, the high-level tickthis eligible at every state in both the system abstractions, hence their satisfying Property 4.
Examining Glo for the curious reader, this high-level tick models the minimum time required by the underlying system for auto-adjusting the setting of the camera shutter speed and aperture to anticipate a clear photo finish.
An event denoted by symbol \(\overset {\mathrm {x}}{\gamma }\) is simply called a force-don’t-care event, and is either \(\overline {\gamma }\) or γ.
By original, we refer to the low-level TDES prior to undergoing Procedure OCC-SR.
References
Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
Brandin B A, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Control 39(2):329–341
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–1132
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–213
Cassandras CG (1993) Discrete Event Systems: Modeling and Performance Analysis. Richard D. Irwin, Inc., and Aksen Associates, Inc
Cassandras CG, Lafortune S (2008a) Ch 2: Languages and automata. In: Introduction to Discrete Event Systems. 2nd edn. Springer-Verlag, New York, pp 53–132
Cassandras CG, Lafortune S (2008b) Introduction to discrete event systems. Springer, Berlin
Cofer DD, Garg VK (1996) Supervisory control of real-time discrete-event systems using lattice theory. IEEE Trans Autom Control 41(2):199–209
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–1215
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–361
Eilenberg S (1974) Automata, languages and machines: Volume A. Academic Press, New York
Gohari P, Wonham WM (2003) Reduced supervisors for timed discrete-event systems. IEEE Trans Autom Control 48(7):1187–1198
Ho TJ (2003) A method for the modular synthesis of controllers for timed discrete-event systems. Int J Control 76(5):520–535
Hopcroft JE, Ullman JD (1979) Introduction to automata theory, Languages and computation. Reading, MA. Addison-Wesley, Boston
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, Kingston
Lee EA (2009) Computing needs time. Commun ACM 52(5):70–79
Lee EA (2010) CPS foundations. In: Proceedings of the 47th Design Automation Conference (DAC 2010), ACM, pp 737–742
Lin F, Wonham WM (1995) Supervisory control of timed discrete-event systems under partial observation. IEEE Trans Autom Control 40(3):558–562
Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Lecture notes in control and information sciences, Vol 317. Springer-Verlag, New York
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, Singapore
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–1228
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–448
Nomura M, Takai S (2011) Decentralized supervisory control of timed discrete-event systems. IEICE Trans Fundam Electron Commun Comput Sci 94(12):2802–2809
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–839
Ostroff JS, Wonham WM (1990) A framework for real-time discrete event control. IEEE Trans Autom Control 35(4):386–397
Park SJ, Cho KH (2008) Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions. Automatica 44(4):1011–1019
Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230
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, Canada
Saadatpoor A, Wonham WM (2007) State based control of timed discrete event systems using binary decision diagrams. Syst Control Lett 56(1):62–74
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–482
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–1800
Schafaschek G, de Queiroz MH, Cury JER (2017) Local modular supervisory control of timed discrete-event systems. IEEE Trans Autom Control 62(2):934–940
Wong KC, Wonham WM (1996) Hierarchical control of timed discrete-event systems. Dis Event Dyn Syst Theory Appl 6(3):275–306
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–1528
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)
Zhang R, Cai K, Gan Y, Wang Z, Wonham WM (2013) Supervision localization of timed discrete-event systems. Automatica 49(9):2786–2794
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–6724
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–519
Zhong H, Wonham WM (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans Autom Control 35(10):1125–1134
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ngo, Q.H., Seow, K.T. A hierarchical consistency framework for real-time supervisory control. Discrete Event Dyn Syst 28, 375–426 (2018). https://doi.org/10.1007/s10626-018-0267-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-018-0267-z