Reduction of timed hybrid systems

S. D.I. Gennaro; C. Horn; S. R. Kulkarni; P. J. Ramadge

doi:10.1023/A:1008385431572

Reduction of timed hybrid systems

S. D.I. Gennaro, C. Horn, S. R. Kulkarni, P. J. Ramadge

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.

Original language	English (US)
Pages (from-to)	343-351
Number of pages	9
Journal	Discrete Event Dynamic Systems: Theory and Applications
Volume	8
Issue number	4
DOIs	https://doi.org/10.1023/A:1008385431572
State	Published - Dec 1998

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Modeling and Simulation
Electrical and Electronic Engineering

Keywords

Finite state automaton
Hybrid systems
Reduction
Timed automata

Access to Document

10.1023/A:1008385431572

Cite this

@article{4e2cde4a3fd143fbb5a560b01b646bde,

title = "Reduction of timed hybrid systems",

abstract = "We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.",

keywords = "Finite state automaton, Hybrid systems, Reduction, Timed automata",

author = "Gennaro, \{S. D.I.\} and C. Horn and Kulkarni, \{S. R.\} and Ramadge, \{P. J.\}",

note = "Funding Information: Research partially supported by the National Science Foundation under grants ECS-9022634, ECS-9216450, IRI-9209577, and IRI-9457645, by the U.S. Army Research Office under grant DAAL03-92-G-0320, by EPRI under grant RP8030-18, and in the case of the first author by Italian ASI RS157/92 funds. Please address correspondence to the last author.",

year = "1998",

month = dec,

doi = "10.1023/A:1008385431572",

language = "English (US)",

volume = "8",

pages = "343--351",

journal = "Discrete Event Dynamic Systems: Theory and Applications",

issn = "0924-6703",

publisher = "Springer Netherlands",

number = "4",

}

TY - JOUR

T1 - Reduction of timed hybrid systems

AU - Gennaro, S. D.I.

AU - Horn, C.

AU - Kulkarni, S. R.

AU - Ramadge, P. J.

N1 - Funding Information: Research partially supported by the National Science Foundation under grants ECS-9022634, ECS-9216450, IRI-9209577, and IRI-9457645, by the U.S. Army Research Office under grant DAAL03-92-G-0320, by EPRI under grant RP8030-18, and in the case of the first author by Italian ASI RS157/92 funds. Please address correspondence to the last author.

PY - 1998/12

Y1 - 1998/12

N2 - We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.

AB - We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.

KW - Finite state automaton

KW - Hybrid systems

KW - Reduction

KW - Timed automata

UR - https://www.scopus.com/pages/publications/0032288239

UR - https://www.scopus.com/inward/citedby.url?scp=0032288239&partnerID=8YFLogxK

U2 - 10.1023/A:1008385431572

DO - 10.1023/A:1008385431572

M3 - Article

AN - SCOPUS:0032288239

SN - 0924-6703

VL - 8

SP - 343

EP - 351

JO - Discrete Event Dynamic Systems: Theory and Applications

JF - Discrete Event Dynamic Systems: Theory and Applications

IS - 4

ER -

Reduction of timed hybrid systems

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this