Reduction of timed hybrid systems

Author

Gennaro, S. Di ; Horn, C. ; Kulkarni, Sanjeev R. ; Ramadge, P.J.

Author_Institution

Dipartimento di Ingegneria Elettrica, L´´Aquila Univ., Italy

Volume

4

fYear

1994

Firstpage

4215

Abstract

We consider a class of hybrid dynamic systems composed of interacting discrete and continuous subsystems. Of particular interest is the reduction of the coupled system to a single finite state automaton. Such a reduction has been proposed and analyzed in the literature on computer verification for certain special hybrid systems called timed automata. We use timed automata with two clocks (integrators) as a tool to explore extensions and generalizations of the reduction constructions. Several interesting new classes of reductions are presented

Keywords

continuous time systems; differential equations; discrete time systems; dynamics; finite automata; continuous dynamics; continuous subsystems; differential equations; discrete subsystems; finite state automata; hybrid dynamic systems; single finite state automaton; temporal reduction construction; timed automata; timed hybrid systems; Automata; Automatic control; Clocks; Continuous time systems; Control systems; Differential equations; Manufacturing systems; Protocols; Timing; Vehicle dynamics;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on

Conference_Location

Lake Buena Vista, FL

Print_ISBN

0-7803-1968-0

Type

conf

DOI

10.1109/CDC.1994.411613

Filename

411613