Author of the publication

On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.

, , and . ICEIS (2), page 44-53. (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Advanced Relational Programming: Mathematics and Its Applications., and . Mathematics and Its Applications Kluwer, (1996)A diagnostic environment for automaton networks., , , , and . Softw. Pract. Exp., 37 (4): 365-415 (2007)A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios., , and . IEA/AIE, volume 11606 of Lecture Notes in Computer Science, page 325-333. Springer, (2019)Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks., and . IJCAI (1), page 446-453. Morgan Kaufmann, (1997)Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations., and . ICEIS, volume 24 of Lecture Notes in Business Information Processing, page 348-362. Springer, (2009)Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems., and . SMC, page 2342-2347. IEEE, (2013)Decremental Subset Construction., and . KES-IDT (1), volume 72 of Smart Innovation, Systems and Technologies, page 22-36. Springer, (2017)Explanatory Monitoring of Discrete-Event Systems., , , and . KES-IDT, volume 193 of Smart Innovation, Systems and Technologies, page 63-77. Springer, (2020)Abductive Diagnosis of Complex Active Systems with Compiled Knowledge., , and . KR, page 464-473. AAAI Press, (2018)Uncertain Temporal Observations in Diagnosis., and . ECAI, page 151-155. IOS Press, (2000)