论文信息 - A (max,+) Algebra for Non-stationary Periodic Timed Discrete Event Systems

A (max,+) Algebra for Non-stationary Periodic Timed Discrete Event Systems

We deene and implement a (max,+) algebra of signals for the timing analysis of discrete event systems expressed as timed event graphs. A system is deened by the innnite, periodic time sequences of its events. Each sequence has a nite representations called a signal. The resulting tool can also compute supre-mal controllers for timed discrete event systems.

V. Garg

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

[2] Didier Dubois,et al. A linear-system-theoretic view of discrete-event processes , 1983 .

[3] Michel Minoux,et al. Graphs and Algorithms , 1984 .

[4] G. Cohen,et al. Dating and counting events in discrete-event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

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

[6] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

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

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

[9] Darren D. Cofer. Control and analysis of real-time discrete event systems , 1995 .

[10] V. Garg,et al. Supervisory control of real-time discrete-event systems using lattice theory , 1996, IEEE Trans. Autom. Control..

[11] V. Garg,et al. A Max-Plus Algebra of Signals for the Supervisory Control of Real-Time Discrete Event Systems , 1998 .