Hybrid automata models in continuous-linear hybrid systems analysis

Author

Favela, Antonio

Author_Institution

Lab. d´´Autom. de Grenoble, CNRS, St. Martin d´´Heres, France

fYear

1999

fDate

1999

Firstpage

11

Lastpage

16

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control/Intelligent Systems and Semiotics, 1999. Proceedings of the 1999 IEEE International Symposium on

Conference_Location

Cambridge, MA

ISSN

2158-9860

Print_ISBN

0-7803-5665-9

Type

conf

DOI

10.1109/ISIC.1999.796622

Filename

796622