2015 Fiscal Year Final Research Report
Quantitative Supervisory Control of Discrete Event Systems and Its Applications
| Project/Area Number |
24656262
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Control engineering
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Keywords | システム制御 / 離散事象システム / スーパバイザ制御 / 最適制御 / 安定化 / オートマトン |
|---|
| Outline of Final Research Achievements |
We consider discrete event systems modeled by weighted automata where costs are assigned to state transitions. We proposed a design method of an optimal supervisor by which the worst mean pay-off of controlled behaviors of the system is optimized. We proposed a design method of stabilizing controller by which the worst accumulate cost of the controlled behavior from the initial state to a target state is optimized. Moreover, we considered an optimal controller that satisfies a qualitative constraint given by a temporal logic formula.
We also proposed an approximated simulation based detection method of automation surprises observed in human-machine systems modeled by hybrid automata. We derived event triggering conditions by which controlled distributed systems are stabilized.
|
| Free Research Field |
システム理論
|
