Linear Time Logic Control of Discrete-Time Linear Systems
From MaRDI portal
Cited in
(38)- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Robustly complete finite-state abstractions for verification of stochastic systems
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Hierarchical hybrid symbolic robot motion planning and control
- Quantitative Model Checking for a Controller Design
- Cooperative tasking for deterministic specification automata
- Approximately bisimilar symbolic models for nonlinear control systems
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Controller synthesis for safety and reachability via approximate bisimulation
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Time-constrained temporal logic control of multi-affine systems
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Low-complexity quantized switching controllers using approximate bisimulation
- Bisimilarity enforcing supervisory control for deterministic specifications
- Guaranteed global performance through local coordinations
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- scientific article; zbMATH DE number 1956625 (Why is no real title available?)
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Symbolic models for control systems
- Temporal logic motion planning for dynamic robots
- A modal characterization of alternating approximate bisimilarity
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic control design of nonlinear systems with outputs
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- Specifications for decidable hybrid games
- Automated generation of dynamics-based runtime certificates for high-level control
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- A constructive approach to reachability realization of discrete-time switched linear systems
- scientific article; zbMATH DE number 2085325 (Why is no real title available?)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs
- A bounded model checking technique for discrete-time nonlinear systems
- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
This page was built for publication: Linear Time Logic Control of Discrete-Time Linear Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281987)
