| Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2017: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2016: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Outline of Final Research Achievements |
A discrete event system (DES) is a dynamical system whose discrete state evolves in accordance with the occurrence of an event. In this research, we consider a control problem of synthesizing a controller, called a supervisor, that enforces a given specification on the plant modeled as a DES with nondeterministic state transitions. Theoretical results have been obtained on existence conditions of a supervisor with respect to the plant and the specification, effective methods for synthesizing a supervisor, and so on .
|
