TY - GEN
T1 - Representations and algorithms for finite-state bisimulations of linear discrete-time control systems
AU - Lamperski, Andrew
PY - 2009
Y1 - 2009
N2 - While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques.
AB - While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques.
UR - http://www.scopus.com/inward/record.url?scp=77950787077&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77950787077&partnerID=8YFLogxK
U2 - 10.1109/CDC.2009.5399764
DO - 10.1109/CDC.2009.5399764
M3 - Conference contribution
AN - SCOPUS:77950787077
SN - 9781424438716
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 51
EP - 56
BT - Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009
Y2 - 15 December 2009 through 18 December 2009
ER -