Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

Georgios E. Fainekos, Antoine Girard, George J. Pappas. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 203-216, Springer, 2007. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: