573 search results - page 6 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
TASE
2012
IEEE
12 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
ECOWS
2009
Springer
14 years 1 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
DEDS
2008
13 years 7 months ago
2008
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...
SIMPRA
1998
13 years 7 months ago
1998
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
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...