Linear Approximation of Continuous Systems with Trapezoid Step Functions
No abstract available.
Related papers
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ICFP 2018
- Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes CAV 2018
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs VMCAI 2015
- A lambda-calculus foundation for universal probabilistic programming ICFP 2016
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems CAV 2022
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization POPL 2019
- PRIMA: general and precise neural network certification via scalable convex hull approximations POPL 2022
- Example Guided Synthesis of Linear Approximations for Neural Network Verification CAV 2022