The on-line diagnosis of time Petri nets
From MaRDI portal
Publication:5496935
DOI10.1007/978-1-4471-4276-8_17zbMATH Open1304.93050OpenAlexW69929425MaRDI QIDQ5496935FDOQ5496935
Authors: George Jiroveanu, R. 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
Recommendations
Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)
Cites Work
- Formal Modeling and Analysis of Timed Systems
- Time processes for time Petri nets
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Title not available (Why is that?)
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Distributed diagnosis of discrete-event systems using Petri nets
- Foundations of Software Science and Computational Structures
- State space computation and analysis of Time Petri Nets
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Model checking using net unfoldings
- The extended linear complementarity problem
- Fault diagnosis for timed automata
- State observer for DES under partial observation with time Petri nets
Cited In (9)
- On-Line Fault Diagnosis With Partially Observed Petri Nets
- Study on event correlation detecting mechanism based on time Petri nets
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Title not available (Why is that?)
- Diagnosis Using Unfoldings of Parametric Time Petri Nets
- A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services
- Failure detection and localization for timed event graphs in \((\max,+)\)-algebra
- Continuous Petri nets: observability and diagnosis
- An extremum timed extended reachability graph for temporal analysis of time Petri nets
This page was built for publication: The on-line diagnosis of time Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496935)
