Switched Systems in Coq for Modeling Periodic Controllers.

Andrei Aleksandrov, Kim Vllinger

Browse the full ICTAC paper archive.