المؤلفون: Grastien, Alban, Anbulagan, Anbu

المصدر: IEEE Transactions on Automatic Control

مصطلحات موضوعية: Keywords: Empirical studies, Novel algorithm, Propositional satisfiability, Satisfiability algorithms, Satisfiability solvers, Second level, Two-level approach, Algorithms, Diagnosis, Discrete event simulation, Formal logic Diagnosis, Discrete event systems

Relation: http://hdl.handle.net/1885/75781; https://openresearch-repository.anu.edu.au/bitstream/1885/75781/5/13Grastien_Diagnosis_of_discrete_event_systems.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/75781/7/01_Grastien_Diagnosis_of_discrete_event_2013.pdf.jpg

الاتاحة: http://hdl.handle.net/1885/75781
https://doi.org/10.1109/TAC.2013.2275892
https://openresearch-repository.anu.edu.au/bitstream/1885/75781/5/13Grastien_Diagnosis_of_discrete_event_systems.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/75781/7/01_Grastien_Diagnosis_of_discrete_event_2013.pdf.jpg

المؤلفون: Grastien, Alban, Anbulagan, Anbu

المصدر: IEEE Transactions on Automatic Control

مصطلحات الفهرس: Keywords: Empirical studies; Novel algorithm; Propositional satisfiability; Satisfiability algorithms; Satisfiability solvers; Second level; Two-level approach; Algorithms; Diagnosis; Discrete event simulation; Formal logic Diagnosis; Discrete event systems; Propositional satisfiability, Journal article

URL: http://hdl.handle.net/1885/75781