Sciweavers

188 search results - page 5 / 38
» A probabilistic analysis of diagnosability in discrete event...
Sort
View
FOSSACS
2005
Springer
14 years 1 months ago
Fault Diagnosis Using Timed Automata
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
INFSOF
2006
158views more  INFSOF 2006»
13 years 7 months ago
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
Ki Jung Hong, Tag Gon Kim
HYBRID
2004
Springer
14 years 29 days ago
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
Natasha A. Neogi
IJFCS
2008
166views more  IJFCS 2008»
13 years 7 months ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen
WSC
1997
13 years 9 months ago
Structured Models and Dynamic Systems Analysis: The Integration of the IDEF0/IDEF3 Modeling Methods and Discrete Event Simulatio
The role of modeling and simulation is receiving much press of late. However, the lack of practice in employing a link between the two is alarming. A static model is used to under...
Larry Whitman, Brian L. Huff, Adrien Presley