Symbolic Optimal Control
From MaRDI portal
Publication:5223731
DOI10.1109/TAC.2018.2863178zbMath1482.49028arXiv1709.07333OpenAlexW3100135013MaRDI QIDQ5223731
Matthias Rungger, Gunther Reißig
Publication date: 18 July 2019
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.07333
Dynamic programming in optimal control and differential games (49L20) Ordinary differential inclusions (34A60) Discrete version of topics in analysis (39A12) Optimality conditions for minimax problems (49K35) Optimality conditions for problems involving relations other than differential equations (49K21)
Related Items (3)
A computational study of optimal control of Markov jump systems ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis
This page was built for publication: Symbolic Optimal Control
