Reachability Analysis of Non-linear Planar Autonomous Systems

DOI10.1007/978-3-642-29320-7_14zbMath1353.68272OpenAlexW1605767363MaRDI QIDQ2894564

Gerardo Schneider, Martin Steffen, Hallstein Asheim Hansen

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

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

Uses Software

• Unnamed Item
• L-BFGS
• PHAVer
• HyTech

This page was built for publication: Reachability Analysis of Non-linear Planar Autonomous Systems