|
|
On automated generation of Diagnosers in Fault tolerant Service oriented Architectures
– Mohammed Alodib, Behzad Bordbar, Basim Majeed
- 2009
|
|
|
Deterministic Automaton with Unobservable Event
– Mohammed Alodib, Behzad Bordbar, Basim Majeed
|
|
4
|
A QUALITATIVE EVENT-BASED APPROACH TO FAULT DIAGNOSIS OF HYBRID SYSTEMS
– Matthew J. Daigle
- 2008
|
|
22
|
Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications
– Shengbing Jiang, Ratnesh Kumar
- 2001
|
|
19
|
Distributed monitoring of concurrent and asynchronous systems
– Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard
- 2005
|
|
|
Predictability of Event Occurrences in Partially-Observed Discrete-Event Systems 1
– Sahika Genc, Stéphane Lafortune
|
|
3
|
A qualitative event-based approach to continuous systems diagnosis
– Matthew J. Daigle, Xenofon D. Koutsoukos, Senior Member, Gautam Biswas, Senior Member
|
|
|
Decentralized/distributed failure diagnosis and supervisory control of discrete event systems
– Wenbin Qiu
- 2005
|
|
2
|
On diagnosis and predictability of partially-observed discreteevent systems
– Sahika Genc
- 2006
|
|
|
Distributed Non-Concurrent Fault Identification in Discrete Event Systems
– Yingquan Wu, Christoforos N. Hadjicostis
|
|
7
|
Diagnosis of asynchronous discrete-event systems: A net unfolding approach
– Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
- 2003
|
|
3
|
A trellis notion for distributed system diagnosis with sequential semantics
– Eric Fabre, et al.
- 2006
|
|
5
|
Partial Order Techniques for Distributed Discrete Event Systems: why you can’t avoid using them
– Eric Fabre, Albert Benveniste
- 2007
|
|
2
|
Bayesian Networks of Dynamic Systems
– Eric Fabre
- 2007
|
|
1
|
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
– Stefan Haar
|
|
|
On Monitoring and Diagnosing . . .
– Olivier Contant
- 2005
|
|
1
|
A discrete event approach to diagnosis of continuous systems
– Matthew Daigle, Xenofon Koutsoukos, Gautam Biswas
- 2007
|
|
3
|
On Modeling and Diagnosis of Discrete Event Dynamic Systems
– Magnus Larsson
- 1997
|
|
22
|
Formal verification of diagnosability via symbolic model checking
– Alessandro Cimatti, Charles Pecheur, Roberto Cavada
- 2003
|
