| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Outline of Final Research Achievements |
We considered a controlled physical system modeled by a finite transition system We developed a symbolic design of a supervisor using an approximate simulation and an alternating simulation relation. First, we proposed a formal design method of a supervisor with a symbolic observer that computes a set of all possible current states. Second, we proposed a forma design method of a networked control system where delays and packet dropouts exist. Third, we proposed a symbolic Smith method for a physical plant with an input delay. Finally, we considered a human-machine system. We introduced a hybrid user model that includes temporal knowledge of a user and developed an algorithm for the detection of a mode confusion using a novel notion called a weal alternating simulation relation.
|
