Diagnosis and Automata

DOI10.1007/978-1-4471-4276-8_5zbMath1304.93068OpenAlexW2110629113MaRDI QIDQ5496923

Eric Fabre

Publication date: 29 January 2015

Published in: Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-4276-8_5

Mathematics Subject Classification ID

Estimation and detection in stochastic control theory (93E10) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80) Stochastic systems in control theory (general) (93E03) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Distributed monitoring of concurrent and asynchronous systems
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• On the Determinization of Weighted Finite Automata
• Diagnosability Analysis of Discrete Event Systems with Autonomous Components
• GENERIC ∊-REMOVAL AND INPUT ∊-NORMALIZATION ALGORITHMS FOR WEIGHTED TRANSDUCERS
• Introduction to Discrete Event Systems
• Efficient Computation of the Relative Entropy of Probabilistic Automata
• Diagnosability of discrete-event systems
• Weighted Automata Algorithms
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of stochastic discrete-event systems

This page was built for publication: Diagnosis and Automata