Showing papers by "Tadanao Zanma published in 2004"

Sequence generation of discrete event system and logic controller and its applicability to fault detection

Abstract: In this paper, a sequential control system controlled by a logic controller is considered as an example. Incompleteness of the system model is given by nondeterministic representation which is modeled by a set-valued function. Therefore, the plant model has more than one transition in each state of it. We propose algorithms to construct the state space of the closed loop system of the plant model and the logic controller. Applying the proposed algorithms to an illustrative example, we show applicability to fault detection when an unpredicted state is generated.

A small iron ball position control by symbolic input and output

Abstract: This paper concerns a control problem for a specification which requires a finer description than the resolution of available sensors and actuators Such a situation may arise when the sensors are kind of limit switches and actuators are on/off control architecture while control specification is to be achieved as accurate as possible An experimental setup is taken to clarify our problem setup The experimental setup is a ball position control system in which a small iron ball rotates on a beam For the experimental setup, we propose a control algorithm based on discrete input and output and continuous state estimation Finally, the proposed method is applied to the experimental setup to demonstrate its effectiveness as well as numerical simulation

Ball position control by discrete input and output - experimental verification

Abstract: This paper concerns a control specification which requires a finer description than the resolution which sensors and/or actuators inherently have. An experimental setup is taken to clarify our problem setup. The experimental setup is a ball position control system in which a small iron ball rotates on a beam. For the experimental setup, we propose a control algorithm based on discrete input and output and continuous state estimation. Finally, the proposed method is applied to the experimental setup to demonstrate its effectiveness as well as numerical simulation.