Title :
HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems
Author :
Lin, Hai ; Koutsoukos, Xenofon D. ; Antsaklis, Panos J.
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Abstract :
Describes a Matlab toolbox for computational analysis and hierarchical controller synthesis of piecewise linear hybrid dynamical systems. The analysis and design are based on computation of predecessor operator and backward reachability analysis. Both static specifications that do not change as time progresses and dynamic specifications that include sequencing of events and eventual execution of actions are considered. Control design is implemented using finite automata and linear programming techniques. A temperature control system is used for illustration through out the paper.
Keywords :
continuous time systems; control system CAD; control system analysis computing; discrete systems; finite automata; hierarchical systems; linear programming; linear systems; reachability analysis; software packages; temperature control; HYSTAR toolbox; Matlab toolbox; backward reachability analysis; computational analysis; dynamic specifications; finite automata; hierarchical control; hierarchical controller synthesis; linear programming techniques; piecewise linear hybrid dynamical systems; predecessor operator; sequencing; static specifications; temperature control system; Automata; Control design; Control system analysis; Control system synthesis; Control systems; Mathematical model; Piecewise linear techniques; Reachability analysis; State-space methods; Temperature control;
Conference_Titel :
American Control Conference, 2002. Proceedings of the 2002
Print_ISBN :
0-7803-7298-0
DOI :
10.1109/ACC.2002.1024892
