Temporal Logic Control of Discrete-Time Piecewise Affine Systems

DOI10.1109/TAC.2011.2178328zbMath1369.93355MaRDI QIDQ5352845

Jana Tůmová, Jiří Barnat, Calin Belta, Boyan Yordanov, Ivana Černá

Publication date: 8 September 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Discrete-time control/observation systems (93C55)

Related Items

Finite abstraction of mixed monotone systems with discrete and continuous inputs, Abstraction-based synthesis for stochastic systems with omega-regular objectives, Symbolic control design for monotone systems with directed specifications, Temporal logic model predictive control, Augmented finite transition systems as abstractions for control synthesis, Automated generation of dynamics-based runtime certificates for high-level control, Unnamed Item, Time-constrained temporal logic control of multi-affine systems, Symbolic control design of nonlinear systems with outputs, Local analysis of hybrid systems on polyhedral sets with state-dependent switching, Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games, Lazy controller synthesis for monotone transition systems and directed safety specifications