Sciweavers

1317 search results - page 104 / 264
» A new delay system approach to network-based control
Sort
View
FROCOS
2011
Springer
12 years 9 months ago
Sharing Is Caring: Combination of Theories
One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. Thi...
Dejan Jovanovic, Clark Barrett
IROS
2009
IEEE
195views Robotics» more  IROS 2009»
14 years 3 months ago
Optical flow-based controller for reactive and relative navigation dedicated to a four rotor rotorcraft
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...
Eduardo Rondon, Isabelle Fantoni-Coichot, Anand Sa...
AAAI
2008
13 years 11 months ago
Adaptive Control for Autonomous Underwater Vehicles
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
Conor McGann, Frederic Py, Kanna Rajan, John Ryan,...
GI
2009
Springer
13 years 7 months ago
Control and safety architecture for a modular medical robot
: In this paper a new approach for a control and safety architecture for a modular task adaptable medical robot is described. The concept has been evaluated with the MINARO robot, ...
Alexander Korff, Martin Niggemeyer, Matías ...
VMCAI
2009
Springer
14 years 4 months ago
Synthesizing Switching Logic Using Constraint Solving
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
Ankur Taly, Sumit Gulwani, Ashish Tiwari