1323 search results - page 68 / 265 » Moment-Linear Stochastic Systems |
TSMC
2008
14 years 9 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
107
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
101
click to vote
ICNSC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Dynamic scheduling management in wireless sensor networks is one of the most challenging problems in long lifetime monitoring applications. In this paper, we propose and evalua...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
MDM
2001
Springer
15 years 2 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...