Sciweavers

1655 search results - page 56 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
WSC
2008
13 years 10 months ago
Analyzing dispensing plan for emergency medical supplies in the event of bioterrorism
To prepare for the event of bioterrorism, which could spread contagious disease such as anthrax, plague, smallpox, or tularemia to public, local governments in the United States a...
Young M. Lee
FBT
1998
119views Formal Methods» more  FBT 1998»
13 years 9 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
WSC
1998
13 years 9 months ago
A Comparison of RESTART Implementations
The RESTART method is a widely applicable simulation technique for the estimation of rare event probabilities. The method is based on the idea to restart the simulation in certain...
Marnix J. J. Garvels, Dirk P. Kroese
CONCUR
2000
Springer
13 years 11 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
ISCI
2007
133views more  ISCI 2007»
13 years 7 months ago
Decision making in fuzzy discrete event systems
The primary goal of the study presented in this paper is to develop a novel and comprehensive approach to decision making using fuzzy discrete event systems (FDES) and to apply su...
Feng Lin, Hao Ying, R. D. MacArthur, J. A. Cohn, D...