Opacity of Discrete Event Systems: models, validation and quantification

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2015.06.490 ◽

2015 ◽

Vol 48 (7) ◽

pp. 174-181 ◽

Author(s):

Romain Jacob ◽

Jean-Jacques Lesage ◽

Jean-Marc Faure

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Validation And Quantification ◽

Event Systems ◽

Systems Models ◽

Models Validation

Download Full-text

Overview of discrete event systems opacity: Models, validation, and quantification

Annual Reviews in Control ◽

10.1016/j.arcontrol.2016.04.015 ◽

2016 ◽

Vol 41 ◽

pp. 135-146 ◽

Author(s):

Romain Jacob ◽

Jean-Jacques Lesage ◽

Jean-Marc Faure

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Validation And Quantification ◽

Event Systems ◽

Models Validation

Download Full-text

Discrete Event Systems: Models and Applications

10.1007/bfb0042300 ◽

1988 ◽

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Discrete Event Systems: Models and Applications edited by P. Varaiya and A.B. Kurzhanski Springer, Berlin, 1988, x + 282 pp. (64 DM)

Robotica ◽

10.1017/s0263574700006809 ◽

1989 ◽

Vol 7 (4) ◽

pp. 364-365

Author(s):

A. M. Andrew

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Discrete event systems: Models and applications

European Journal of Operational Research ◽

10.1016/0377-2217(88)90212-3 ◽

1988 ◽

Vol 37 (3) ◽

pp. 417-418

Author(s):

Dirk L. Kettenis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Discrete event systems models and methods for different problems in healthcare management

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) ◽

10.1109/etfa.2014.7005031 ◽

2014 ◽

Author(s):

Maria Pia Fanti ◽

Walter Ukovich

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Healthcare Management ◽

Event Systems ◽

Download Full-text

Quantitative evaluation of discrete event systems: Models, performances and techniques

Proceedings of 5th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1993.393440 ◽

2002 ◽

Author(s):

R. Marie ◽

A. Jean-Marie

Keyword(s):

Quantitative Evaluation ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Linear Discrete-Event Systems: An Architecture and Simulator

10.23919/acc.1990.4790691 ◽

1990 ◽

Author(s):

Martin E. Kaliski ◽

Sylvia Ritz

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Output Feedback Control for a Class of Nondeterministic Discrete Event Systems

10.23919/acc.1990.4790690 ◽

1990 ◽

Author(s):

Jing-Yue Lin ◽

Dan Ionescu

Keyword(s):

Feedback Control ◽

Output Feedback ◽

Discrete Event Systems ◽

Discrete Event ◽

Output Feedback Control ◽

Download Full-text

Fault-tolerant supervisory control of discrete-event systems

10.31274/etd-180810-2755 ◽

2009 ◽

Author(s):

Qin Wen

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Fault Tolerant ◽

Discrete Event ◽

Download Full-text

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49868-5 ◽

1992 ◽

Vol 25 (20) ◽

pp. 237-242

Author(s):

Dan Ionescu ◽

Jing-Yue Lin ◽

Hyung Soo Hwang

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

Download Full-text