Time-triggered conversion of guards for reachability analysis of hybrid automata

DOI10.1007/978-3-319-65765-3_8zbMath1497.93107OpenAlexW2739746066MaRDI QIDQ1683445

Matthias Althoff, Stanley Bak, Sergiy Bogomolov

Publication date: 1 December 2017

Full work available at URL: http://mediatum.ub.tum.de/doc/1379649/document.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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)

Reachability analysis of nonlinear systems using hybridization and dynamics scaling

Uses Software

• HySAT
• PHAVer
• HyTech
• SpaceEx
• BACH
• HYST
• Flow*
• dReach
• HyLAA
• CORA

This page was built for publication: Time-triggered conversion of guards for reachability analysis of hybrid automata