Model-based reinforcement learning for approximate optimal control with temporal logic specifications
From MaRDI portal
Publication:6201592
DOI10.1145/3447928.3456639arXiv2101.07156MaRDI QIDQ6201592
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.07156
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Efficient model-based reinforcement learning for approximate online optimal control
- Barrier function based model predictive control
- Model-based reinforcement learning for approximate optimal regulation
- Controllers for reachability specifications for hybrid systems
- Nonlinear control of engineering systems. A Lyapunov-based approach.
- Reinforcement learning for optimal feedback control. A Lyapunov-based approach
- Data-based reinforcement learning approximate optimal control for an uncertain nonlinear system with control effectiveness faults
- Formal methods for discrete-time dynamical systems
- LTL receding horizon control for finite deterministic systems
- Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions
- Reactive synthesis from signal temporal logic specifications
- Verification and Control of Hybrid Systems
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Formal Synthesis of Control Strategies for Positive Monotone Systems
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Integral concurrent learning: Adaptive control with parameter convergence using finite excitation
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Sampling-based Approximate Optimal Control Under Temporal Logic Constraints
- Linear Time Logic Control of Discrete-Time Linear Systems
- Reinforcement Learning and Feedback Control: Using Natural Decision Methods to Design Optimal Adaptive Controllers
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
- Model checking of safety properties
This page was built for publication: Model-based reinforcement learning for approximate optimal control with temporal logic specifications