Sampling-based approximate optimal control under temporal logic constraints

DOI10.1145/3049797.3049820MaRDI QIDQ5275336zbMATH OpenOpenAlexWikidataFDO

Authors Jie Fu, Ivan Papusha, Ufuk Topcu

Publication date 11 July 2017

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3049797.3049820

zbMATH Keywords

approximate optimal controlformal methodshybrid systemsimportance sampling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by partial differential equations (93C20) Sampled-data control/observation systems (93C57) Automated systems (robots, etc.) in control theory (93C85) Optimal stochastic control (93E20)

Recommendations

• Temporal logic model predictive control
• Temporal logic model predictive control for discrete-time systems
• Cross-entropy temporal logic motion planning
• Symbolic approximate time-optimal control
• LTL receding horizon control for finite deterministic systems

Cited in

(11)

• Time-constrained temporal logic control of multi-affine systems
• LTL receding horizon control for finite deterministic systems
• Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
• Design and implement of optimal patrolling control system to satisfy the complex requirements
• Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
• Temporal logic model predictive control for discrete-time systems
• Cross-entropy temporal logic motion planning
• Symbolic approximate time-optimal control
• Optimal Sampling and Performance Comparison of Periodic and Event Based Impulse Control
• Model-based reinforcement learning for approximate optimal control with temporal logic specifications
• Temporal logic model predictive control

This page was built for publication: Sampling-based approximate optimal control under temporal logic constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275336)