Failure detection and localization for timed event graphs in \((\max,+)\)-algebra

DOI10.1007/s10626-020-00329-7zbMath1480.93265OpenAlexW3185422126MaRDI QIDQ2063096

Yannick Pencolé, Euriell Le Corronc, Alexandre Sahuguède, Claire Paya

Publication date: 10 January 2022

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-020-00329-7

zbMATH Keywords

toolbox\((\max,+)\)-linear systemsdioid and residuation theory

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• State observer for DES under partial observation with time Petri nets
• On the determinization of timed systems
• Interval analysis and dioid: application to robust controller design for timed event graphs
• Lattices and ordered algebraic structures
• Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
• Modelling and hierarchical diagnosis of timed discrete-event systems
• On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets
• Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
• Diagnosability Analysis of Labeled Time Petri Net Systems
• Fault Diagnosis for Timed Automata
• The On-Line Diagnosis of Time Petri Nets
• Foundations of Software Science and Computational Structures
• Idempotent interval analysis and optimization problems

This page was built for publication: Failure detection and localization for timed event graphs in \((\max,+)\)-algebra