Abstract is missing.
- A Learning Algorithm for EpisodesTom Obry. 1-11 [doi]
- Secure state estimation for Cyber-Physical SystemsGabriella Fiore. 12-20 [doi]
- A combined model-based and data-driven approach for monitoring smart buildingsHamed Khorasgani, Gautam Biswas. 21-36 [doi]
- An Algebraic Approach for Diagnosing Discrete-Time Hybrid SystemsGregory M. Provan. 37-51 [doi]
- An Experimental Comparison of Three Diagnosis Techniques for Discrete Event SystemsAbderraouf Boussif, Baisi Liu, Mohamed Ghazel. 52-64 [doi]
- An improved diagnostic method for probabilistic consistency-based diagnosisMarcos Luiz de Paula Bueno, Arjen Hommersom, Peter J. F. Lucas. 65-77 [doi]
- Asymmetric Diagnosability Analysis of Discrete-Event SystemsMarina Zanella. 78-93 [doi]
- Autonomous vehicle traction subsystem modeling and diagnosis using BG-PCsCarlos J. Alonso-González, Aníbal Bregón, Belarmino Pulido, Matías A. Nacusse, Sergio J. Junco. 94-109 [doi]
- Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant ControlYves Sohege, Gregory M. Provan. 110-123 [doi]
- Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability AnalysisHadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. 124-143 [doi]
- Decentralized Diagnosis of Discrete Event Systems Using an Arborescent ArchitectureAhmed Khoumsi. 144-158 [doi]
- Diagnosing Alternative FactsJohan de Kleer, Matthew Klenk, Alexander Feldman. 159-168 [doi]
- Diagnosing Discrete Event Systems Using Nominal Models OnlyYannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès. 169-183 [doi]
- Diagnosis of supervision patterns on bounded labeled Petri nets by Model CheckingYannick Pencolé, Audine Subias. 184-199 [doi]
- Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based DiagnosisPatrick Rodler, Wolfgang Schmid, Konstantin Schekotihin. 200-218 [doi]
- Inference of fault signatures of discrete-event systems from event logsCody James Christopher, Yannick Pencolé, Alban Grastien. 219-233 [doi]
- Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysisXavier Pucel, Stéphanie Roussel. 234-247 [doi]
- Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis ModelIngo Pill, Franz Wotawa. 248-263 [doi]
- On Active Learning Strategies for Sequential DiagnosisPatrick Rodler. 264-283 [doi]
- Reducing Model-Based Diagnosis to Knowledge Base DebuggingPatrick Rodler, Konstantin Schekotihin. 284-296 [doi]
- The qSafe Project - Developing a Tool for Current Practice in Functional Safety AnalysisFlorian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss, Jana von Wedel. 297-312 [doi]