Finite Bisimulations for Switched Linear Systems
From MaRDI portal
Publication:2982914
DOI10.1109/TAC.2014.2351653zbMath1360.93461arXiv1208.5471OpenAlexW2072229594WikidataQ58233163 ScholiaQ58233163MaRDI QIDQ2982914
Calin Belta, Mircea Lazar, Xuchu Ding, Ebru Aydin Gol
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.5471
Automated systems (robots, etc.) in control theory (93C85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (6)
Reachability and observability reduction for linear switched systems with constrained switching ⋮ Augmented finite transition systems as abstractions for control synthesis ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems
This page was built for publication: Finite Bisimulations for Switched Linear Systems
