Reachability analysis of non-linear planar autonomous systems

DOI10.1007/978-3-642-29320-7_14MaRDI QIDQ2894564zbMATH OpenOpenAlexFDO

Authors Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29320-7_14

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Control/observation systems governed by ordinary differential equations (93C15) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Some decidable results on reachability of solvable systems
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1956619
• scientific article; zbMATH DE number 1956651
• Reachability analysis of dynamical systems having piecewise-constant derivatives

Cited in

(12)

• Reachability analysis using message passing over tree decompositions
• Some decidable results on reachability of solvable systems
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
• Reachability Analysis Using Polygonal Projections
• scientific article; zbMATH DE number 1794363 (Why is no real title available?)
• Deciding reachability for 3-dimensional multi-linear systems
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Forward inner-approximated reachability of non-linear continuous systems
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 3234735 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

Describes a project that uses

Uses Software

• L-BFGS-B
• L-BFGS
• PHAVer
• HyTech

This page was built for publication: Reachability analysis of non-linear planar autonomous systems

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