Research graph
References from Failure diagnosis in real time stochastic discrete event systems. Local targets link to admitted publications; unresolved targets remain external evidence.
IDS for ARP spoofing using LTL based discrete event system framework
10.1007/s13119-013-0019-1 · 2013 · External reference
A formal approach to on-line monitoring of digital VLSI circuits: theory, design and implementation
10.1007/s10836-005-1139-7 · 2005 · External reference
Diagnosability analysis of hybrid systems cast in a discrete-event framework
10.1007/s10626-012-0153-z · 2014 · External reference
Analysis and verification of the diagnosability of hybrid systems
2014 · External reference
Diagnosability of discrete-event systems
10.1109/9.412626 · 1995 · External reference
Fault diagnosis in discrete-event systems: framework and model reduction
10.1109/tac.2003.814099 · 2003 · External reference
Modelling and diagnosis of timed discrete event systems: a factory automation example
1997 · External reference
Fault diagnosis in discrete-event systems: incorporating timing information
10.1109/tac.2005.851444 · 2005 · External reference
Diagnosis of a class of timed discrete event systems
2006 · External reference
Diagnosis of delay-deadline failures in real time discrete event models
10.1016/j.isatra.2007.03.002 · 2007 · External reference
Decentralized control of discrete event systems with multiple local specifications
10.1109/tase.2009.2025865 · 2010 · External reference
Diagnosability analysis for self-observed distributed discrete event systems
2012 · External reference
A Petri Net approach to fault detection and diagnosis in distributed systems (Part 1 and Part 2)
1997 · External reference
Diagnosis of asynchronous discrete event systems, a net unfolding approach
10.1109/tac.2003.811249 · 2003 · External reference
Fault detection based on Petri Net models with faulty behaviors
1998 · External reference
A Petri Net diagnoser for discrete event systems modeled by finite state automata
10.1109/tac.2014.2332238 · 2015 · External reference
Diagnosability of bounded petri nets
2009 · External reference
Diagnosability of discrete-event systems using labeled Petri Nets
10.1109/tase.2013.2289360 · 2014 · External reference
A new approach for diagnosability analysis of Petri Nets using Verifier Nets
10.1109/tac.2012.2200372 · 2012 · External reference
Fault diagnosis of manufacturing systems using continuous Petri Nets
2010 · External reference
Fault diagnosis of discrete-event systems using continuous petri nets
2012 · External reference
Diagnosability of stochastic discrete-event systems
10.1109/tac.2005.844722 · 2005 · External reference
A framework for real-time discrete event control
10.1109/9.52290 · 1990 · External reference
Diagnosis of discrete event system by stochastic timed automata
2006 · External reference
A framework for inferential problems in DEDS(ii). state observation
2000 · External reference
Deciding properties of timed transition models
10.1109/71.80145 · 1990 · External reference
On finding the strongly connected components in a directed graph
10.1016/0020-0190(94)90047-7 · 1994 · External reference
Failure diagnosis using discrete-event models
10.1109/87.486338 · 1996 · External reference
Unresolved reference
2000 · External reference
Diagnosis of intermittent faults
10.1023/b:disc.0000018570.20941.d2 · 2004 · External reference
Intermittent fault diagnosis: a diagnoser derived from the normal behavior
2007 · External reference
Diagnosability of discrete event systems for temporary failures
10.1016/j.compeleceng.2012.05.015 · 2012 · External reference
A polynomial algorithm for testing diagnosability of discrete-event systems
10.1109/9.940942 · 2001 · External reference
Polynomial test for stochastic diagnosability of discrete event systems
2012 · External reference
