Conic abstractions for hybrid systems

DOI10.1007/978-3-319-65765-3_7zbMath1497.93109OpenAlexW2739936107MaRDI QIDQ1683444

Sergiy Bogomolov, Thomas A. Henzinger, Hui Kong, Mirco Giacobbe

Publication date: 1 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-65765-3_7

zbMATH Keywords

affine systemhybrid systemreachability analysisdiscrete abstractionconic abstraction

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Pegasus: sound continuous invariant generation

This page was built for publication: Conic abstractions for hybrid systems