2650 search results - page 76 / 530 » Simulation and Control of Reactive Systems |
DSD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
ACSD
2006
IEEE
14 years 21 days ago
2006
IEEE
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
EUSFLAT
2001
13 years 10 months ago
2001
This paper presents the similarity of a class of adaptive fuzzy controllers and a time dependent single rule controller of TakagiSugeno (TS) model. The class of adaptive fuzzy con...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
—The majority of the existing ad hoc wireless network routing protocols has a tendency to use the shortest single path from the source to the destination. However, in constantly ...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...