Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.
Mark WetzlingerNiklas KochdumperStanley BakMatthias AlthoffPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- linear systems
- automated verification
- automated reasoning
- model checking
- sufficient conditions
- dynamical systems
- linear equations
- sparse linear systems
- coefficient matrix
- difference equations
- pid controller
- formal verification
- theorem prover
- machine learning
- interior point methods
- global optimization
- optimization algorithm
- multi objective
- natural language
- artificial intelligence