Formal Verification of Stochastic Max-Plus-Linear Systems.

Sadegh Esmaeil Zadeh Soudjani Dieky Adzkiya Alessandro Abate

Published 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