, Automata for modeling real-time systems
DOI : 10.1007/BFb0032042
, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8
, Modélisation et vérification d'un évaporateur en uppaal, Actes du 6ème Atelier Approches Formelles dans l'Aide au Développement de Logiciels, 2004.
, Diagnosis of a class of distributed discrete-event systems, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.30, issue.6, pp.731-752, 2000.
DOI : 10.1109/3468.895897
, Timed automata: Semantics, algorithms and tools, In Lecture Notes on Concurrency and Petri Nets, LNCS, vol.3098, 2004.
, Efficient trajectories computing exploiting inversibility properties, Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, pp.93-98, 2003.
, Switching time estimation and fault detection for hybrid systems using structured parity residuals, IFAC Conference Safeprocess, pp.2045-2055, 2003.
, Surveillance des systèmes hybrides non linéaires à l'aide de relations de redondance analytiques, CIFA 2004 Conference Internationale Francophone d'Automatique, 2004.
, Neural network diagnosis for visual inspection in printed circuit boards, Proc. DX00 11th Int. Workshop on Principles of Diagnosis (Via Lattea, Italy), 2000.
, Fault diagnosis in dynamic systems via state estimation ? a survey, System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, pp.35-98, 1987.
, Markov chains., Holden-Day Series in Probability and Statistics, 1971.
, Time templates for discrete event fault monitoring in manufacturing systems, Proceedings of 1994 American Control Conference, ACC '94, 1994.
DOI : 10.1109/ACC.1994.751830
, Abstraction of continuous system trajectories into timed automata, Workshop on Discrete Event Systems WODES'04, pp.319-324, 2004.
, A time discrete-event approach to diagnosis of the damadics actuator benchmark, 2004.
, Symbolic Model Checking for Real-Time Systems, Information and Computation, vol.111, issue.2, pp.193-224, 1994.
DOI : 10.1006/inco.1994.1045
, Introduction to automata theory, Languages and Computation, Series in Computer Science, 1979.
, Process fault detection based on modeling and estimation methods ? a survey, Automatica, vol.20, issue.4, pp.387-404, 1984.
, Relations of timed event graphs and timed automata in fault diagnosis, Research report Bericht Nr, pp.2002-2023, 2002.
, Bibliography survey on a diagnostic of discrete-event systems, 2005.
, Fault diagnosis based on backward time analysis, Student EEICT, 2005.
, The batch evaporator: A benchmark example for safety analysis of processing systems under logic control, Proceedings 4th Workshop on Discrete Event Systems (WODES), IEE, pp.302-307, 1998.
, Fault location by time analysis, Proc
URL : https://hal.archives-ouvertes.fr/hal-00373062
, Diagnosis based on backward time analysis, Actes du Congrès: Qualité et Sûreté de Functionnement, pp.255-261, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00377356
, Fault diagnosis based on timed automata: Diagnoser verification, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications", 2006.
DOI : 10.1109/CESA.2006.4281777
URL : https://hal.archives-ouvertes.fr/hal-00376022
, The diagnostics of heat exchanger, Proceedings of 6th International Carpathian Control Conference, 2005.
, Online testing of real-time systems using uppaal: Status and future work, Dagstuhl Seminar, Proceedings volume 04371. Perspectives of Model-Based Testing (Schloss Dagstuhl, 2004.
, Online testing of real-time systems using uppaal, Formal Approaches to Testing of Software, 2004.
, A new approach to distributed diagnosis using stochastic automata networks, 2003.
, Bridge benchmark problem for diagnosis of discrete-event systems, 2001.
, Diagnosis of transient faults in quantised systems, Proceedings SAFEPROCESS, pp.1174-1179, 2000.
, Diagnosis of discrete event systems: the method and an example, Proceedings of the Workshop on Principles of Diagnosis, DX'01 (Via Lattea, Italy), pp.111-118, 2001.
, An abstract model of VHS case study 1 (experimental batch plant), 1999.
, Qualitative modelling of dynamical systems: motivation, methods , and prospective applications, Mathematics and Computers in Simulation, vol.46, pp.465-483, 1998.
, On-the-fly testing using uppaal, 2003.
, On structural properties of min-max systems, Report, pp.93-95
, 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
, Diagnosing discrete-event systems: Extending the "diagnoser approach" to deal with telecommunication networks, Discrete Event Dynamic Systems, Theory and Applications, issue.12, pp.43-81, 2002.
, Petri nets: An introduction., of Monographs in Theoretical Computer Science, 1985.
, Supervisory control of a class of discreteevent processes, SIAM J.Control Optim, vol.25, issue.1, 1987.
, Sur la synthése de la commande des systémes á événements dicrtets temporisés, 2001.
, Identification of timed discrete-event models for diagnosis, International Workshop on Principles of Diagnosis, 2003.
, Efficient hierarchial diagnosis for timed dicrete-event systems, Forschungsbericht Bericht Nr, 2002.
, A hierarchical heterogeneous approach to diagnosis of discrete-event systems, Research report, p.5, 2004.
, Diagnosability of discrete event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
, Failure diagnosis using discrete event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
, Vérification et synthèse des systèmes hybrides, 2000.
, Fault Diagnosis for Timed Automata, Proc. 7th Int
DOI : 10.1007/3-540-45739-9_14
, Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 02, LNCS, vol.2469, pp.205-224, 2002.
, Méthodes et outil pour la vérification symbolique des systèmes temporisés, 1993.
, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997.
DOI : 10.1007/s100090050009
, Fault diagnosis on dicrete-event and hybrid systems, 1999.
, Fault diagnosis in finitestate automata and timed discrete-event systems., in Topics in Control and its Applications: A Tribute to, pp.81-105, 1999.
, D study: Research and development on fault diagnosis, pp.2003-2006