Symbolic analysis of hybrid systems

Author

Alur, Rajeev ; Henzinger, Thomas A. ; Wong-Toi, Howard

Author_Institution

Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA

Volume

1

fYear

1997

fDate

10-12 Dec 1997

Firstpage

702

Abstract

A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing continuous change. In this survey, we demonstrate symbolic algorithms for the verification of and controller synthesis for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically

Keywords

automata theory; control system analysis; control system synthesis; differential equations; discrete time systems; symbol manipulation; continuous change; controller synthesis; differential equations; discrete change; dynamical system; hybrid automaton; hybrid systems; linear hybrid automaton verification; symbolic analysis; Automata; Automatic control; Contracts; Control systems; Debugging; Differential equations; Mathematical model; Medical control systems; State-space methods; Vectors;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1997., Proceedings of the 36th IEEE Conference on

Conference_Location

San Diego, CA

ISSN

0191-2216

Print_ISBN

0-7803-4187-2

Type

conf

DOI

10.1109/CDC.1997.650717

Filename

650717