| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2021: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2019: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2018: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| Outline of Final Research Achievements |
The bisimilarity control problem is a general control problem for a discrete event system and its control specification modeled as nondeterministic automata. As a necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem, a property that has to be satisfied by the system and its control specification is derived. Then, a systematic method for synthesizing a supervisor is developed. When there does not exist a solution to the bisimilarity control problem, the similarity control problem is solved by synthesizing a maximally permissive nonblocking supervisor.
|
