Temporal logic model predictive control for discrete-time systems
From MaRDI portal
Recommendations
- Temporal logic model predictive control
- Robust control for signal temporal logic specifications using discrete average space robustness
- Language-guided controller synthesis for discrete-time linear systems
- Sampling-based approximate optimal control under temporal logic constraints
- Time-constrained temporal logic control of multi-affine systems
Cites work
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A note on two problems in connexion with graphs
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
- Enhancing model checking in verification by AI techniques
- scientific article; zbMATH DE number 5595151 (Why is no real title available?)
- scientific article; zbMATH DE number 2080065 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Markov decision processes and regular events
- Model repair for probabilistic systems
- Receding horizon control for temporal logic specifications
Cited in
(14)- Robust control for signal temporal logic specifications using discrete average space robustness
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
- Resource-aware networked control systems under temporal logic specifications
- Time-constrained temporal logic control of multi-affine systems
- LTL receding horizon control for finite deterministic systems
- Receding horizon control for temporal logic specifications
- Language-guided controller synthesis for discrete-time linear systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Cross-entropy temporal logic motion planning
- Control problems in a temporal logic framework
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Sampling-based approximate optimal control under temporal logic constraints
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
- Temporal logic model predictive control
This page was built for publication: Temporal logic model predictive control for discrete-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986939)
