Xiangfu Zhao

Xiangrong Tong

Proceedings of the 13th International Congress on Image and Signal Processing, 2020

2019

Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2019

2018

LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2018

Computing all minimal hitting sets by subset recombination.

[BibT_eX]

[DOI]

Liming Zhang

Appl. Intell., 2018

Abductive Diagnosis of Complex Active Systems with Compiled Knowledge.

[BibT_eX]

[DOI]

Marina Zanella

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

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

[BibT_eX]

[DOI]

Marina Zanella

Proceedings of the Machine Learning and Knowledge Extraction, 2018

Introduction to Diagnosis of Active Systems

[BibT_eX]

[DOI]

Marina Zanella

Springer, ISBN: 978-3-319-92731-2, 2018

2017

Exploration of baking temperature effects on 28 nm BEOL reliability.

[BibT_eX]

[DOI]

Wei-Ting Kary Chien

Microelectron. Reliab., 2017

Decremental Subset Construction.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017), 2017

The DAO attack paradoxes in propositional logic.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Systems and Informatics, 2017

2016

Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2016

Viable diagnosis of complex active systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Deriving all minimal hitting-sets by merging.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information and Automation, 2016

Diagnosis of Complex Active Systems with Uncertain Temporal Observations.

[BibT_eX]

[DOI]

Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

2015

Deriving All Minimal Hitting Sets Based on Join Relation.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2015

2014

Diagnosis of Active Systems by Semantic Patterns.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2014

A Fast Simple Optical Flow Computation Approach Based on the 3-D Gradient.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., 2014

2013

Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Diagnosis of Higher-Order Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Availability, Reliability, and Security in Information Systems and HCI, 2013

2012

Reasoning on partially-ordered observations in online diagnosis of DESs.

[BibT_eX]

[DOI]

AI Commun., 2012

2010

A New Classification Algorithm Using Mutual Nearest Neighbors.

[BibT_eX]

[DOI]

Proceedings of the GCC 2010, 2010

2008

On-line diagnosis of discrete event systems with two successive temporal windows.

[BibT_eX]

[DOI]

AI Commun., 2008

An extended hierarchical framework for definitions of diagnosability of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2008

A complete approach to identify conflict sets based on ATMS.

[BibT_eX]

[DOI]

Yu Jiao

Proceedings of the IEEE International Conference on Systems, 2008

On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008

Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis.

[BibT_eX]

[DOI]