Supervisory control of real-time discrete-event systems using lattice theory

The behaviour of timed discrete-event systems (DES's) can be described by sequences of event occurrence times. These sequences can be ordered to form a lattice. Since logical (untimed) DES behaviours described by regular languages also form a lattice, questions of controllability for timed DES's may be treated in much the same manner as they are for untimed systems. In this paper we establish conditions for the controllability of timed DES performance specification which are expressed as inequations on the lattice of sequences. These specifications may take the form of sets of acceptable event occurrence times, maximum or minimum occurrence times, or limits on the separation times between events. Optimal behaviours are found as extremal solutions to these inequations using fixed point results for lattices.

[1]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[2]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[3]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.

[4]  Jonathan S. Ostroff,et al.  Deciding Properties of Timed Transition Models , 1990, IEEE Trans. Parallel Distributed Syst..

[5]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .

[6]  Edouard Wagneur,et al.  Moduloïds and pseudomodules 1. Dimension theory , 1989, Discret. Math..

[7]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

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

[9]  Vijay K. Garg,et al.  A timed model for the control of discrete event systems involving decisions in the max/plus algebra , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[10]  David L. Dill,et al.  Algorithms for interface timing verification , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[11]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[12]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[13]  Vijay K. Garg,et al.  A max-algebra solution to the supervisory control problem for real-time discrete event systems , 1994 .

[14]  Gaetano Borriello,et al.  An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems , 1995, IEEE Trans. Computers.

[15]  Vijay K. Garg,et al.  Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control , 1995, Theor. Comput. Sci..