Optimal Control Using Bisimulations: Implementation

Authors:
Mireille Broucke;Maria Domenica Di Benedetto;Stefano Di Gennaro;Alberto L. Sangiovanni-Vincentelli
Affiliations:
-;-;-;-
Venue:
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Year:
2001

Citing 3
Cited 1

As Soon as Possible: Time Optimal Control for Timed Automata

HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
A Geometric Approach to Bisimulation and Verification of Hybrid Systems

HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Theory of Optimal Control Using Bisimulations

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control

A toolbox of hamilton-jacobi solvers for analysis of nondeterministic continuous and hybrid systems

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the synthesis of optimal controls for continuous feedback systems by recasting the problem to a hybrid optimal control problem which is to synthesize optimal enabling conditions for switching between locations in which the control is constant. We provide a single-pass algorithm to solve the dynamic programming problem that arises, with added constraints to ensure non-Zeno trajectories.