Recommendations
- Foundations of Software Science and Computational Structures
- Fault localization of timed automata using maximum satisfiability
- The complexity of codiagnosability for discrete event and timed systems
- Diagnosis of timed patterns for discrete event systems by means of state isolation
- scientific article; zbMATH DE number 2102690
Cited in
(39)- Estimating the latent time of fault detection in finite automaton tested in real time
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Symbolic synthesis of masking fault-tolerant distributed programs
- Fault localization of timed automata using maximum satisfiability
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Failure detection and localization for timed event graphs in (,+)-algebra
- Detectability of labeled weighted automata over monoids
- Dynamic data structures for timed automata acceptance
- Diagnosability of fair transition systems
- State estimation of max-plus automata with unobservable events
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- The complexity of automated addition of fault-tolerance without explicit legitimate states
- A brief account of runtime verification
- Template languages for fault monitoring of timed discrete event processes
- scientific article; zbMATH DE number 1903354 (Why is no real title available?)
- A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services
- The complexity of codiagnosability for discrete event and timed systems
- Secure diagnosability of hybrid dynamical systems
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Discrete-event systems fault diagnosis
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Fault diagnosis in discrete-event systems: incorporating timing information
- scientific article; zbMATH DE number 7056237 (Why is no real title available?)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- The on-line diagnosis of time Petri nets
- Foundations of Software Science and Computational Structures
- Automated repair for timed systems
- Diagnosis of timed patterns for discrete event systems by means of state isolation
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- On the verification of detectability for timed discrete event systems
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- State estimation for constant-time labeled automata under dense time
- An approximation-based incremental SMT approach for diagnosability analysis of real-time systems
- Polynomial-time verification of pattern diagnosability for timed discrete event systems
- An optimal pastification algorithm for \(\mathsf{LTL} \lbrack \mathsf{X}, \mathsf{F} \rbrack\) and \(\mathsf{LTL} \lbrack \mathsf{X}, \mathsf{G} \rbrack \)
- Observer design and opacity verification for a class of timed automata
- State observer for DES under partial observation with time Petri nets
- Conformance testing for real-time systems
This page was built for publication: Fault diagnosis for timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5392291)
