2838 search results - page 72 / 568 » Verifying Controlled Components |
JSS
2006
13 years 9 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we present a methodology and set of tools which assist the construction of applications from components, by separating the issues of transmission policy from compone...
ENTCS
2007
13 years 9 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We present the design of an optimal trajectory controller for landing a helicopter on a moving target. The trajectory planner is based on the Variational Hamiltonian and Euler-...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
We develop non-smooth motion controllers that enable redundant manipulators to perform surface tasks, that involve force/torque interactions. The robot joint rates are constrained ...