Temporal Logic Control of Discrete-Time Piecewise Affine Systems
From MaRDI portal
Cited in
(18)- Symbolic control design for monotone systems with directed specifications
- Augmented finite transition systems as abstractions for control synthesis
- Automated generation of dynamics-based runtime certificates for high-level control
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Time-constrained temporal logic control of multi-affine systems
- Symbolic control design of nonlinear systems with outputs
- Finite abstraction of mixed monotone systems with discrete and continuous inputs
- Local analysis of hybrid systems on polyhedral sets with state-dependent switching
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
- Control problems in a temporal logic framework
- scientific article; zbMATH DE number 7625185 (Why is no real title available?)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
- Memoryless concretization relation
- Testing isomorphism of Boolean functions over finite abelian groups
- Temporal logic model predictive control
This page was built for publication: Temporal Logic Control of Discrete-Time Piecewise Affine Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5352845)
