共 50 条
- [1] Model-based diagnosis of hybrid systems [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (03): : 348 - 361
- [4] Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 1452 - 1459
- [5] Model-based development for hybrid systems [J]. WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 7, 2005, : 53 - 58
- [6] An algebraic approach to model-based diagnosis [J]. MODEL-BASED REASONING IN SCIENCE, TECHNOLOGY, AND MEDICINE, 2007, 64 : 467 - +
- [8] Model-Based Mutation Testing of Hybrid Systems [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 228 - 249
- [9] A model-based approach to robot fault diagnosis [J]. APPLICATIONS AND INNOVATIONS IN INTELLIGENT SYSTEMS XII, PROCEEDINGS, 2005, : 137 - 150