Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
authFullName_s : Xiangfu Zhao
Image document

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems

Gianfranco Lamperti , Marina Zanella , Xiangfu Zhao
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.43-64, ⟨10.1007/978-3-319-99740-7_4⟩
Conference papers hal-02060059v1
Image document

Diagnosis of Complex Active Systems with Uncertain Temporal Observations

Gianfranco Lamperti , Xiangfu Zhao
International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.45-62, ⟨10.1007/978-3-319-45507-5_4⟩
Conference papers hal-01635018v1
Image document

Diagnosis of Higher-Order Discrete-Event Systems

Gianfranco Lamperti , Xiangfu Zhao
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.162-177
Conference papers hal-01506770v1