Model-based reinforcement learning for approximate optimal control with temporal logic specifications

DOI10.1145/3447928.3456639arXiv2101.07156WikidataQ130844063 ScholiaQ130844063MaRDI QIDQ6201592

Max H. Cohen, Calin Belta

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

zbMATH Keywords

optimal controlhybrid systemssafe reinforcement learning

Mathematics Subject Classification ID

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