Paper Info
Title
Discrete Asymptotic Abstractions Of Hybrid Systems
Abstract
In this paper we introduce the notion of Finite Time Mode Abstraction to relate a hybrid automaton to a timed automaton that preserves the stability and reachability properties of the former. The abstraction procedure discards the continuous dynamics of each mode in the hybrid automaton completely, keeping only the information about the maximum time in which the continuous state makes a discrete jump. This information is used to construct a timed automaton, based on the original hybrid automaton, and to prove that the stability and reachability properties of the original system are retained in the abstract timed automaton. In the process of abstracting a hybrid to a timed automaton we introduce a new notion of hybrid distance metric, which provides information about both the number of discrete transitions that a system would have to make to go from one hybrid state to another, and the distance between the continuous parts of such hybrid states.
Year
DOI
Venue
2006
10.1109/CDC.2006.377733
PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14
Keywords
DocType
ISSN
hybrid system,hybrid systems,reachability,timed automaton,control systems,asymptotic stability,distance metric,stability,automata theory
Conference
0743-1546
Citations 
PageRank 
References 
3
0.40
9
Authors
3
Name
Order
Citations
PageRank
Jorge Piovesan1102.36
Herbert Tanner292191.72
Chaouki T. Abdallah320934.98