In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
Self-stabilization is an versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of ...
This paper presents a method to deal the dynamic stability for a mobile manipulator. Although the system has static stability, manipulation on the moving base or mobile locomotion...
Jinhyun Kim, Wan Kyun Chung, Youngil Youm, Beom He...
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
Wubbe J. R. Velthuis, Theo J. A. de Vries, Pieter ...
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
Jingang Yi, Dezhen Song, Anthony Levandowski, Suha...