Hybrid Dynamic Systems: Overview and Discussion on Verification Methods.

Janan Zaytoon

Browse the full ICINCO paper archive.