Conference Papers

Compositional Abstractions of Hybrid Control Systems

Proc. CDC200 - 40th IEEE Conference on Decision and Control, Orlando, FL, USA