Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592): Difference between revisions

Latest revision as of 10:26, 16 December 2024

scientific article; zbMATH DE number 7807685

Language	Label	Description	Also known as
English	Model-based reinforcement learning for approximate optimal control with temporal logic specifications	scientific article; zbMATH DE number 7807685

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control

0 references

publication date

21 February 2024

0 references

full work available at URL

https://arxiv.org/abs/2101.07156

0 references

zbMATH Keywords

hybrid systems

0 references

optimal control

0 references

safe reinforcement learning

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Control Barrier Function Based Quadratic Programs for Safety Critical Systems

0 references

Q5322945

0 references

Formal Synthesis of Control Strategies for Positive Monotone Systems

0 references

Formal methods for discrete-time dynamical systems

0 references

Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems

0 references

Data-based reinforcement learning approximate optimal control for an uncertain nonlinear system with control effectiveness faults

0 references

LTL receding horizon control for finite deterministic systems

0 references

Nonlinear control of engineering systems. A Lyapunov-based approach.

0 references

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints

0 references

Q3224358

0 references

Efficient model-based reinforcement learning for approximate online optimal control

0 references

Model-based reinforcement learning for approximate optimal regulation

0 references

Reinforcement learning for optimal feedback control. A Lyapunov-based approach

0 references

Q2771497

0 references

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

0 references

Model checking of safety properties

0 references

Q4426372

0 references

Reinforcement Learning and Feedback Control: Using Natural Decision Methods to Design Optimal Adaptive Controllers

0 references

Controllers for reachability specifications for hybrid systems

0 references

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

0 references

A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games

0 references

Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions

0 references

Integral concurrent learning: Adaptive control with parameter convergence using finite excitation

0 references

Reactive synthesis from signal temporal logic specifications

0 references

Formal Guarantees in Data-Driven Model Identification and Control Synthesis

0 references

Verification and Control of Hybrid Systems

0 references

Linear Time Logic Control of Discrete-Time Linear Systems

0 references

Barrier function based model predictive control

0 references

Identifiers

arXiv ID

2101.07156

0 references

DOI

10.1145/3447928.3456639

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6201592

@@ Property / cites work @@
+Control Barrier Function Based Quadratic Programs for Safety Critical Systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Synthesis of Control Strategies for Positive Monotone Systems
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Data-based reinforcement learning approximate optimal control for an uncertain nonlinear system with control effectiveness faults
+Normal rank
@@ Property / cites work @@
+LTL receding horizon control for finite deterministic systems
+Normal rank
@@ Property / cites work @@
+Nonlinear control of engineering systems. A Lyapunov-based approach.
+Normal rank
@@ Property / cites work @@
+Sampling-based Approximate Optimal Control Under Temporal Logic Constraints
+Normal rank
@@ Property / cites work @@
+Q3224358
@@ Property / cites work: Q3224358 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient model-based reinforcement learning for approximate online optimal control
+Normal rank
@@ Property / cites work @@
+Model-based reinforcement learning for approximate optimal regulation
+Normal rank
@@ Property / cites work @@
+Reinforcement learning for optimal feedback control. A Lyapunov-based approach
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426372
@@ Property / cites work: Q4426372 / rank @@
+Normal rank
@@ Property / cites work @@
+Reinforcement Learning and Feedback Control: Using Natural Decision Methods to Design Optimal Adaptive Controllers
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions
+Normal rank
@@ Property / cites work @@
+Integral concurrent learning: Adaptive control with parameter convergence using finite excitation
+Normal rank
@@ Property / cites work @@
+Reactive synthesis from signal temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Formal Guarantees in Data-Driven Model Identification and Control Synthesis
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Barrier function based model predictive control
@@ Property / cites work: Barrier function based model predictive control / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130844063
@@ Property / Wikidata QID: Q130844063 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6201592