Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
Diagnosis of Active Systems by Automata-Based Reasoning Techniques
Applied Intelligence
Process algebras for systems diagnosis
Artificial Intelligence
Fault Diagnosis for Timed Automata
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Diagnosis of single and multi-agent plans
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
A distributed approach for fault detection and diagnosis based on time Petri nets
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
A diagnostic environment for automaton networks
Software—Practice & Experience
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Discrete Event Dynamic Systems
Trellis Processes: A Compact Representation for Runs of Concurrent Systems
Discrete Event Dynamic Systems
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
An introduction to model-based systems
AI Communications - Model-Based Systems
On-Line Monitoring of Large Petri Net Models Under Partial Observation
Discrete Event Dynamic Systems
Using DESs for Temporal Diagnosis of Multi-agent Plan Execution
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Diagnosis of Plan Structure Violations
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
Discrete Event Dynamic Systems
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A spectrum of symbolic on-line diagnosis approaches
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
Artificial Intelligence
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A distributed approach for fault detection and diagnosis based on Time Petri Nets
Mathematics and Computers in Simulation
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A Decentralised Symbolic Diagnosis Approach
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Dynamic theorem proving algorithm for consistency-based diagnosis
Expert Systems with Applications: An International Journal
Challenges of distributed model-based diagnosis
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Maximal-confirmation diagnoses
Knowledge-Based Systems
Automata slicing for diagnosing discrete-event systems with partially ordered observations
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
First steps towards incremental diagnosis of discrete-event systems
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
A discrete-event model of asynchronous quantised systems
Automatica (Journal of IFAC)
Context-sensitive diagnosis of discrete-event systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning on partially-ordered observations in online diagnosis of DESs
AI Communications
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
An event-based distributed diagnosis framework using structural model decomposition
Artificial Intelligence
Hi-index | 0.00 |