Hybrid automata models in continuous-linear hybrid systems analysis

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.