Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

Publisher Website

1 January 2000

book chapter
Published by Springer Nature

p. 73-88
https://doi.org/10.1007/3-540-46430-1_10

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Ellipsoidal Techniques for Reachability Analysis
Published by Springer Nature ,2000
Reachability analysis via face lifting
Published by Springer Nature ,1998
HyTech: A model checker for hybrid systems
Published by Springer Nature ,1997
On the Theory of Trajectory Tubes — A Mathematical Formalism for Uncertain Dynamics, Viability and Control
Published by Springer Nature ,1993
On affine scaling algorithms for nonconvex quadratic programming
Mathematical Programming, 1992
Convex Analysis
Published by Walter de Gruyter GmbH ,1970