573 search results - page 22 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
WSC
2004
14 years 11 months ago
2004
Discrete event simulation modelling has been extensively used in modelling complex systems. Although it offers great conceptual-modelling flexibility, it is both computationally e...
SIMULATION
1998
14 years 9 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
123
click to vote
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
TSMC
2010
14 years 4 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
96
Voted
VALUETOOLS
2006
ACM
15 years 4 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...