Fully automated stability verification for piecewise affine systems

Authors:
Jens Oehlerking;Henning Burchardt;Oliver Theel
Affiliations:
Department of Computing Science, University of Oldenburg, Germany;Department of Computing Science, University of Oldenburg, Germany;Department of Computing Science, University of Oldenburg, Germany
Venue:
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Year:
2007

Automating verification of cooperation, control, and design in traffic applications

Formal methods and hybrid real-time systems
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems

Proceedings of the 16th international conference on Hybrid systems: computation and control
Abstraction based model-checking of stability of hybrid systems

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

Hi-index	0.00