Abstract | ||
---|---|---|
In this paper, we investigate foundational questions related to the simplification based analysis of input-output stability of hybrid systems. Simulations and bisimulations are canonical notions that provide the relation between the original system and its abstraction that preserve several properties, including safety. However, recent investigations have shown that stability properties are not preserved by these notions. Hence, there have been efforts to strengthen these notions with additional requirements such as continuity on the relations, that enforce preservation of several stability notions including Lyapunov, asymptotic and input-to-state stability. Here we continue this line of work, and propose strengthenings of simulation/bisimulation relations for preservation of two variants of input-output stability for hybrid systems that are inspired by the incremental input-output stability and incremental state-independent input-output stability for continuous dynamical systems. |
Year | Venue | Field |
---|---|---|
2016 | 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC) | Lyapunov function,Mathematical optimization,Control theory,Computer science,Automaton,Input/output,Dynamical systems theory,Exponential stability,Bisimulation,Hybrid system,Numerical stability |
DocType | ISSN | Citations |
Conference | 0743-1546 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pavithra Prabhakar | 1 | 219 | 25.69 |
Jun Liu | 2 | 215 | 20.63 |