A dynamic simulation package has been developed which can accurately model the interactions between robots and their environment. It creates a virtual environment in which various...
− This paper addresses the combined problem of trajectory planning and tracking control for underactuated AUVs moving on the horizontal plane. A reference feasible trajectory for...
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...