Anastasios Trontis, Michael P. Spathopoulos. Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems. In Sebastian Engell, Hervé Guéguen, Janan Zaytoon, editors, IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003. Volume 36 of IFAC Proceedings Volumes, pages 355-360, Elsevier, 2003. [doi]
Abstract is missing.