Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation


Dear editor, Hybrid systems are widely used in modeling safetycritical systems [1]. In recent years, safety verification of hybrid systems, whose aim is to decide whether the systems will reach a dangerous or unwanted configuration, has attracted much research attention. Due to the intrinsic complexity, verification of such systems presents a grand… (More)
DOI: 10.1007/s11432-015-0980-7

1 Figure or Table


  • Presentations referencing similar topics