This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a flight management systems for a model helicopter in the B...
详细信息
This paper presents a formal methodology for the design, implementation and validation of reactive systems. The methodology has been applied to the design of a flight management systems for a model helicopter in the BEAR project. POLIS, a design tool developed at the University of California at Berkeley, is extensively used. The automation of the design problem and the validation techniques provided by this tool allow one to shorten prototyping time and to prove the correctness of the properties of the system. Automatic code generation guarantees error free implementation, which is fundamental in safety critical applications. Simulation of the entire design is performed using Ptolemy, a hierarchical heterogeneous simulation environment.
This paper presents state-of-the-art issues concerning virtual reality (VR) as applied to robotics and control. After a short outline of the fundamental VR notions, the use of VR in robot (manipulator, mobile) telecon...
详细信息
This paper presents state-of-the-art issues concerning virtual reality (VR) as applied to robotics and control. After a short outline of the fundamental VR notions, the use of VR in robot (manipulator, mobile) telecontrol is discussed and some principal results are provided. Two representative examples are briefly described along with some concluding remarks.
We consider a photographic studio that must schedule multiple teams of photographers to a large number of elementary and secondary schools. The photographers' schedules are to be optimized so that time constraints...
详细信息
We consider a photographic studio that must schedule multiple teams of photographers to a large number of elementary and secondary schools. The photographers' schedules are to be optimized so that time constraints are satisfied and each team is able to at least visit two schools daily. A multiple travelling salesman model is used where the total distance traveled and time consumed can be evaluated in a single cost function to achieve overall optimality. A genetic algorithm has been applied to solve the problem. The results show that this approach rapidly provides an effective means for solving the problem.
This paper reviews a number of recent algorithms for mobile robot path planning, navigation and motion control, which employ fuzzy logic and neuro-fuzzy learning and reasoning. Starting with a discussion of the struct...
详细信息
This paper reviews a number of recent algorithms for mobile robot path planning, navigation and motion control, which employ fuzzy logic and neuro-fuzzy learning and reasoning. Starting with a discussion of the structure of fuzzy and neuro-fuzzy systems, two fuzzy obstacle avoidance path planning algorithms are presented followed by a 3-level neuro-fuzzy local and global path planning scheme. Then the motion planning and control problem is considered. A fuzzy path tracking strategy is outlined, followed by a fuzzy navigation algorithm among polygonal obstacles and a learning-by-doing neuro-fuzzy motion planning scheme. The paper ends with a hybrid robust motion control technique which combines the minimum interference and sliding mode control principles with fuzzy inference. A representative set of examples are included which illustrate the performance of the algorithms under various realistic conditions.
This paper presents the conceptual framework and simulation results on a general technique for time delay compensation in teleoperation, based on the prediction of the human arm position and force, i.e. effectively th...
详细信息
This paper presents the conceptual framework and simulation results on a general technique for time delay compensation in teleoperation, based on the prediction of the human arm position and force, i.e. effectively the master state. This is shown to be significantly less complex and more intuitive than predicting the slave and environment dynamics. Simple polynomial or spline predictors, employing no knowledge of the human arm dynamics, are shown to produce good performance for small time delays when the master force and position are smooth. However, for real life force profiles, better performance is achieved by employing a human arm model and predicting the neural input to it.
In this paper a general methodology for studying and solving fuzzy relation equations based on sup-t composition, where t is any continuous triangular norm, is proposed. To this end the concept of the "solution m...
详细信息
In this paper, some fundamental issues of modern multi-agent robot architectures are discussed. It is argued that the multi-agent approach provides the necessary flexibility and adaptivity for such architectures, and ...
详细信息
In this paper, some fundamental issues of modern multi-agent robot architectures are discussed. It is argued that the multi-agent approach provides the necessary flexibility and adaptivity for such architectures, and that the primary issue in designing a multi-agent robot architecture is the selection of the granularity level, i.e., the decision on decomposing the overall desired functionality physically or across tasks. It is explained why at the various system levels different decomposition grains are needed; physical components, tasks or hybrid. This granularity decision is made on the basis of specific criteria of control localization, knowledge decoupling and interaction minimization so as to identify the decision points of the overall functionality. The above criteria lead to a dual composition-decomposition relation, which provides a good basis for system scaling. The paper specializes the discussion to a proposed neuro-fuzzy multi-agent architecture, which is then applied to design the local path planning system of an indoor mobile robot.
This paper proposes an approach for the design of discrete-time decentralized control systems covering not only the case of m-step delay sharing information pattern, but also any general nonclassical information patte...
This paper proposes an approach for the design of discrete-time decentralized control systems covering not only the case of m-step delay sharing information pattern, but also any general nonclassical information pattern where the non-local information is not spread among the subsystems. It employs the model-based predictive control (MBPC) scheme combined with fuzzy prediction for the interconnections among the subsystems. A state space model is used at each control station to predict the corresponding subsystem output over a long-range time period. The interaction trajectories are considered to be non-linear functions of the states of the subsystems. In all cases, the interconnections and the necessary predictions for them are estimated by an appropriate neuro-fuzzy identifier trained on-line using the back-propagation training algorithm. Representative computer simulation results are provided and compared for nontrivial example systems.
This paper proposes an approach for the design of discrete-time decentralized control systems with m-step delay sharing information pattern, employing the modelbased predictive control (MBPC) scheme combined with fuzz...
This paper proposes an approach for the design of discrete-time decentralized control systems with m-step delay sharing information pattern, employing the modelbased predictive control (MBPC) scheme combined with fuzzy prediction for the interconnections among the subsystems. A state-space model is used at each control station to predict the corresponding subsystem output over a long-range time period. The interaction trajectories are considered to be non-linear functions of the states of the subsystems. For all cases the interconnections and the necessary predictions for them are estimated by an appropriate adaptive fuzzy identifier based on the generation of linguistic IF-THEN rules and the on-line construction of a common fuzzy rule base. Representative computer simulation results are provided and compared for nontrivial example systems.
This paper discusses the swing-up control of a two link robot mechanism known as the Acrobot. Previously, a technique using meta-rules was proposed to compensate for external disturbances when using a dynamic fuzzy co...
详细信息
This paper discusses the swing-up control of a two link robot mechanism known as the Acrobot. Previously, a technique using meta-rules was proposed to compensate for external disturbances when using a dynamic fuzzy controller. In this paper, stability of the meta-rule system is analyzed from a global asymptotic stability viewpoint based on fuzzy characteristic matrices. These matrices are generated from the first phase of a three phase learning process involving the combination of genetic algorithms, dynamic switching fuzzy systems, and meta-rule techniques with the purpose of developing a better performing fuzzy controller.
暂无评论