2838 search results - page 303 / 568 » Verifying Controlled Components |
111
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper we consider cooperative manipulation problems where a large group (swarm) of non-articulated mobile robots is trying to cooperatively control the velocity of some...
88
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
105
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper we present a system that uses only vision to land a UAV on a runway. We describe a method for estimating the relative location of the runway as an image by perfor...
118
Voted
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
97
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...