Qualitative fault tolerance analysis for a class of hybrid systems

Nonlinear Analysis: Hybrid Systems

Volumn 2, Issue 3, 2008, Pages 846-861

  Yang, Hao ^a,b   Jiang, Bin ^a   Cocquempot, Vincent ^b  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^b UNIV LILLE   (France)

Author keywords

Discrete event systems; Fault tolerance; Hybrid systems; Qualitative behavior

Indexed keywords

(PL) PROPERTIES; DISCRETE ABSTRACTION; DISCRETE-EVENT SYSTEM (DES); ELSEVIER (CO); FAULT-TOLERANCE ANALYSIS; HIERARCHICAL MODELLING; HYBRID AUTOMATONS; HYBRID SYSTEM (HS); NUMERICAL EXAMPLES; QUALITATIVE MANNER; REACH ABILITY; SUFFICIENT CONDITIONS (SC); SWITCHING SEQUENCES;

ABSTRACTING; COMPUTER NETWORKS; ELECTRIC GROUNDING; ERRORS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; FITS AND TOLERANCES; HIERARCHICAL SYSTEMS; HYBRID COMPUTERS; NUMBER THEORY; NUMERICAL METHODS; QUALITY ASSURANCE;

RELIABILITY;

EID: 45449091734     PISSN: 1751570X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.nahs.2008.01.001     Document Type: Article

References (27)

1. Guéguen H., and Zaytoon J. On the formal verification of hybrid systems. Control Engineering Practice 12 10 (2004) 1253-1267
2. Henzinger T.A., Kopke P.W., Puri A., and Varaiya P. What's decidable about hybrid automata?. Journal of Computer and System Science 57 (1998) 94-124
3. Decarlo R.A., Branicky M.S., Pettersson S., and Lennartson B. Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE 88 7 (2000) 1069-1082
4. Blanke M., Kinnaert M., Lunze J., and Staroswiecki M. Diagnosis and Fault-Tolerant Control, 2nd edition (2006), Springer Verlag, Berlin Heidelberg
5. Jiang B., Staroswiecki M., and Cocquempot V. Fault accommodation for a class of nonlinear dynamic systems. IEEE Transactions on Automatic Control 51 9 (2006) 1578-1583
6. V. Cocquempot, T. EI Mezyani, M. Staroswiecki, Fault detection and isolation for hybrid systems using structured parity residuals, in: Proc. of 5th Asian Control Conference, Melbourne, Australia, 2004, pp. 1204-1212
7. Yang Z. An algebraic approach towards the controllability of controlled switching linear hybrid systems. Automatica 38 7 (2002) 1221-1228
8. Yang Z., and Blanke M. A unified approach to controllability analysis for hybrid control systems. Nonlinear Analysis: Hybrid Systems 1 2 (2007) 212-222
9. Yang H., Jiang B., and Staroswiecki M. Observer based fault tolerant control for a class of switched nonlinear systems. IET Control Theory and Applications 1 5 (2007) 1523-1532
10. Yang H., Jiang B., and Cocquempot V. Fault accommodation for hybrid systems with continuous and discrete faults. Hybrid Systems: Computation and Control. LNCS vol. 4416 (2007), Springer Verlag, Berlin, Heidelberg 789-792
11. H. Yang, V. Cocquempot, B. Jiang, Fault diagnosis and fault tolerant control design for a class of hybrid systems, in: Proc. of European Control Conference '07, Kos, Greece, 2007, pp. 3539-3545
12. Alur R., Henzinger T.A., Lafferriere G., and Pappas G.J. Discrete abstraction of hybrid systems. Proceedings of the IEEE 88 (2000) 971-984
13. Lunze J., and Nixdorf B. Discrete reachability of hybrid systems. International Journal of Control 76 14 (2003) 1453-1468
14. Kuipers B.J. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (1994), MIT Press, Cambridge, MA
15. Batt G., Ropers D., de Jong H., Geiselmann J., Page M., and Schneider D. Qualitative analysis and verification of hybrid models of genetic regulatory networks. Hybrid Systems: Computation and Control. LNCS vol. 3414 (2005), Springer Verlag, Berlin, Heidelberg 134-150
16. Asarin E., Schneider G., and Yovine S. Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theoretical Computer Science 379 1-2(12) (2007) 231-265
17. Tiwari A., and Khanna G. Series abstractions for hybrid automata. Hybrid Systems: Computation and Control. LNCS vol. 2289 (2002), Springer Verlag, Berlin, Heidelberg 465-478
18. Bernard O., and Gouzé J. Global qualitative description of a class of nonlinear dynamical systems. Artificial Intelligence 136 1 (2002) 29-59
19. Lunze J., Nixdorf B., and Richter H. Process supervision by means of a hybrid model. Journal of Process Control 11 1 (2001) 89-104
20. J. Lunze, Fault diagnosis of discretely controlled continuous systems by means of discrete-event models, Journal of Discrete Event Dynamics Systems (2007) (in press) (online available)
21. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 81-98
22. Caswell H. Matrix Population Models (1989), Sinauer Associates Publishers
23. Paoli A., and Lafortune S. Safe diagnosability for fault-tolerant supervision of discrete-event systems. Automatica 41 8 (2005) 1335-1347
24. Sánchez A.M., and Montoya F.J. Safe supervisory control under observability failure. Journal of Discrete Event Dynamics Systems 16 4 (2006) 493-525
25. Saboori A., and Zad S.H. Robust nonblocking supervisory control of discrete-event systems under partial observation. Systems and Control Letters 55 10 (2006) 839-848
26. Cao Y., and Ying M. Similarity-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control 51 2 (2006) 325-330
27. K. Hirana, T. Suzuki, S. Okuma, K. Itabashi, F. Fujiwara, Realization of skill controllers for manipulation of deformable objects based on hybrid automata, in: Proc. IEEE Conference on Robotics and Automation, Seoul, Korea, 2001, pp. 2674-2679