On the public citation graph
Failure diagnosis using discrete-event models
0 signed · 684 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-52148-8_11openalex-snapshot
MEC : a system for constructing and analysing transition systems
inferredcites →https://doi.org/10.1007/978-3-319-26695-4_67openalex-snapshot
Design of Thermal Systems
inferredcites →https://doi.org/10.1007/978-94-015-8300-8openalex-snapshot
Real Time Fault Monitoring of Industrial Processes
inferredcites →https://doi.org/10.1007/bf01441211openalex-snapshot
Diagnosability of discrete event systems and its applications
inferredcites →https://doi.org/10.1016/0004-3702(91)90112-wopenalex-snapshot
Modeling digital circuits for troubleshooting
inferredcites →https://doi.org/10.1016/0004-3702(91)90113-xopenalex-snapshot
Dynamic across-time measurement interpretation
inferredcites →https://doi.org/10.1016/0005-1098(76)90041-8openalex-snapshot
A survey of design methods for failure detection in dynamic systems
inferredcites →https://doi.org/10.1016/0005-1098(90)90018-dopenalex-snapshot
Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy
inferredcites →https://doi.org/10.1016/0026-2714(77)90326-2openalex-snapshot
A survey of design methods for failure detection in dynamic systems
inferredcites →https://doi.org/10.1016/0026-2714(77)90485-1openalex-snapshot
Computer aided synthesis of fault-trees
inferredcites →https://doi.org/10.1016/0098-1354(83)85021-2openalex-snapshot
Process computer alarm and disturbance analysis: review of the state of the art
inferredcites →https://doi.org/10.1016/0098-1354(87)80012-1openalex-snapshot
Model-based reasoning in diagnostic expert systems for chemical process plants
inferredcites →https://doi.org/10.1016/b978-0-934613-67-5.50012-5openalex-snapshot
Model-based Reasoning: Troubleshooting
inferredcites →https://doi.org/10.1080/00401706.1994.10485821openalex-snapshot
Detection of Abrupt Changes: Theory and Application
inferredcites →https://doi.org/10.1080/00986449008911492openalex-snapshot
QUALITATIVE MODELING AND FAULT DIAGNOSIS OF DYNAMIC PROCESSES BY MIDAS†
inferredcites →https://doi.org/10.1109/24.3738openalex-snapshot
On-line hazard aversion and fault diagnosis in chemical processes: the digraph+fault-tree method
inferredcites →https://doi.org/10.1109/24.52615openalex-snapshot
An automated methodology for generating a fault tree
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/9.412626openalex-snapshot
Diagnosability of discrete-event systems
inferredcites →https://doi.org/10.1109/9.57018openalex-snapshot
Observability of discrete event dynamic systems
inferredcites →https://doi.org/10.1109/acc.1994.751830openalex-snapshot
Time templates for discrete event fault monitoring in manufacturing systems
inferredcites →https://doi.org/10.1109/caia.1990.89165openalex-snapshot
Model-based, multiple fault diagnosis of time-varying, continuous physical devices
inferredcites →https://doi.org/10.1109/cdc.1988.194747openalex-snapshot
Fault detection and diagnosis of automated manufacturing systems
inferredcites →https://doi.org/10.1109/cdc.1993.325160openalex-snapshot
Design and test of mixed signal circuits: a discrete-event approach
inferredcites →https://doi.org/10.1109/cdc.1994.411307openalex-snapshot
Failure diagnosis using discrete event models
inferredcites →https://doi.org/10.1109/isic.1994.367815openalex-snapshot
Automated fault diagnosis using a discrete event systems framework
inferredcites →https://doi.org/10.1109/tr.1977.5215060openalex-snapshot
Computer-aided Synthesis of Fault-trees
inferredcites →https://doi.org/10.23919/acc.1991.4791933openalex-snapshot
A Relational Algebraic Approach to the Representation and Analysis of Discrete Event Systems
inferredcites →https://doi.org/10.2514/3.20366openalex-snapshot
Combining expert system and analytical redundancy concepts for fault-tolerant flight control
inferredcites →https://doi.org/10.7551/mitpress/1425.003.0019openalex-snapshot
Model-Based Reasoning: Troubleshooting
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4599463openalex-extracted
A Multi-Output Deep Learning Model for Fault Diagnosis Based on Time-Series Data
inferred← citeshttps://doi.org/10.1002/047134608x.w8406openalex-snapshot
Modeling and Control of Networked Discrete‐Event Systems
inferred← citeshttps://doi.org/10.1002/9781118558188.ch4openalex-snapshot
Fault Diagnosis of Timed Systems
inferred← citeshttps://doi.org/10.1002/asjc.1500openalex-snapshot
Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets
inferred← citeshttps://doi.org/10.1002/asjc.66openalex-snapshot
Diagnosability of fair discrete event systems
inferred← citeshttps://doi.org/10.1002/cem.3006openalex-snapshot
Understanding the importance of process alarms based on the analysis of deep recurrent neural networks trained for fault isolation
inferred← citeshttps://doi.org/10.1002/eng2.12060openalex-snapshot
Twin‐engined diagnosis of discrete‐event systems
inferred← citeshttps://doi.org/10.1002/spe.773openalex-snapshot
A diagnostic environment for automaton networks
inferred← citeshttps://doi.org/10.1002/tee.22001openalex-snapshot
Fault diagnosis in fixed‐block railway signaling systems: a discrete event systems approach
inferred← citeshttps://doi.org/10.1002/tee.22052openalex-snapshot
Decision‐making strategies in fixed‐block railway signaling systems: A discrete event systems approach
inferred← citeshttps://doi.org/10.1007/11424918_18openalex-snapshot
First Steps Towards Incremental Diagnosis of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/11538356_68openalex-snapshot
Fault Tolerant Supervisory for Discrete Event Systems Based on Event Observer
inferred← citeshttps://doi.org/10.1007/11803089_14openalex-snapshot
Fault Diagnosis with Dynamic Fuzzy Discrete Event System Approach
inferred← citeshttps://doi.org/10.1007/3-540-30368-5_17openalex-snapshot
Fault diagnosis with inference methods
inferred← citeshttps://doi.org/10.1007/3-540-44919-1_21openalex-snapshot
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_36openalex-snapshot
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_14openalex-snapshot
Fault Diagnosis for Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-45873-5_25openalex-snapshot
An Approach to Model-Based Diagnosis of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-34735-6_18openalex-snapshot
Symbolic Determinisation of Extended Automata
inferred← citeshttps://doi.org/10.1007/978-0-387-88775-3_14openalex-snapshot
Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework
inferred← citeshttps://doi.org/10.1007/978-1-4471-0543-5_5openalex-snapshot
Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-5058-9_59openalex-snapshot
Applications of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_59-1openalex-snapshot
Applications of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_59-2openalex-snapshot
Applications of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4612-0571-5_1openalex-snapshot
Discrete Event Systems: The State of the Art and New Directions
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_11openalex-snapshot
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_12openalex-snapshot
Efficient Timed Diagnosis Using Automata with Timed Domains
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_21openalex-snapshot
Diagnosis and Supervision: Model-Based Approaches
inferred← citeshttps://doi.org/10.1007/978-3-030-17728-7_13openalex-snapshot
Mode Detection and Fault Diagnosis in Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-29513-4_62openalex-snapshot
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-44184-5_59openalex-snapshot
Applications of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-70978-5_8openalex-snapshot
Generation of Test Plans for Fault Diagnosis with Untimed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-70978-5_9openalex-snapshot
Synthesis of Diagnostic Tests Based on Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-62316-5_14openalex-snapshot
Supporting Decision-Making in Diagnosis of Discrete-Event Systems by Model-Based Temporal Techniques
inferred← citeshttps://doi.org/10.1007/978-3-031-78750-8_1openalex-snapshot
Configuration Monitor Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-03524-6_3openalex-snapshot
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-15201-1_9openalex-snapshot
A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics
inferred← citeshttps://doi.org/10.1007/978-3-319-16766-4_10openalex-snapshot
Modeling of Mechanisms for Reconfigurable and Distributed Manufacturing Control System
inferred← citeshttps://doi.org/10.1007/978-3-319-22867-9_4openalex-snapshot
From Conception to Implementation of Reconfigurable and Distributed Manufacturing Control System
inferred← citeshttps://doi.org/10.1007/978-3-319-30599-8_5openalex-snapshot
Probabilistic Graphical Models for Fault Diagnosis in Complex Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-64119-5openalex-snapshot
Model-Based Safety and Assessment
inferred← citeshttps://doi.org/10.1007/978-3-319-64119-5_11openalex-snapshot
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies
inferred← citeshttps://doi.org/10.1007/978-3-319-68034-7_2openalex-snapshot
A Component-Oriented Framework for Autonomous Agents
inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_8openalex-snapshot
Diagnosis and Testing: How is Their Relation? Can They Be Combined?
inferred← citeshttps://doi.org/10.1007/978-3-319-74962-4_6openalex-snapshot
Active Diagnosis for Switched Systems Using Mealy Machine Modeling
inferred← citeshttps://doi.org/10.1007/978-3-319-74962-4_8openalex-snapshot
Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies
inferred← citeshttps://doi.org/10.1007/978-3-319-90089-6_13openalex-snapshot
From Soft Agents to Soft Component Automata and Back
inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_21openalex-snapshot
Symbolic Diagnosis of Partially Observable Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-31982-5_14openalex-snapshot
Fault Diagnosis Using Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-35653-0_7openalex-snapshot
Fault-tolerant control of continuous-variable systems
inferred← citeshttps://doi.org/10.1007/978-3-540-35653-0_9openalex-snapshot
Diagnosis and reconfiguration of quantised systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_1openalex-snapshot
Distributed Monitoring of Concurrent and Asynchronous Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_11openalex-snapshot
Event Correlation with Boxed Pomsets
inferred← citeshttps://doi.org/10.1007/978-3-540-74128-2_1openalex-snapshot
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-74949-3_6openalex-snapshot
Using DESs for Temporal Diagnosis of Multi-agent Plan Execution
inferred← citeshttps://doi.org/10.1007/978-3-540-85361-9_19openalex-snapshot
Unfolding-Based Diagnosis of Systems with an Evolving Topology
inferred← citeshttps://doi.org/10.1007/978-3-540-85563-7_64openalex-snapshot
A Procedure Ontology for Advanced Diagnosis of Process Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-01347-8_30openalex-snapshot
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations
inferred← citeshttps://doi.org/10.1007/978-3-642-19170-1_40openalex-snapshot
Design of Active Holonic Fault-Tolerant Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-19237-1_6openalex-snapshot
Diagnosability of Pushdown Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_13openalex-snapshot
Global State Estimates for Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_3openalex-snapshot
State Estimation and Fault Detection Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-24355-4_18openalex-snapshot
Error-Detection in Enterprise Application Integration Solutions
inferred← citeshttps://doi.org/10.1007/978-3-642-32891-6_35openalex-snapshot
Diagnosis of Internetware Systems Using Dynamic Description Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-35173-0_8openalex-snapshot
Applying Semantic Web Technologies for Diagnosing Road Traffic Congestions
inferred← citeshttps://doi.org/10.1007/978-3-642-38027-3_94openalex-snapshot
Toward Hybrid Model for Architecture-Oriented Semantic Schema of Self-adaptive System
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_17openalex-snapshot
A Causality Analysis Framework for Component-Based Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_22openalex-snapshot
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-05344-7_7openalex-snapshot
Fault-tolerant control of continuous-variable systems
inferred← citeshttps://doi.org/10.1007/978-3-662-05344-7_9openalex-snapshot
Diagnosis and reconfiguration of quantised systems
inferred← citeshttps://doi.org/10.1007/978-3-7091-1387-5_2openalex-snapshot
The System Design Life Cycle
inferred← citeshttps://doi.org/10.1007/978-981-15-5925-9_5openalex-snapshot
Conservative Determinization of Translated Automata by Embedded Subset Construction
inferred← citeshttps://doi.org/10.1007/978-981-15-5925-9_6openalex-snapshot
Explanatory Monitoring of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-981-16-2765-1_42openalex-snapshot
Diagnosis of Active Systems with Abstract Observability
inferred← citeshttps://doi.org/10.1007/978-981-97-7419-7_6openalex-snapshot
Diagnosis of Active Systems with Candidate Priority
inferred← citeshttps://doi.org/10.1007/978-981-99-7869-4_14openalex-snapshot
A Diagnostic Model Generation Method Based on Clustering
inferred← citeshttps://doi.org/10.1007/bfb0110382openalex-snapshot
Introduction to discrete event systems
inferred← citeshttps://doi.org/10.1007/s00165-021-00532-9openalex-snapshot
Model-based Safety Assessment of a Triple Modular Generator with xSAP
inferred← citeshttps://doi.org/10.1007/s00170-012-4239-4openalex-snapshot
Sensor location optimization for fault diagnosis with a comparison to linear programming approaches
inferred← citeshttps://doi.org/10.1007/s10009-021-00606-2openalex-snapshot
Diagnosing timed automata using timed markings
inferred← citeshttps://doi.org/10.1007/s10458-008-9045-xopenalex-snapshot
Primary and secondary diagnosis of multi-agent plan execution
inferred← citeshttps://doi.org/10.1007/s10472-009-9165-2openalex-snapshot
A representation for coordination fault detection in large-scale multi-agent systems
inferred← citeshttps://doi.org/10.1007/s10626-005-2866-8openalex-snapshot
Modular Fault Diagnosis Based on Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/s10626-005-5238-5openalex-snapshot
Distributed Monitoring of Concurrent and Asynchronous Systems*
inferred← citeshttps://doi.org/10.1007/s10626-006-0001-0openalex-snapshot
Trellis Processes : A Compact Representation for Runs of Concurrent Systems
inferred← citeshttps://doi.org/10.1007/s10626-006-0006-8openalex-snapshot
Diagnosis of Discrete Event Systems Using Decentralized Architectures
inferred← citeshttps://doi.org/10.1007/s10626-006-6177-5openalex-snapshot
Diagnosability of Discrete Event Systems with Modular Structure
inferred← citeshttps://doi.org/10.1007/s10626-006-6178-4openalex-snapshot
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
inferred← citeshttps://doi.org/10.1007/s10626-006-9325-zopenalex-snapshot
Centralized Modular Diagnosis and the Phenomenon of Coupling
inferred← citeshttps://doi.org/10.1007/s10626-007-0022-3openalex-snapshot
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models
inferred← citeshttps://doi.org/10.1007/s10626-008-0044-5openalex-snapshot
Diagnosability Analysis of a Class of Hierarchical State Machines
inferred← citeshttps://doi.org/10.1007/s10626-009-0060-0openalex-snapshot
State Observer for DES Under Partial Observation with Time Petri Nets
inferred← citeshttps://doi.org/10.1007/s10626-009-0077-4openalex-snapshot
Fairness of Transitions in Diagnosability of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/s10626-009-0084-5openalex-snapshot
Prognosis of ω-Languages for the Diagnosis of *-Languages: A Topological Perspective
inferred← citeshttps://doi.org/10.1007/s10626-012-0129-zopenalex-snapshot
Computation of minimal event bases that ensure diagnosability
inferred← citeshttps://doi.org/10.1007/s10626-012-0149-8openalex-snapshot
State estimation and detection of changes in time interval models
inferred← citeshttps://doi.org/10.1007/s10626-014-0197-3openalex-snapshot
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
inferred← citeshttps://doi.org/10.1007/s10626-017-0255-8openalex-snapshot
Diagnosability of repairable faults
inferred← citeshttps://doi.org/10.1007/s10626-017-0260-yopenalex-snapshot
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
inferred← citeshttps://doi.org/10.1007/s10626-017-0265-6openalex-snapshot
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
inferred← citeshttps://doi.org/10.1007/s10626-018-0268-yopenalex-snapshot
Detectability of networked discrete event systems
inferred← citeshttps://doi.org/10.1007/s10626-020-00324-yopenalex-snapshot
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
inferred← citeshttps://doi.org/10.1007/s10626-022-00360-wopenalex-snapshot
Diagnosability verification using LTL model checking
inferred← citeshttps://doi.org/10.1007/s10626-026-00444-xopenalex-snapshot
Current-State opacity based on state outputs: definition and verification
inferred← citeshttps://doi.org/10.1007/s10845-009-0291-9openalex-snapshot
DeviceNet network health monitoring using physical layer parameters
inferred← citeshttps://doi.org/10.1007/s10845-016-1219-9openalex-snapshot
On-line fault diagnosis of FMS based on flows analysis
inferred← citeshttps://doi.org/10.1007/s11241-010-9103-8openalex-snapshot
SetExp: a method of transformation of timed automata into finite state automata
inferred← citeshttps://doi.org/10.1007/s11334-006-0015-7openalex-snapshot
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
inferred← citeshttps://doi.org/10.1007/s11334-007-0032-1openalex-snapshot
Formal approach to fault diagnosis in distributed discrete event systems with OBDD
inferred← citeshttps://doi.org/10.1007/s11334-022-00502-1openalex-snapshot
Component level diagnosability of discrete event systems based on observations
inferred← citeshttps://doi.org/10.1007/s11432-015-0897-0openalex-snapshot
Model-based diagnosis of incomplete discrete-event system with rough set theory
inferred← citeshttps://doi.org/10.1007/s11768-019-7298-3openalex-snapshot
Diagnosability of a class of discrete event systems based on observations
inferred← citeshttps://doi.org/10.1007/s12555-016-0292-3openalex-snapshot
Relative diagnosability of discrete-event systems and its opacity-based test algorithm
inferred← citeshttps://doi.org/10.1007/s12555-021-0215-9openalex-snapshot
Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings
inferred← citeshttps://doi.org/10.1016/b978-008044485-7/50166-4openalex-snapshot
Faults Detection and Isolation for Non Linear Hybrid Systems
inferred← citeshttps://doi.org/10.1016/b978-008044485-7/50218-9openalex-snapshot
Efficient On-Line Failure Identification for Discrete-Event Systems11This research was supported by National ICT Australia (NICTA) in the framework of the SuperCom project (Model-Based Supervision of Composite Systems). NICTA is funded through the Australian Government’s Backing Australia’s…
inferred← citeshttps://doi.org/10.1016/b978-008044485-7/50245-1openalex-snapshot
Predictability in Discrete-Event Systems Under Partial Observation11This research is supported in part by NSF grant CCR- 0325571 and by ONR grant N00014–03-1–0232. The first author wishes to acknowledge support from a Barbour Fellowship from the Horace H. Rackham School of Graduate Studies at the…
inferred← citeshttps://doi.org/10.1016/b978-008044485-7/50246-3openalex-snapshot
Remote Diagnosis of Discrete-Event Systems with On-Board and Off-Board Components
inferred← citeshttps://doi.org/10.1016/b978-008044654-7/50188-6openalex-snapshot
Watchdog — A practical approach of fault detection
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2006.01.001openalex-snapshot
Trends in systems and signals
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.09.009openalex-snapshot
Overview of fault diagnosis methods for Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2016.04.015openalex-snapshot
Overview of discrete event systems opacity: Models, validation, and quantification
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.04.002openalex-snapshot
On the history of diagnosability and opacity in discrete event systems
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2021.03.005openalex-snapshot
Fault prognosis of discrete event systems: An overview
inferred← citeshttps://doi.org/10.1016/j.artint.2005.08.002openalex-snapshot
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
inferred← citeshttps://doi.org/10.1016/j.artint.2014.01.003openalex-snapshot
An event-based distributed diagnosis framework using structural model decomposition
inferred← citeshttps://doi.org/10.1016/j.autcon.2012.04.002openalex-snapshot
Modeling of active holonic control systems for intelligent buildings
inferred← citeshttps://doi.org/10.1016/j.automatica.2005.03.017openalex-snapshot
Safe diagnosability for fault-tolerant supervision of discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2008.06.022openalex-snapshot
Predictability of event occurrences in partially-observed discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2010.06.013openalex-snapshot
Fault detection for discrete event systems using Petri nets with unobservable transitions
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.01.002openalex-snapshot
Opacity of discrete event systems and its applications
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.01.007openalex-snapshot
Active fault tolerant control of discrete event systems using online diagnostics
inferred← citeshttps://doi.org/10.1016/j.automatica.2012.06.039openalex-snapshot
On K -diagnosability of Petri nets via integer linear programming
inferred← citeshttps://doi.org/10.1016/j.automatica.2017.06.004openalex-snapshot
N -diagnosability for active on-line diagnosis in discrete event systems
inferred← citeshttps://doi.org/10.1016/j.ces.2014.03.028openalex-snapshot
Automata generated test plans for fault diagnosis in sequential material- and energy-transfer operations
inferred← citeshttps://doi.org/10.1016/j.cherd.2011.05.007openalex-snapshot
An automaton-based approach to evaluate and improve online diagnosis schemes for multi-failure scenarios in batch chemical processes
inferred← citeshttps://doi.org/10.1016/j.cie.2019.106188openalex-snapshot
A novel automata and neural network based fault diagnosis system for PLC controlled manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.cirp.2018.04.021openalex-snapshot
Resilient architecture for cyber-physical production systems
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2010.10.003openalex-snapshot
Fault diagnosis with automata generated languages
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2015.08.007openalex-snapshot
Timed-automata based method for synthesizing diagnostic tests in batch processes
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2012.05.015openalex-snapshot
Diagnosability of discrete event systems for temporary failures
inferred← citeshttps://doi.org/10.1016/j.compind.2021.103473openalex-snapshot
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge
inferred← citeshttps://doi.org/10.1016/j.conengprac.2005.03.028openalex-snapshot
Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem
inferred← citeshttps://doi.org/10.1016/j.conengprac.2006.02.008openalex-snapshot
Design of user-interface without automation surprises for discrete event systems
inferred← citeshttps://doi.org/10.1016/j.conengprac.2010.12.010openalex-snapshot
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.conengprac.2011.02.008openalex-snapshot
The concept of residuals for fault localization in discrete event systems
inferred← citeshttps://doi.org/10.1016/j.conengprac.2022.105168openalex-snapshot
An effective approach for fault diagnosis of Discrete-Event Systems modeled as safe labeled Petri nets
inferred← citeshttps://doi.org/10.1016/j.enbuild.2021.111709openalex-snapshot
Distributed Diagnosis of Sensor and Actuator Faults in Air Handling Units in Multi-Zone Buildings: A Model-Based Approach
inferred← citeshttps://doi.org/10.1016/j.engappai.2016.03.008openalex-snapshot
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems
inferred← citeshttps://doi.org/10.1016/j.eswa.2023.121753openalex-snapshot
Fusing logic rule-based hybrid variable graph neural network approaches to fault diagnosis of industrial processes
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.473openalex-snapshot
Enforcing Diagnosability in Interpreted Petri Nets
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.481openalex-snapshot
Sliding Mode Diagnosers for Leakage Faults on Timed Continuous Petri Nets
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.09.518openalex-snapshot
A Comprehensive Diagnosis of Hybrid Systems for Discrete and Parametric Faults Using Hybrid I/O Automata
inferred← citeshttps://doi.org/10.1016/j.ifacol.2016.07.077openalex-snapshot
Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.214openalex-snapshot
Diagnosability improvement of dynamic clustering through automatic learning of discrete event models
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.670openalex-snapshot
From Diagnosability to Opacity: A Brief History of Diagnosability or Lack Thereof
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.921openalex-snapshot
DES based Modeling and Fault Diagnosis in Safety-critical Semi-Partitioned Real-time Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.09.003openalex-snapshot
Partially observed discrete-event systems: from state estimation to intrusion detection
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.325openalex-snapshot
Detection of cyber-attacks in network control planes using Hidden Markov Model
inferred← citeshttps://doi.org/10.1016/j.ifacol.2023.10.266openalex-snapshot
Fault Diagnosis of Timed Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.004openalex-snapshot
Current-State Opacity Based on State Outputs
inferred← citeshttps://doi.org/10.1016/j.ins.2006.08.004openalex-snapshot
Fault diagnosis in discrete time hybrid systems – A case study
inferred← citeshttps://doi.org/10.1016/j.ins.2007.09.009openalex-snapshot
Diagnosability of fuzzy discrete event systems
inferred← citeshttps://doi.org/10.1016/j.ins.2011.08.023openalex-snapshot
A new algorithm for testing diagnosability of fuzzy discrete event systems
inferred← citeshttps://doi.org/10.1016/j.ins.2011.11.008openalex-snapshot
From classic observability to a simple fuzzy observability for fuzzy discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.ins.2016.05.020openalex-snapshot
Deadlock analysis and control in resource allocation systems
inferred← citeshttps://doi.org/10.1016/j.ins.2020.04.027openalex-snapshot
State-based fault diagnosis of discrete-event systems with partially observable outputs
inferred← citeshttps://doi.org/10.1016/j.isatra.2007.03.002openalex-snapshot
Diagnosis of delay–deadline failures in real time discrete event models
inferred← citeshttps://doi.org/10.1016/j.jcss.2016.04.007openalex-snapshot
Optimal constructions for active diagnosis
inferred← citeshttps://doi.org/10.1016/j.jestch.2015.04.006openalex-snapshot
Failure diagnosis in real time stochastic discrete event systems
inferred← citeshttps://doi.org/10.1016/j.jss.2011.10.048openalex-snapshot
A proposal to detect errors in Enterprise Application Integration solutions
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110432openalex-snapshot
Graph-based root cause analysis for service-oriented and microservice architectures
inferred← citeshttps://doi.org/10.1016/j.knosys.2010.12.002openalex-snapshot
Maximal-confirmation diagnoses
inferred← citeshttps://doi.org/10.1016/j.matcom.2005.11.003openalex-snapshot
A distributed approach for fault detection and diagnosis based on Time Petri Nets
inferred← citeshttps://doi.org/10.1016/j.procs.2020.08.054openalex-snapshot
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems
inferred← citeshttps://doi.org/10.1016/j.procs.2021.08.042openalex-snapshot
Fixing Nondeterminism in Large Discrete-Event Knowledge
inferred← citeshttps://doi.org/10.1016/j.procs.2024.09.466openalex-snapshot
Smart Diagnosis of Active Systems
inferred← citeshttps://doi.org/10.1016/j.procs.2025.07.103openalex-snapshot
Timely Diagnosis of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1016/j.ress.2009.11.007openalex-snapshot
Fault diagnosis for discrete event systems: Modelling and verification
inferred← citeshttps://doi.org/10.1016/j.riai.2014.02.003openalex-snapshot
Diagnóstico de Sistemas de Eventos Discretos Controlados: Un Enfoque Basado en Crónicas y Análisis Modular Usando Modelos de Autómatas
inferred← citeshttps://doi.org/10.1016/j.riai.2016.01.002openalex-snapshot
Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos
inferred← citeshttps://doi.org/10.1016/j.scico.2019.08.001openalex-snapshot
Soft component automata: Composition, compilation, logic, and verification
inferred← citeshttps://doi.org/10.1016/j.sysconle.2007.03.006openalex-snapshot
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
inferred← citeshttps://doi.org/10.1016/j.tcs.2020.06.010openalex-snapshot
Causality analysis and fault ascription in component-based systems
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00123-6openalex-snapshot
Diagnosis of discrete-event systems from uncertain temporal observations
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00292-8openalex-snapshot
Process algebras for systems diagnosis
inferred← citeshttps://doi.org/10.1016/s0167-8655(00)00127-6openalex-snapshot
A fuzzy temporal notation and its application to specify fault patterns for diagnosis
inferred← citeshttps://doi.org/10.1016/s0967-0661(97)00051-8openalex-snapshot
Fault-tolerant control systems — A holistic view
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30738-3openalex-snapshot
Hierarchical distributed diagnosis under global consistency
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)34408-7openalex-snapshot
Fault Detection of a Diesel Injection System by Qualitative Modelling
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36607-7openalex-snapshot
Discrete Event System Diagnosis Using Parameter Estimation Methods
showing the first 200 of 654 · page through all 654
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.