Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems

Publication
International Conference on Hybrid Systems: Computation and Control