Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th DX 2017: Brescia, Italy
- Marina Zanella, Ingo Pill, Alessandro Cimatti:
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 - Tom Obry:
A Learning Algorithm for Episodes. 1-11 - Gabriella Fiore:
Secure state estimation for Cyber-Physical Systems. 12-20 - Hamed Khorasgani, Gautam Biswas:
A combined model-based and data-driven approach for monitoring smart buildings. 21-36 - Gregory M. Provan:
An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. 37-51 - Abderraouf Boussif, Baisi Liu, Mohamed Ghazel:
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. 52-64 - Marcos Luiz de Paula Bueno, Arjen Hommersom, Peter J. F. Lucas:
An improved diagnostic method for probabilistic consistency-based diagnosis. 65-77 - Marina Zanella:
Asymmetric Diagnosability Analysis of Discrete-Event Systems. 78-93 - Carlos J. Alonso-González, Aníbal Bregón
, Belarmino Pulido, Matías A. Nacusse, Sergio J. Junco:
Autonomous vehicle traction subsystem modeling and diagnosis using BG-PCs. 94-109 - Yves Sohege, Gregory M. Provan:
Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. 110-123 - Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois:
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. 124-143 - Ahmed Khoumsi:
Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture. 144-158 - Johan de Kleer, Matthew Klenk, Alexander Feldman:
Diagnosing Alternative Facts. 159-168 - Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès:
Diagnosing Discrete Event Systems Using Nominal Models Only. 169-183 - Yannick Pencolé, Audine Subias:
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. 184-199 - Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin:
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. 200-218 - Cody James Christopher, Yannick Pencolé, Alban Grastien:
Inference of fault signatures of discrete-event systems from event logs. 219-233 - Xavier Pucel, Stéphanie Roussel:
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis. 234-247 - Ingo Pill, Franz Wotawa:
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. 248-263 - Patrick Rodler:
On Active Learning Strategies for Sequential Diagnosis. 264-283 - Patrick Rodler, Konstantin Schekotihin:
Reducing Model-Based Diagnosis to Knowledge Base Debugging. 284-296 - Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss, Jana von Wedel:
The qSafe Project - Developing a Tool for Current Practice in Functional Safety Analysis. 297-312
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
