State feedback control of real-time discrete event systems with infinite states

In this paper, we study a state feedback supervisory control of timed discrete event systems (TDESs) with infinite number of states modelled as timed automata. To this end, we represent a timed automaton with infinite number of untimed states (called locations) by a finite set of conditional assignment statements. Predicates and predicate transformers are employed to finitely represent the behaviour and specification of a TDES with infinite number of locations. In addition, the notion of clock regions in timed automata is used to identify the reachable states of a TDES with an infinite time space. For a real-time specification described as a predicate, we present the controllability condition for the existence of a state feedback supervisor that restricts the behaviour of the controlled TDES within the specification.

[1]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[2]  Chenyang Lu,et al.  Multi-core Real-Time Scheduling for Generalized Parallel Task Models , 2011, RTSS.

[3]  Murat Uzam,et al.  The real-time supervisory control of an experimental manufacturing system based on a hybrid method , 2009 .

[4]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[5]  Kim G. Larsen,et al.  Quantitative analysis of real-time systems using priced timed automata , 2011, Commun. ACM.

[6]  Björn Andersson,et al.  Real-time scheduling with resource sharing on heterogeneous multiprocessors , 2014, Real-Time Systems.

[7]  Kwang-Hyun Cho,et al.  Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets , 2011, Int. J. Control.

[8]  Vijay K. Garg,et al.  Predicates and predicate transformers for supervisory control of discrete event dynamical systems , 1993, IEEE Trans. Autom. Control..

[9]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[10]  Bernd Finkbeiner,et al.  Template-Based Controller Synthesis for Timed Systems , 2012, TACAS.

[11]  Ahmed Khoumsi,et al.  A new method for centralised and modular supervisory control of real-time discrete event systems , 2010, Int. J. Control.

[12]  M.R. Iravani,et al.  Discrete-Event Systems Supervisory Control for a Dynamic Flow Controller , 2009, IEEE Transactions on Power Delivery.

[13]  Kalyana R. Kantipudi.  Controllability and Observability , 2005 .

[14]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[15]  S. Tripakis,et al.  Tools for Controller Synthesis of Timed Systems , 2002 .

[16]  T. Ushio,et al.  Decentralized state feedback control of discrete event systems , 1994 .

[17]  W. Wonham,et al.  The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[18]  Simon Wimmer,et al.  Timed Automata , 2016, Arch. Formal Proofs.

[19]  Vijay K. Garg,et al.  On computation of state avoidance control for infinite state systems in assignment program framework , 2005, IEEE Transactions on Automation Science and Engineering.

[20]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[21]  Bengt Lennartson,et al.  Symbolic Representation and Computation of Timed Discrete-Event Systems , 2014, IEEE Transactions on Automation Science and Engineering.

[22]  Radu Grosu,et al.  Software monitoring with controllable overhead , 2010, International Journal on Software Tools for Technology Transfer.

[23]  Amir Pnueli,et al.  Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.

[24]  L. Ouedraogo,et al.  A new method for centralized and modular supervisory control of real-time discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[25]  Ahmed Khoumsi,et al.  SetExp: a method of transformation of timed automata into finite state automata , 2010, Real-Time Systems.

[26]  Kwang-Hyun Cho,et al.  Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks , 2009, Int. J. Control.