Theory of optimal control using bisimulations

DOI10.1007/3-540-46430-1_11MaRDI QIDQ4953385zbMATH OpenFDO

Authors Maria D. Di Benedetto, Mireille E. Broucke, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli

Publication date 9 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46430-1_11

zbMATH Keywords

bisimulationdiscretizationdynamic programmingHamilton-Jacobi-Bellman equationhybrid automatonhybrid optimal controlviscosity solution

Mathematics Subject Classification ID

Viscosity solutions to Hamilton-Jacobi equations in optimal control and differential games (49L25) Discrete event control/observation systems (93C65)

Review text

The authors developed a computationally appealing technique for synthesizing optimal controls for continuous feedback systems, by reducing substantially the complexity of the problem. An algorithmic solution is obtained by translating the hybrid automaton to a finite automaton using a bisimulation and formulating a dynamic programming problem with extra conditions to ensure non-Zenoness of trajectories. The main result shows that the discrete value function converges to the viscosity solution of the Hamilton-Jacobi-Bellman equation as a discretization parameter tends to zero. For the entire collection see [Zbl 0934.00029].

Recommendations

• scientific article; zbMATH DE number 1794369
• Efficient Solution of Optimal Control Problems Using Hybrid Systems
• A unified framework for hybrid control: model and optimal control theory
• Optimal control of partitioned hybrid systems via discrete-time Hamilton-Jacobi theory

Cited in

(13)

• Optimal control of discrete-time hybrid automata under safety and liveness constraints
• Hybrid control of networked embedded systems
• Controller synthesis for bisimulation equivalence
• Bisimulation relations for dynamical and control systems
• Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
• Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
• Automated generation of optimal controllers through model checking techniques
• scientific article; zbMATH DE number 1794369 (Why is no real title available?)
• scientific article; zbMATH DE number 1827823 (Why is no real title available?)
• From Bellman to Dijkstra: set-oriented construction of globally optimal controllers
• Efficient Solution of Optimal Control Problems Using Hybrid Systems
• A set oriented approach to global optimal control
• Approximate bisimulation: a bridge between computer science and control theory

This page was built for publication: Theory of optimal control using bisimulations

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