3979 search results - page 392 / 796 » Wild control operators |
172
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
178
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
192
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...
165
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper, we investigate the potential of a selfpowered gliding aircraft to remain aloft indefinitely. We focus specifically on operations in the jet stream where pe...
200
click to vote
COR
2011
15 years 1 months ago
2011
The task of scheduling communications between satellites and ground control stations is getting more and more critical since an increasing number of satellites must be controlled ...