NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems

DOI10.1007/978-3-319-02444-8_37zbMath1410.68240OpenAlexW92641534MaRDI QIDQ5166710

Romain Testylier, Thao Dang

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_37

Mathematics Subject Classification ID

Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Parameter Synthesis Through Temporal Logic Specifications ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

Uses Software

• MPT
• NLTOOLBOX
• SpaceEx