Hybrid modelling of dynamic systems by hybrid automatons and analysis of reachability of states in view of diagnosis

Authors:
Y. Menasria;N. E. Debbache;H. Alla
Affiliations:
Department of Electronic, Badji Mokhtar University, Annaba, Algerie;Department of Electronic, Badji Mokhtar University, Annaba, Algerie;Department of Electronic, Badji Mokhtar University, Annaba, Algerie
Venue:
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Year:
2005

Citing 5
Cited 0

A theory of timed automata

Theoretical Computer Science
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
What's decidable about hybrid automata?

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Theory of hybrid systems and discrete event systems

Theory of hybrid systems and discrete event systems
Reachability Verification for Hybrid Automata

HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control

Quantified Score

Hi-index	0.00

Visualization

Abstract

The strong interaction between the discrete dynamic and the one continue is now seriously taken into account in the model. These models newborn so-called hybrid models describe at one time the two dynamics and are already used as well in control systems as in analysis. The methods and present tools of the dependability of systems are either of quantitative order or qualitative one. The avenue of the hybrid models obliges the scientific community to compose with this new modelling. The scientific objective of the present article is the presentation of a methodology of research on diagnosis of the hybrid dynamic systems. These are modellised by linear hybrid automatons. The analysis of reachability of the states described by these automatons is it a means of the dependability in the hybrid dynamic systems?.