1087 search results - page 86 / 218 » Achieving Distributed Control through Model Checking |
SNPD
2008
13 years 10 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
—An increasing number of real-time systems are embedded in mission critical systems such as target tracking systems, in which workloads may dynamically vary, for example, dependi...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...
INFOCOM
2011
IEEE
13 years 16 days ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
We present a new particle-based approach to sampling and controlling implicit surfaces. A simple constraint locks a set of particles onto a surface while the particles and the sur...