Formal Verification of Stochastic Max-Plus-Linear Systems.
Sadegh Esmaeil Zadeh SoudjaniDieky AdzkiyaAlessandro AbatePublished in: IEEE Trans. Autom. Control. (2016)
Keyphrases
- linear systems
- formal verification
- model checking
- sufficient conditions
- dynamical systems
- linear equations
- automated verification
- model checker
- sparse linear systems
- symbolic model checking
- coefficient matrix
- bounded model checking
- temporal logic
- pid controller
- differential evolution
- closed loop
- convex optimization
- interior point methods
- machine learning