Supervisory Control of (max,+) Automata: A Behavioral Approach
暂无分享,去创建一个
[1] S. Gaubert. Performance evaluation of (max, +) automata , 1995, IEEE Trans. Autom. Control..
[2] Jan Komenda,et al. Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction , 2005, Discret. Event Dyn. Syst..
[3] Benali Benzaghou,et al. Sur le quotient de Hadamard de deux fractions rationnelles , 1969 .
[4] Walter Murray Wonham,et al. On observability of discrete-event systems , 1988, Inf. Sci..
[5] Jean Mairesse,et al. Modeling and analysis of timed Petri nets using heaps of pieces , 1997, 1997 European Control Conference (ECC).
[6] Jean Mairesse,et al. Series which are both max-plus and min-plus rational are unambiguous , 2006, RAIRO Theor. Informatics Appl..
[7] Jacques Sakarovitch,et al. Derivatives of rational expressions with multiplicity , 2005, Theor. Comput. Sci..
[8] W. Wonham,et al. Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..
[9] Jean-Louis Boimond,et al. Just in Time Control of Constrained (max,+)-Linear Systems , 2007, Discret. Event Dyn. Syst..
[10] M. Heymann. Concurrency and discrete event control , 1990, IEEE Control Systems Magazine.
[11] Michael Heymann,et al. Masked prioritized synchronization for interaction and control of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[12] André Arnold,et al. Finite transition systems , 1994 .
[13] André Arnold,et al. Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.
[14] Jean-Louis Boimond,et al. Control of (max,+) automata: A single step approach , 2009, 2009 European Control Conference (ECC).
[15] Charles R. Johnson,et al. Topics in Matrix Analysis , 1991 .
[16] J. Boimond,et al. Control of (max,+) automata: Logical and timing aspects , 2008, 2008 9th International Workshop on Discrete Event Systems.
[17] Jean Berstel,et al. Rational series and their languages , 1988, EATCS monographs on theoretical computer science.
[18] Ratnesh Kumar,et al. Masked prioritized synchronization for interaction and control of discrete event systems , 2000, IEEE Trans. Autom. Control..
[19] Albert Benveniste,et al. Algebraic Techniques for Timed Systems , 1998, CONCUR.
[20] Rajeev Alur,et al. The Theory of Timed Automata , 1991, REX Workshop.
[21] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[22] Daniel Krob,et al. The Equality Problem for Rational Series with Multiplicities in the tropical Semiring is Undecidable , 1992, Int. J. Algebra Comput..
[23] C. Leake. Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .
[24] H. Wong-Toi,et al. The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.