Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study

DOI10.1109/TAC.2013.2275892zbMath1369.93375OpenAlexW2026471953MaRDI QIDQ5353429

Alban Grastien, Anbu Anbulagan

Publication date: 8 September 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2013.2275892

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items (2)

Cardinality networks: a theoretical and empirical study ⋮ Diagnosability verification using LTL model checking

This page was built for publication: Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study