Login / Signup
Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study.
Alban Grastien
Anbulagan
Published in:
IEEE Trans. Autom. Control. (2013)
Keyphrases
</>
computational complexity
theoretical and empirical study
data structure
orders of magnitude
computational efficiency
times faster
search space
control system
significant improvement
optimization problems
theoretical analysis
machine learning algorithms