| | |
Summary: HYSTAR: A ToolBox for Hierarchical Control of
Piecewise Linear Hybrid Dynamical Systems1
Hai Lin2
Department of EE
University of Notre Dame,
Notre Dame, IN 46556 USA
Xenofon D. Koutsoukos
Xerox Palo Alto Research Center
3333 Coyote Hill Road
Palo Alto, CA 94304, USA
Panos J. Antsaklis
Department of EE
University of Notre Dame,
Notre Dame, IN 46556 USA
Abstract
This paper 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 back-
ward reachability analysis. Both static specifications that do
|
