LTL receding horizon control for finite deterministic systems

DOI10.1016/j.automatica.2013.11.030zbMath1364.49052arXiv1203.2860OpenAlexW2167185915MaRDI QIDQ2628417

Mircea Lazar, Xuchu Ding, Calin Belta

Publication date: 2 June 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.2860

zbMATH Keywords

optimal controlformal methodsmodel predictive controlfinite deterministic systems

Mathematics Subject Classification ID

Applications of optimal control and differential games (49N90) Synthesis problems (93B50)

Related Items (5)

A topological obstruction in a control problem ⋮ Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Optimal trajectory tracking solution: fractional order viewpoint ⋮ Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

Uses Software

• LTL2BA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing finite Kripke structures in propositional temporal logic
• Control of systems integrating logic, dynamics, and constraints
• LTL to Büchi Automata Translation: Fast and More Deterministic
• A Control Lyapunov Approach to Predictive Control of Hybrid Systems
• Dealing with Nondeterminism in Symbolic Control
• Solving Games Without Determinization
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A Cooperative Receding Horizon Controller for Multivehicle Uncertain Environments
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: LTL receding horizon control for finite deterministic systems