NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems

DOI10.1007/978-3-319-02444-8_37MaRDI QIDQ5166710zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• SReachTools
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Hybrid Systems: Computation and Control
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Reachability Analysis of Nonlinear Systems Using Matrix Measures
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 67115
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
• Reachability of Nonlinear Systems With Unknown Dynamics

Cited in

(9)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• Lagrangian reachabililty
• Parameter synthesis through temporal logic specifications
• JuliaReach
• TIRA
• Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
• Computing reachable states for nonlinear biological models
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis

Describes a project that uses

Uses Software

• MPT
• NLTOOLBOX
• SpaceEx

This page was built for publication: NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166710)