Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.

Henning Burchardt, Jens Oehlerking, Oliver E. Theel

Browse the full PRDC paper archive.