Title :
Deadlock-free piecewise-linear controlled hybrid automata
Author :
Lemmon, Michael D.
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Abstract :
A controlled hybrid automaton is a hybrid automaton whose continuous-state trajectories satisfy inhomogeneous differential equations. This paper presents sufficient conditions for the existence of periodic global solutions of piecewise-linear controlled hybrid automata
Keywords :
automata theory; control system analysis; differential equations; linear programming; matrix algebra; piecewise linear techniques; differential equations; hybrid automata; linear programming; matrix algebra; piecewise-linear control; sufficient condition; Automata; Automatic control; Control system synthesis; Control systems; Differential equations; Piecewise linear techniques; Safety; State-space methods; Sufficient conditions; System recovery;
Conference_Titel :
Decision and Control, 2000. Proceedings of the 39th IEEE Conference on
Conference_Location :
Sydney, NSW
Print_ISBN :
0-7803-6638-7
DOI :
10.1109/CDC.2000.912811
