7778 search results - page 1217 / 1556 » Designing Controllers for Reachability |
128
Voted
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
141
Voted
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Many self-organizing and self-adaptive systems use the biologically inspired “gradient” primitive, in which each device in a network estimates its distance to the closest devi...
162
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
127
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider the problem of Object Safety: how objects endowed with processing, communication, and sensing capabilities can determine their safety. We assign an agent to each objec...
166
Voted
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
—Spatial computing systems are characterized by the extended physical environment in which they exist and function. Often this environment can be manipulated in various ways by t...