The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
This paper presents a new teleoperation scheme for mobile manipulation systems. A virtual spring connects a master and slave system where local force feedback on the slave system c...
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
— The development of an oscillator controller for a quadruped robot with antagonistic pairs of pneumatic actuators is reported. Periodic motions of the legs switch between the sw...
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...