Title :
Hybrid automata models in continuous-linear hybrid systems analysis
Author_Institution :
Lab. d´´Autom. de Grenoble, CNRS, St. Martin d´´Heres, France
Abstract :
We introduce some analysis tools for a class of continuous-linear hybrid systems. The continuous-linear term is used in the sense of system theory and it is in this sense that continuous-linear hybrid automata are defined. Using the defined automaton representation, we provide an analytical formulation of the system dynamic behavior. With the analysis results, dynamic properties for reachability and limit cycle analysis purposes are established. Finally, a coupled hybrid case is conducted
Keywords :
automata theory; continuous time systems; control system analysis; limit cycles; linear systems; reachability analysis; analysis tools; automaton representation; continuous-linear hybrid systems analysis; dynamic behavior; hybrid automata models; limit cycle analysis; Actuators; Automata; Clocks; Control engineering; Differential equations; Discrete event systems; Limit-cycles; Sections; Terminology; Timing;
Conference_Titel :
Intelligent Control/Intelligent Systems and Semiotics, 1999. Proceedings of the 1999 IEEE International Symposium on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-7803-5665-9
DOI :
10.1109/ISIC.1999.796622
