164 search results - page 7 / 33 » A Formal Framework for Stochastic Discrete Event System Spec... |
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— We propose a modeling framework based on the event-driven paradigm for populations of neurons which interchange messages. Unlike other strategies our approach is focused on the...
JSW
2007
13 years 7 months ago
2007
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
WSC
2008
13 years 10 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...