, Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets, Discrete Event Dynamic Systems, pp.203-231, 1998.
, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
, A theory of timed automata, In: Theoretical Computer Science, vol.1262, pp.183-235, 1994.
, Event-clock automata: a determinizable class of timed automata, In: Theoretical Computer Science, vol.1197, pp.253-273, 1999.
, Principles of model checking, 2008.
, Diagnosability of labeled Petri nets via integer linear programming, Discrete Event Systems, pp.71-77, 2010.
, On K-diagnosability of Petri nets via integer linear programming, In: Automatica, vol.48, issue.9, pp.2047-2058, 2012.
, A theory of meta-diagnosis: reasoning about diagnostic systems, Proceedings of the Twenty-Second international joint conference on Artificial Intelligence, pp.731-737, 2011.
, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.485, pp.714-727, 2003.
, Comparison of the expressiveness of timed automata and time Petri nets " . In: Formal Modeling and Analysis of Timed Systems, pp.211-225, 2005.
, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415
, An enumerative approach for analyzing time Petri nets, In: Proceedings IFIP, pp.41-46, 1983.
, The tool TINA -Construction of abstract state spaces for Petri nets and time Petri nets, International Journal of Production Research, vol.4214, pp.2741-2756, 2004.
, The On-Line Diagnosis of Time Petri Nets, pp.343-364, 2013.
DOI : 10.1007/978-1-4471-4276-8_17
, Fault diagnosis using timed automata, Foundations of Software Science and Computational Structures, pp.219-233, 2005.
, Extended timed automata and time Petri nets, International Conference on Application of Concurrency to System Design, pp.91-100, 2006.
, Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, vol.39, issue.2, pp.329-342, 1994.
DOI : 10.1109/9.272327
, Fault detection for discrete event systems using Petri nets with unobservable transitions, Automatica, vol.46, issue.9
, A software platform for the integration of discrete event systems tools, IEEE International Conference on Automation Science and Engineering, pp.45-51, 2011.
, A comparison among tools for the diagnosability of discrete event systems, IEEE International Conference on Automation Science and Engineering, pp.218-223, 2012.
, A new approach for diagnosability analysis of Petri nets using verifier nets, IEEE Transactions on Automatic Control, vol.5712, pp.3104-3117, 2012.
, Decentralized diagnosis of discrete-event systems using labeled Petri nets, IEEE Transactions on Systems, Man, and Cybernetics: Systems (2013), pp.1-9
, Optimal sensor selection for ensuring diagnosability in labeled Petri nets, Automatica, vol.498, pp.2373-2383, 2013.
, Robust diagnosis of discrete-event systems against permanent loss of observations, Automatica, vol.49, issue.1, pp.223-231, 2012.
, Introduction to discrete event systems
, Dynamic observers for fault diagnosis of timed systems, 49th IEEE Conference on Decision and Control, pp.4359-4364, 2010.
, The complexity of codiagnosability for discrete event and timed systems, IEEE Transactions on Automatic Control, vol.577, pp.1752-1764, 2012.
, Fault diagnosis with static and dynamic observers
URL : https://hal.archives-ouvertes.fr/inria-00351836
, Formal verification of diagnosability via symbolic model checking, International Joint Conference on Artificial Intelligence, pp.363-369, 2003.
, Decision support model for prioritizing railway level crossings for safety improvements: Application of the adaptive neurofuzzy system, In: Expert Systems with Applications, vol.406, pp.2208-2223, 2013.
, Model checking and abstraction, In: ACM Transactions on Programming Languages and Systems, pp.343-354, 1994.
, Diagnosis of Intermittent Faults, Discrete Event Dynamic Systems, vol.14, issue.2
DOI : 10.1023/B:DISC.0000018570.20941.d2
, Diagnosability of discrete event systems with modular structure, Discrete Event Dynamic Systems
, Transient and permanent fault diagnosis for FPGA-based TMR systems, International Symposium on Defect and Fault Tolerance in VLSI Systems, pp.330-338, 1999.
, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems, pp.1-2, 2000.
, On an optimization problem in sensor selection, Discrete Event Dynamic Systems, pp.417-445, 2002.
, Les réseaux de Petri -modèles fondamentaux, 2001.
, On-line fault detection in discrete event systems by Petri nets and integer linear programming, Automatica, vol.4511, pp.1-23, 2009.
, Coverage modeling for dependability analysis of fault-tolerant systems, IEEE Transactions on Computers, vol.38, issue.6, pp.775-787, 1989.
DOI : 10.1109/12.24286
, Using zone graph method for computing the state space of a time Petri net " . In: Formal modeling and analysis of timed systems, pp.246-259, 2004.
, Romeo: A Tool for analyzing time Petri nets, Computer Aided Verification, pp.418-423, 2005.
, Distributed Diagnosis of Place-Bordered Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.4, issue.2, pp.206-219, 2007.
DOI : 10.1109/TASE.2006.879916
, Using stochastic Petri nets for level-crossing collision risk assessment, IEEE Transactions on Intelligent Transportation Systems, vol.10, issue.4, pp.668-677, 2009.
, Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design, 2007 IEEE International Conference on System of Systems Engineering, pp.1-6, 2007.
DOI : 10.1109/SYSOSE.2007.4304240
, Two-half-barrier level crossings versus fourhalf-barrier level crossings: A comparative risk analysis study, IEEE Transactions on Intelligent Transportation Systems, 2014.
, State Observer for DES Under Partial Observation with Time Petri Nets, Discrete Event Dynamic Systems, vol.4, issue.2, pp.137-165, 2009.
DOI : 10.1007/s10626-009-0060-0
URL : https://hal.archives-ouvertes.fr/hal-00801148
, A DBMS framework for diagnosability analysis of discrete event systems, 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00854280
, A benchmark for diagnosis, 2007.
, Marking estimation of Petri nets with silent transitions, IEEE Transactions on Automatic Control, vol.52, issue.9, pp.1695-1699, 2007.
, Diagnosis using unfoldings of parametric time Petri nets
, Symbolic testing of diagnosability " . In: International Workshop on Principles of Diagnosis, pp.131-138, 2009.
, Qualitative diagnosability of labeled Petri nets revisited, Proceedings of the 48h IEEE Conference on Decision and Control held jointly with the 28th Chinese Control Conference, pp.1248-1253, 2009.
, Fault diagnosis in discrete-event systems: Framework and model reduction, IEEE Transactions on Automatic Control, vol.487, pp.1199-1212, 2003.
, Fault diagnosis in discrete-event systems: incorporating timing information, IEEE Transactions on Automatic Control, vol.507, pp.1010-1015, 2005.
, Timed transition systems, Time: Theory in Practice, vol.3096, 1992.
, Time templates for discrete event fault monitoring in manufacturing systems, Proceedings of 1994 American Control Conference, ACC '94, pp.701-706, 1994.
DOI : 10.1109/ACC.1994.751830
, An incremental approach for the extraction of firing sequences in timed Petri nets: Application to the reconfiguration of flexible manufacturing systems, 2013.
, Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic, American Control Conference, vol.6, pp.5114-5119, 2004.
, Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
DOI : 10.1109/TAC.2004.829616
, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.468, pp.1318-1321, 2001.
, Diagnosis of repeated/intermittent failures in discrete event systems, IEEE Transactions on Robotics and Automation, vol.192, pp.310-323, 2003.
, Optimal sensor selection for discreteevent systems with partial observation, IEEE Transactions on Automatic Control, vol.483, pp.369-381, 2003.
, Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications, IEEE Transactions on Automation Science and Engineering, vol.31, pp.47-59, 2006.
, Distributed Diagnosis for Petri Nets models with unobservable interactions via common places, Proceedings of the 44th IEEE Conference on Decision and Control, pp.6305-6310, 2005.
DOI : 10.1109/CDC.2005.1583172
, The Diagnosability of Petri Net Models Using Minimal Explanations, IEEE Transactions on Automatic Control, vol.55, issue.7, pp.1663-1668, 2010.
DOI : 10.1109/TAC.2010.2046106
, Fault diagnosis for time Petri nets, 8th International Workshop on Discrete Event Systems, pp.313-318, 2006.
, Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model, European Transport Research Review, vol.16, issue.8
DOI : 10.1007/s12544-008-0004-z
, Incremental heuristic search in AI, pp.99-112, 2004.
, UMDES-Lib software library, 2000.
, Diagnostic décentralisé des systèmes à événements discrets, Journal Européen des Systèmes Automatisés, vol.39, pp.1-3, 2005.
, A comparison between two diagnostic tools based on automata and Petri nets, International Workshop on Discrete Event Systems, pp.144-149, 2008.
, Diagnosis of DES With Petri Net Models, IEEE Transactions on Automation Science and Engineering, vol.4, issue.1, pp.114-118, 2007.
DOI : 10.1109/TASE.2006.872122
, Analyzing safety and fault tolerance using Time Petri nets, Formal Methods and Software Development, 1985.
DOI : 10.1007/3-540-15199-0_22
, Diagnosability of discrete event systems and its applications, Discrete Event Dynamic Systems 4, pp.197-212, 1994.
DOI : 10.1007/BF01441211
, K-diagnosability of labeled Petri nets
, Évaluation à la volée de la diagnosticabilité des systèmes à événements discrets temporisés Édition spéciale MSR'13, Modélisation des Systèmes Réactifs 47, Journal Européen des Systèmes Automatisés, pp.1-2, 2013.
, Diagnosis of labeled time Petri nets using time interval splitting, The 19th World Congress of the International Federation of Automatic Control. Accepted, 2014.
, Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets, 13th European Control Conference, 2014.
, Diagnosability verification with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems, vol.2, pp.49-55, 2010.
, A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995.
DOI : 10.1007/BF01384314
, Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques, IEEE Transactions on Intelligent Transportation Systems, vol.13, issue.2, pp.714-723, 2012.
DOI : 10.1109/TITS.2011.2178238
URL : https://hal.archives-ouvertes.fr/hal-00801030
, A study of the recoverability of computing systems, 1974.
, Manufacturing plant control challenges and issues, Control Engineering Practice, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00147431
, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
, Fault-tolerant computing: fundamental concepts, In: Computer, vol.237, pp.19-25, 1990.
, Template languages for fault monitoring of timed discrete event processes, IEEE Transactions on Automatic Control, vol.45, issue.5, pp.868-882, 2000.
DOI : 10.1109/9.855548
, Safe diagnosability for fault-tolerant supervision of discrete-event systems, Automatica, vol.41, issue.8, pp.1335-1347, 2005.
DOI : 10.1016/j.automatica.2005.03.017
, A chronicle-based diagnosability approach for discrete timedevent systems: Application to web-services, Journal of Universal Computer Science, vol.1517, pp.3246-3272, 2009.
, A µ-calculus framework for the diagnosability of discrete event systems, 2013.
, Kommunikation mit automaten, 1962.
, On the diagnosability of decentralized, timed discrete event systems, Proceedings of the 41st IEEE Conference on Desision and Control, pp.405-410, 2002.
, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics -Part A: Systems and Humans 36, pp.384-395, 2006.
, Decentralized diagnosis of event-driven systems for safely reacting to failures, IEEE Transactions on Automation Science and Engineering, vol.62, pp.362-366, 2009.
, Analysis of asynchronous concurrent systems by timed Petri nets, 1974.
, Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach, IEEE Transactions on Automation Science and Engineering, vol.4, issue.1, pp.31-39, 2007.
DOI : 10.1109/TASE.2006.872120
, Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers, Part A: Systems and Humans 42, pp.416-429, 2012.
DOI : 10.1109/TSMCA.2011.2169950
, Characterization of requirements and costs for the diagnosability of distributed discrete event systems, 5th Workshop on Advanced Control and Diagnosis, 2007.
, DESUMA: A tool integrating GIDDES and UMDES " . In: International Workshop on Discrete Event Systems, pp.392-393, 2006.
, Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets, Discrete Event Dynamic Systems, pp.551-575, 2009.
DOI : 10.1007/s10626-009-0074-7
, OPTIMAL SENSOR SELECTION FOR STRUCTURAL OBSERVABILITY IN DISCRETE EVENT SYSTEMS MODELED BY PETRI NETS, IFAC Proceedings Volumes, vol.40, issue.6, pp.1-14, 2010.
DOI : 10.3182/20070613-3-FR-4909.00040
, A directed graph container
, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626
, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338
, Active diagnosis of discreteevent systems, IEEE Transactions on Automatic Control, vol.437, pp.908-929, 1998.
, Diagnosis of transient faults in quantised systems, Engineering Applications of Artificial Intelligence, vol.144, pp.519-536, 2001.
, A Note on On-the-Fly Verification Algorithms, pp.174-190, 2005.
DOI : 10.1007/978-3-540-31980-1_12
, Fault diagnosis for discrete event systems: Modelling and verification, Reliability Engineering and System Safety 95, pp.369-378, 2010.
DOI : 10.1016/j.ress.2009.11.007
URL : https://hal.archives-ouvertes.fr/hal-00452398
, Intermittent fault diagnosis: A diagnoser derived from the normal behavior, Proceedings of the 18th International Workshop on Principles of Diagnosis, pp.391-398, 2007.
, DECADA: Tool for discreteevent control and diagnosis analysis, International Workshop on Discrete Event Systems, pp.396-397, 2006.
, Diagnosis of discrete event systems using ordered binary decision diagrams, Seventh International Workshop on Principles of Diagnosis, 1996.
, Fault diagnosis for timed automata In: Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.205-221, 2002.
, Folk theorems on the determinization and minimization of timed automata, Information Processing Letters, vol.996, pp.222-226, 2006.
, Fault detection based on Petri net models with faulty behaviors, IEEE International Conference on Systems, pp.113-118, 1998.
, On Codiagnosability and Coobservability With Dynamic Observations, IEEE Transactions on Automatic Control, vol.56, issue.7, pp.1551-1566, 2011.
DOI : 10.1109/TAC.2011.2108410
, On state estimation of timed choice-free Petri nets, Proceedings of the 18th IFAC World Congress, pp.8687-8692, 2011.
, Fault diagnosis graph of time Petri nets, European Control Conference. 2013, pp.2459-2464
, New results on decentralized diagnosis of discrete event systems, Proceedings of 2004 Annual, 2004.
, A polynomial algorithm for checking diagnosability of Petri nets, IEEE International Conference on Systems, pp.2542-2547, 2005.
, Diagnosability enhancement of discrete event systems, IEEE International Conference on Systems
, Diagnosis of dense-time systems under event and timing masks, IEEE Transactions on Automation Science and Engineering, vol.7, issue.4, pp.870-878, 2010.
, Diagnosability for discrete event systems based on Petri net language, 8th Control, Automation, Robotics and Vision Conference
, Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays, 2004.
, NP-completeness of sensor selection problems arising in partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1495-1499, 2002.
, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.
, Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013.
DOI : 10.1016/j.arcontrol.2013.09.009
, Diagnosis of discrete event system by stochastic timed automata, IEEE International Conference on Control Applications