STL model checking of continuous and hybrid systems

DOI10.1007/978-3-319-46520-3_26zbMath1398.68347OpenAlexW2522513585MaRDI QIDQ1990521

Thomas Heinz, Matthias Althoff, Hendrik Roehm, Jens Oehlerking

Publication date: 25 October 2018

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

zbMATH Keywords

hybrid systemsmodel checkingtemporal logicreachability analysiscontinuous time

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

This page was built for publication: STL model checking of continuous and hybrid systems