Towards automatic verification of affine hybrid system stability
Authors:
Jens Oehlerking;Henning Burchardt;Oliver Theel
Affiliations:
Carl von Ossietzky Universität Oldenburg, Department of Computer Science, Oldenburg, Germany;Carl von Ossietzky Universität Oldenburg, Department of Computer Science, Oldenburg, Germany;Carl von Ossietzky Universität Oldenburg, Department of Computer Science, Oldenburg, Germany
Venue:
ACM SIGBED Review - Special issue: IEEE RTAS 2005 work-in-progress