NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems

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

Thao Dang, Romain Testylier

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

93B50: Synthesis problems

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

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Uses Software

• MPT
• NLTOOLBOX
• SpaceEx