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

Volume

1

fYear

2002

fDate

2002

Firstpage

686

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;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2002. Proceedings of the 2002

ISSN

0743-1619

Print_ISBN

0-7803-7298-0

Type

conf

DOI

10.1109/ACC.2002.1024892

Filename

1024892