Login / Signup
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