Finite bisimulations for switched linear systems
Gol, Ebru Aydin
MetadataShow full item record
Citation (published version)Ebru Aydin Gol, Xuchu Ding, Mircea Lazar, Calin Belta. 2012. "Finite Bisimulations for Switched Linear Systems." 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), pp. 7632 - 7637 (6).
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 the region bounded by any larger sublevel set. We show how this bisimulation quotient can be used for synthesis of switching laws and verification with respect to specifications given as syntactically co-safe Linear Temporal Logic formulae over the observed polytopic subsets.
Rights0018-9286 © 2014 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission.