The On-Line Diagnosis of Time Petri Nets

DOI10.1007/978-1-4471-4276-8_17zbMath1304.93050OpenAlexW69929425MaRDI QIDQ5496935

George Jiroveanu, René K. Boel

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_17

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)

Related Items (1)

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

Cites Work

• Unnamed Item
• State observer for DES under partial observation with time Petri nets
• Model checking using net unfoldings
• The extended linear complementarity problem
• A distributed approach for fault detection and diagnosis based on time Petri nets
• Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
• Diagnosability of discrete-event systems
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Fault Diagnosis for Timed Automata
• State space computation and analysis of Time Petri Nets
• Foundations of Software Science and Computational Structures
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: The On-Line Diagnosis of Time Petri Nets