Journal Papers

Compositional Abstractions of Hybrid Control Systems

Journal of Discrete Event Dynamic Systems, Volume 14, Issue 2