This paper presents a new control methodology for a nonholonomic electric two-wheeled vehicle wherein the autonomous and man-machine cooperative controls are synthesized. In the pr...
Abstract-- This paper describes an overview of our semiautonomous (SA) wheelchair prototype and emphasizes the design of the perceptual navigation system. The goal of our project i...
—while dealing with sub-micrometer precision robots, thermal expansion is the most significant source of inaccuracy. Thermal variations in the environment, in the robot parts a...
This paper discusses file system Access Control Lists as implemented in several UNIX-like operating systems. After recapitulating the concepts of these Access Control Lists that ...
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...