Diagnosis of dense-time systems under event and timing masks

IEEE Transactions on Automation Science and Engineering

Volumn 7, Issue 4, 2010, Pages 870-878

  Xu, Songyan ^a   Jiang, Shengbing ^b   Kumar, Ratnesh ^a  

^a Iowa State University of Science and Technology   (United States)

^b GENERAL MOTORS CORPORATION   (United States)

Author keywords

Dense time systems; diagnosis; digital clock; discrete event systems; timed automaton

Indexed keywords

ARBITRARY PRECISION; DENSE-TIME; DIAGNOSABILITY; DIAGNOSIS PROBLEM; DIGITAL-CLOCK; DISCRETE EVENT SYSTEMS; FINITE PRECISION; OFF-LINE COMPUTATION; OFFLINE; ONLINE IMPLEMENTATION; PARTIAL OBSERVATION; TIMED-AUTOMATON;

AUTOMATA THEORY; CLOCKS;

TRANSLATION (LANGUAGES);

EID: 77957792627     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2010.2049841     Document Type: Article

References (17)

1. K. Altisen, F. Cassez, and S. Tripakis, "Monitoring and fault-diagnosis with digital clocks", in Proc. Appl. Concurrency to System Design (ACSD'06), 2006, pp. 101-110.
2. R. Alur and D. Dill, "A theory of timed automata", Theoret. Comput. Sci., vol. 126, pp. 183-235, 1994.
3. P. Bouyer, F. Chevalier, and D. D'Souza, "Fault diagnosis using timed automata", in Proc. 8th Int. Conf. Foundations of Softw. Sci. Comput. Structures (FoSSaCS'05), Edinburgh, U. K., 2005, pp. 219-233.
4. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems", Discrete Event Dynamical Systems: Theory and Applications, vol. 10, pp. 33-79, 2000.
5. M. Dotoli, M. P. Fanti, A. M. Mangini, and W. Ukovich, "On-line fault detection in discrete event systems by petri nets and integer linear programming", Automatica, vol. 45, pp. 2665-2672, 2009.
6. L. E. Holloway and S. Chand, "Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations", Integr. Comput.-Aided Eng., vol. 3, no. 4, pp. 244-254, 1996.
7. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial time algorithm for diagnosability of discrete event systems", IEEE Trans. Autom. Control, vol. 46, no. 8, pp. 1318-1321, Aug. 2001.
8. S. Jiang and R. Kumar, "Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications", IEEE Trans. Automatic Control, vol. 49, no. 6, pp. 934-945, Jun. 2004.
9. S. Jiang and R. Kumar, "Diagnosis of dense-time systems using digitalclocks", in Proc. 25th Amer. Control Conf., Minneapolis, MN, Jun. 2006, pp. 6051-6056.
10. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems", IEEE Trans. Robot. Autom., vol. 19, no. 2, pp. 310-323, 2003.
11. C. M. Özveren and A. S. Willsky, "Observability of discrete event dynamical systems", IEEE Trans. Autom. Control, vol. 35, no. 7, pp. 797-806, Jul. 1990.
12. W. Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems", IEEE Trans. Syst., Man, Cybern.-A, vol. 36, no. 2, pp. 384-395, Mar. 2006.
13. W. Qiu, R. Kumar, and S. Jiang, "On decidability of distributed diagnosis under unbounded-delay communication", IEEE Trans. Autom. Control, vol. 52, pp. 114-116, Jan. 2007.
14. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, "Diagnosability of discrete event systems", IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
15. S. Tripakis, "Fault diagnosis for timed automata", in Formal Techniques in Real Time and Fault Tolerant Systems. Berlin, Germany: Springer-Verlag, 2002, vol. 2469, Lecture Notes in Computer Science.
16. T. S. Yoo and S. Lafortune, "Polynomial-time verification of diagnosability of partially observed discrete-event systems", IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1491-1495, Sep. 2002.
17. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Incorporating timing information", IEEE Trans. Autom. Control, vol. 50, no. 7, pp. 1010-1015, Jul. 2005.