NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
From MaRDI portal
Publication:5166710
DOI10.1007/978-3-319-02444-8_37zbMath1410.68240MaRDI QIDQ5166710
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
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