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
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| 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.
|
Report
(5 results)
Research Products
(14 results)
