Scalable Verification of Linear Controller Software
No abstract available.
Related papers
- LCV: A Verification Tool for Linear Controller Software TACAS 2019
- A Non-linear Arithmetic Procedure for Control-Command Software Verification TACAS 2018
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems CAV 2010
- Sound compilation of reals POPL 2014
- Automatic Verification of Finite Precision Implementations of Linear Controllers TACAS 2017
- PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems CAV 2020
- NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems CAV 2020
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022