The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper proposes a new model checking method to detect falsification on control system software. In the previous study, we have examined a method which detects illegal rewriting for control system software via Petri Net and Kalman Decomposition (KD). In this paper, in order to divert this method to model checking, we consider a new toolchain with the existing model checker SPIN. Specifically, we...
This paper aims to propose a fallback system isolated from man-in-the-middle attack (MITM) for networked control systems. In this paper, fallback is an incident response of the control system in which facilities are preferentially protected and a minimal system operates during MITM. Since the communication contents of the networked control systems can be tampered with by MITM, the proposed system...
Recently, automobile industry requires energy saving technology for reducing the environment burden and operational costs. Hybrid engines are environmental friendly, but hybrid heavy-duty trucks have not been still sold in the Japanese market, as their development has posed considerable problems. To solve these problems, the automobile industry has begun to develop simulation models of actual vehicles...
This paper considers an adaptive observer construction for summational type state space (StSS) equation, which is a suitable mathematical expression for modeling physical dynamical systems with parasitic elements. Although this expression is appropriate to the realities of physical and engineering problems in terms of the system identification and the control system design, to our knowledge, little...
Focusing on the air-conditioner, this paper considers the real-time model learning and the adaptation algorithm to the indoor environment, simultaneously. It is clarified that the Constant-Trace Algorithm is effective for the adaptation, which consists of the detection of disturbances (external factors to change the amount of heat in the room) and the switching between the model learning with and...
This paper proposes a dynamic modeling of transportation systems in semiconductor manufacturing. Utilizing our modeling method, we consider an optimal scheduling problem of AGV (automatic guided vehicle) system transfer problem, which is to control the AGV congestion on the junctions of the transportation road in this paper. The problem is recast as an ILP (Integer Linear Programming) problem within...
This paper presents a modeling of an automatic guided vehicle (AGV) to achieve an advanced control. The modeling includes 3 kinds of choices; a choice of input-output data pair from 15 candidate pairs, a choice of system identification technique form 5 candidate techniques, a choice of discrete to continuous transform method from 2 candidate methods. An approach for calibration between a statistical...
This paper presents a general control representation for medically-proposed methods of mechanical ventilation, and then proposes an improved configuration with a disturbance observer and with a predictive control block against an existing proportional assist ventilation (PAV) method. The trade-off relation between robust stability margin and responsibility has been shown using parSparinfin- 1 in...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.