Paper Info
Title
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
Abstract
In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous system (called the multimode system). Based on these results, a hybrid language that contains 'natural' discrete events and discrete events capturing the continuous dynamics, is defined. On the basis of this language the diagnosability definition of hybrid systems is provided. With respect to this definition, we prove that the diagnosability of the underlying continuous or the discrete event system is only a sufficient condition. Diagnosability of hybrid systems must be decided by coupling both discrete event and continuous informations. Finally, the necessary and sufficient condition of hybrid diagnosability is given.
Year
DOI
Venue
2008
10.3233/978-1-58603-891-5-219
ECAI
Keywords
Field
DocType
sufficient condition,coupling continuous,hybrid system,hybrid diagnosability,hybrid language,continuous dynamic,hybrid system diagnosability analysis,underlying continuous system,discrete event system techniques,discrete event system,discrete event,hybrid system modeling framework,continuous information
Discrete event system,Coupling,Computer science,Discrete event dynamic system,Hybrid system,Discrete system,Distributed computing
Conference
Volume
ISSN
Citations 
178
0922-6389
11
PageRank 
References 
Authors
0.78
5
3
Name
Order
Citations
PageRank
Mehdi Bayoudh1171.30
L. Trav&#233/-massuy&#232/s239454.06
Xavier Olive3313.26