Search Results

One of the typical autonomous driving systems is a human-machine cooperative system that intervenes in the driver operation. The autonomous driving needs to make consideration of the driver individuality in addition to safety. This paper considers a human-...

Model-based development in the automotive industry supposes that multiple CAE (Computer-Aided Engineering) tools construct a physical model. Model verification is difficult in multiple CAE environment. In this research, we propose “Energy Balance ...

This paper considers a verification problem of the whitelist function applicable to the Programmable Logic Controller (PLC). The PLC of the industrial control system is an important controller to control sensors and actuators and requires security ...

This paper considers driving state management with a tampered control device. We propose the broadcasting algorithm of the control terminal and the collecting algorithm of the state monitoring device in which a tampered control device exists in the ...

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). ...

It is well known that routing problems are recast as a binary integer linear programming in overhead hoist transport (OHT) vehicle systems. Two kinds of discrete-time state space models of the routing problem are proposed in this paper that simplifies ...

This paper considers a model following control problem for continuous-time discrete-valued input systems, i.e., systems including the signal quantization such as networked control systems. The constraints we address is the quantized accuracy and ...

This paper focuses on analysis and synthesis methods of continuous-time dynamic quantizers for LFT type quantized control systems. Our aim is to propose a numerical optimization design method of multiple (decentralized) quantizers such that a given ...

In this paper, an attempt has been made by incorporating some special features in the conventional particle swarm optimization (PSO) technique for decentralized swarm agents. The modified particle swarm algorithm (MPSA) for the self-organization of ...

This paper presents a framework for decentralized control of self-organizing swarm systems based on the artificial potential functions (APFs). In this scheme, multiple agents in a swarm self-organize to flock and achieve formation control through ...

Growth of processor and networking technologies are enabling to connect real-world and computer systems through devices and much attention is being paid to the context-aware services.One of the issues to provide services using ubiquitous or pervasive ...

A new type of information and control system has been postulated recently, in which the customer satisfaction of individual has much more importance. The trend has come about through a user business process reengineering for meeting the variable ...

This paper discusses the relationship between the level of symmetry in a system structure and loss of controllability. For a system consisting of a large number of modules, symmetrical structure is considered as the identity of modules and their ...