Abstract
In this paper, we consider the problem of constructing a finite bisimulation quotient for a discrete-time switched linear system in a bounded subset of its state space. Given a set of observations over polytopic subsets of the state space and a switched linear system with stable subsystems, the proposed algorithm generates the bisimulation quotient in a finite number of steps with the aid of sublevel sets of a polyhedral Lyapunov function. Starting from a sublevel set that includes the origin in its interior, the proposed algorithm iteratively constructs the bisimulation quotient for any larger sublevel set. The bisimulation quotient can then be further used for synthesis of the switching law and system verification with respect to specifications given as syntactically co-safe Linear Temporal Logic formulas over the observed polytopic subsets.
| Original language | English |
|---|---|
| Title of host publication | 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 7632-7637 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-1-4673-2066-5 |
| ISBN (Print) | 978-1-4673-2065-8 |
| DOIs | |
| Publication status | Published - 4 Feb 2013 |
| Event | 51st IEEE Conference on Decision and Control, CDC 2012 - Maui, United States Duration: 10 Dec 2012 → 13 Dec 2012 Conference number: 51 |
Conference
| Conference | 51st IEEE Conference on Decision and Control, CDC 2012 |
|---|---|
| Abbreviated title | CDC 2012 |
| Country/Territory | United States |
| City | Maui |
| Period | 10/12/12 → 13/12/12 |