An approach to model-based diagnosis of hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2289, Issue , 2002, Pages 308-322

  Narasimhan, Sriram ^a   Biswas, Gautam ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; HYBRID SYSTEMS;

DIAGNOSIS ALGORITHMS; FAULT ACCOMMODATION; FAULT DIAGNOSIS SCHEMES; MODEL BASED DIAGNOSIS; ON-LINE FAULT DETECTION; QUANTITATIVE REASONING; RELIABILITY AND ROBUSTNESS; SUPERVISORY CONTROL;

FAULT DETECTION;

EID: 84958171851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_25     Document Type: Conference Paper

References (13)

1. Gertler, J., Fault detection and isolation using parity relations. Control Engineering Practice,1997. 5(5): p. 653-661.
2. Kleer, J. D., An assumption-based truth maintenance system. Artificial Intelligence, 1987. 28: p. 197-224.
3. Sampath, M. et al.,F ailure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology,1996. 4: p. 105-124.
4. Lunze, J., A timed discrete event abstraction of continuous variable systems. International Journal of Control,1999. 72(13): p. 1147-1164.
5. Mosterman, P. J. and G. Biswas, Diagnosis of continuous valued systems in transient operating regions. IEEE Transactions on Systems,Man, and Cybernetics, 1999. 29: p. 554-565.
6. Koutsoukos, X. and P. Antsaklis, Hierarchical control of piecewise linear hybrid dynamical systems based on discrete abstractions,Technical Report, 2001.
7. Narasimhan, S., Bisw as, G., K arsai, G., P asternak, T., and Zhao, F.,2000. Building Observers to Handle Fault Isolation and Control Problems in Hybrid Systems, Proc. 2000 IEEE Intl. Conference on Systems, Man, and Cybernetics, Nashville, TN,p p. 2393-2398.
8. R. C. Rosenberg, and D. C. Karnopp. Introduction to physical system dynamics, McGraw-Hill,1983.
9. Mosterman, P. J. and G. Biswas. Towards procedures for systematically deriving hybrid models of complex systems. Third International Workshop on Hybrid Systems: Computation and Control. 2000.
10. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho. “Hybrid Automata – an algorithmic approach to specification and verification of hybrid systems”,Hybrid Systems I, Lecture Notes in Computer Science 736, pp. 209-229, Springer-Verlag, 1994.
11. Manders E. J. S. Narasimhan, G. Biswas, and P. J. Mosterman. A combined qualitative/ quantitative approach for efficient fault isolation in complex dynamic systems. 4th Symposium on Fault Detection,S upervision and Safety Processes, pp. 512-517, 2000.
12. Manders E. J. P.J. Mosterman, and G. Biswas. Signal to symbol transformation techniques for robust diagnosis in TRANSCEND,T enth International Workshop on Principles of Diagnosis, Loch Awe,S cotland,p p. 155-165, 1999.
13. Ferrari-Trecate G., D. Mignone and M. Morari. Moving Horizon Estimation for Hybrid Systems, IEEE Transactions on Automatic Control, To Appear, 2002.