Formulas for the extremal controllable sequences in timed-event graphs

IEEE Transactions on Automatic Control

Volumn 43, Issue 10, 1998, Pages 1465-1468

  Takai, Shigemasa ^a   Kodama, Shinzo ^b  

^a WAKAYAMA UNIVERSITY   (Japan)

^b KINKI UNIVERSITY   (Japan)

Author keywords

Controllable sequence; Discrete event system; Max algebra; Supervisory control; Timed event graph

Indexed keywords

COMPUTATIONAL METHODS; CONTROL SYSTEM ANALYSIS; GRAPH THEORY; SCADA SYSTEMS;

EXTREMAL CONTROLLABLE SEQUENCES; TIMED-EVENT GRAPHS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0032187516     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.720510     Document Type: Article

References (12)

1. F. L. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity - An Algebra for Discrete Event Systems. New York: Wiley, 1992.
2. D. D. Cofer, "Control and analysisof real-time discrete event systems," Ph.D. dissertation, Dept. of Elec. and Comp. Eng., Univ. Texas, Austin, 1995.
3. D. D. Cofer and V. K. Garg, "Control of event separation times in discrete event systems," in Proc. 34th IEEE Conf. Decision and Control, 1995, pp. 2005-2010.
4. _, "Supervisory control of real-time discrete event systems using lattice theory," IEEE Trans. Automat. Contr., vol. 41, pp. 199-209, Feb. 1996.
5. G. Cohen, D. Dubois, J. P. Quadrat, and M. Viot, "A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing," IEEE Trans. Automat. Contr., vol. 30, pp. 210-220, Mar. 1985.
6. G. Cohen, P. Moller, J. P. Quadrat, and M. Viot, "Algebraic tools for the performance evaluation of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 39-58, 1989.
7. R. A. Cuninghame-Green, Minimax Algebra. Berlin, Germany: Springer-Verlag, 1979.
8. R. Kumar and V. K. Garg, "Extremal solutions of inequations over lattices with applications to supervisory control," Theoretical Computer Sci., vol. 148, no. 1, pp. 67-92, 1995.
9. L. Libeaut and J. J. Loiseau, "Admissible initial conditions and control of timed event graphs," in Proc. 34th IEEE Conf. Decision and Control, 1995, pp. 2011-2016.
10. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
11. S. Takai, "A characterization of realizable behavior in supervisory control of timed event graphs," Automatica, vol. 33, no. 11, pp. 2077-2080, 1997.
12. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Contr. Optim., vol. 25, no. 3, pp. 637-659, 1987.