A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems.

Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier

Browse the full ATVA paper archive.