On-Line Identification of Discrete Event Systems: a Case Study

2006 IEEE International Conference on Automation Science and Engineering ◽

10.1109/coase.2006.326916 ◽

2006 ◽

Cited By ~ 2

Author(s):

Mariagrazia Dotoli ◽

Maria Fanti ◽

Agostino Mangini

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Line Identification ◽

Event Systems ◽

On Line

Download Full-text

On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification

2007 IEEE International Conference on Automation Science and Engineering ◽

10.1109/coase.2007.4341704 ◽

2007 ◽

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino M. Mangini

Keyword(s):

Petri Nets ◽

Discrete Event Systems ◽

Discrete Event ◽

Line Identification ◽

Event Systems ◽

On Line

Download Full-text

On-Line Identification of Discrete Event Systems by Interpreted Petri Nets

2006 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2006.384582 ◽

2006 ◽

Cited By ~ 4

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino Marcello Mangini

Keyword(s):

Petri Nets ◽

Discrete Event Systems ◽

Discrete Event ◽

Line Identification ◽

Event Systems ◽

On Line

Download Full-text

Synthesis of timed Petri net models for on-line identification of Discrete Event Systems

2011 9th IEEE International Conference on Control and Automation (ICCA) ◽

10.1109/icca.2011.6137968 ◽

2011 ◽

Cited By ~ 5

Author(s):

M. E. Meda-Campana ◽

S. Medina-Vazquez

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Timed Petri Net ◽

Line Identification ◽

Event Systems ◽

On Line

Download Full-text

Off-line identification of concurrent Discrete Event Systems exhibiting cyclic behaviour

2009 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2009.5346599 ◽

2009 ◽

Cited By ~ 3

Author(s):

Ana P. Estrada-Vargas ◽

E. Lopez-Mellado ◽

Jean-Jacques Lesage

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Cyclic Behaviour ◽

Line Identification ◽

Event Systems

Download Full-text

ON-LINE CONTROL OF DISCRETE EVENT SYSTEMS: SOME EXTENSIONS OF PERTURBATION ANALYSIS11This work was supported in part by the National Science Foundation under Grant ECS-8801912, and the Office of Naval Research under Contract N00014-87-K-0304.

Automatic Control 1990 ◽

10.1016/b978-0-08-041263-4.50086-5 ◽

1991 ◽

pp. 501-505

Author(s):

C.G. Cassandras ◽

Wei-Bo Gong

Keyword(s):

National Science Foundation ◽

Discrete Event Systems ◽

Discrete Event ◽

Naval Research ◽

Event Systems ◽

Office Of Naval Research ◽

National Science ◽

On Line

Download Full-text

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-319-66176-6_7 ◽

2017 ◽

pp. 92-107 ◽

Cited By ~ 2

Author(s):

Abderraouf Boussif ◽

Mohamed Ghazel

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Experimental Comparison ◽

Event Systems

Download Full-text

On-Line Control of Discrete Event Systems: Some Extensions of Perturbation Analysis

IFAC Proceedings Volumes ◽

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

1990 ◽

Vol 23 (8) ◽

pp. 501-505

Author(s):

C.G. Cassandras ◽

Wei-Bo Gong

Keyword(s):

Perturbation Analysis ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

On Line

Download Full-text

EFFICIENT ON-LINE FAILURE IDENTIFICATION FOR DISCRETE-EVENT SYSTEMS 1

IFAC Proceedings Volumes ◽

10.3182/20060829-4-cn-2909.00216 ◽

2006 ◽

Vol 39 (13) ◽

pp. 1294-1299 ◽

Cited By ~ 1

Author(s):

Anika Schumann ◽

Yannick Pencolé

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

On Line ◽

Failure Identification

Download Full-text

On-line fault detection in discrete event systems by Petri nets and integer linear programming

Automatica ◽

10.1016/j.automatica.2009.07.021 ◽

2009 ◽

Vol 45 (11) ◽

pp. 2665-2672 ◽

Cited By ~ 105

Author(s):

Mariagrazia Dotoli ◽

Maria Pia Fanti ◽

Agostino Marcello Mangini ◽

Walter Ukovich

Keyword(s):

Linear Programming ◽

Fault Detection ◽

Petri Nets ◽

Integer Linear Programming ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

On Line

Download Full-text

On-line decentralized supervisory control of discrete event systems

Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187) ◽

10.1109/cdc.2000.912723 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Takai ◽

T. Ushio

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

On Line

Download Full-text