2006 Fiscal Year Final Research Report Summary
Design Logic for Construction of Dependable Control Systems
| Project/Area Number |
16360198
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
System engineering
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
SUZUKI Tatsuya Nagoya University, Graduate School of Engineering, Professor, 大学院工学研究科, 教授 (50235967)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
INAGAKI Shinkichi Nagoya University, Graduate School of Engineering, Assistant Professor, 大学院工学研究科, 助手 (80362276)
|
|---|
| Project Period (FY) |
2004 – 2006
|
| Keywords | high reliability / fault diagnosis / distributed system / hybrid dynamical system / human behavior / probabilistic model |
|---|
| Research Abstract |
The requirements for design of control systems have been shifting from high speed and high precision to realization of high reliability and safety of the systems. Furthermore, harmonious corporation between systems and human is becoming an important factor which must be considered in the control system design. From these motivations, this research project addressed the following topics:
1. Fault detection and diagnosis based on probabilistic information theory
2. Distributed fault diagnosis focused on large scale systems
3. Modeling human behavior based on hybrid dynamical systems
In the topic 1, we proposed two new mathematical models based on probabilistic information theory. The first one is a new Hidden Markov Model (HMM) wherein a continuous dynamical model is allocated to each discrete state of HMM, and we applied the model to the fault diagnosis. The second one is a Probabilistic Production Rules wherein probabilities are assigned to the conventional production rules, and we applied
… More
the theory to the fault diagnosis of the manipulator control system. In addition, we proposed a fault diagnosis algorithm based on Timed Markov Model, and verified the availability by experiments using a prototype of automating transfer line.
In the topic 2, we proposed a new distributed diagnosis algorithm capable of diagnosing the overall system behavior by combining the local diagnosis results based on Bayesian network theory. In the proposed framework, the relationships between the faulty conditions in the subsystems and the observed signals are modeled by network structure. By applying the algorithm to a prototype of automating transfer line, we verified the availability of the algorithm.
In the topic 3, we employed two modeling approaches based on data-clustering and the new HMM developed in the topic 1. As the result, we can model human behaviors in both cases that the transition between the discrete modes is modeled deterministically and stochastically. The availabilities of these approaches were verified by applying the proposed methods to analysis of driving-behaviors and task skills.
These achievements are or will be published in scientific journals. Less
|
