Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach

DOI10.1016/j.nahs.2022.101295zbMath1505.93116MaRDI QIDQ2677109

Calin Belta, Max H. Cohen, Zachary Serlin, Kevin Leahy

Publication date: 13 January 2023

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2022.101295

zbMATH Keywords

adaptive control; reinforcement learning; Lyapunov methods; approximate dynamic programming; temporal logics

Mathematics Subject Classification ID

93C10: Nonlinear systems in control theory

93C40: Adaptive control/observation systems

03B44: Temporal logic

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)