66 search results - page 11 / 14 » Verifying average dwell time of hybrid systems |
IEICET
2007
13 years 8 months ago
2007
The channel capacity of the indoor multiple input multiple output (MIMO) system is investigated with consideration of the effects of the wall by using a hybrid method of the finit...
COSIT
2003
Springer
14 years 1 months ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
SPIN
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
NOCS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Circuit-switched networks can significantly lower the communication latency between processor cores, when compared to packet-switched networks, since once circuits are set up, ...