Sapo

MaRDI QIDQ35337swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=3049797.3049824

Described by source

• Sapo: reachability computation and parameter synthesis of polynomial dynamical systems

Cited in

(14)

• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
• MARCO
• pyHybrid Analysis
• Pyhybridanalysis
• dReach
• Breach
• HyPro
• ParetoImageSDP
• Sherlock
• Kodiak
• Parameter synthesis of polynomial dynamical systems
• Kaa
• Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
• Reachability computation for polynomial dynamical systems

This page was built for software: Sapo