2011 Fiscal Year Final Research Report
Supervisory Control for Design of Secure Discrete Event Systems
| Project/Area Number |
21560462
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Control engineering
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
TAKAI Shigemasa 大阪大学, 大学院・工学研究科, 教授 (60243177)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | システム理論 / 離散事象システム / セキュアシステム / スーパバイザ制御 |
|---|
| Research Abstract |
Several theoretical results which form the base for design of secure systems using the supervisory control theory for discrete event systems have been obtained. An algorithm for synthesizing a secrecy-enforcing supervisor has been developed. It has been proved that, under a certain assumption, the modular synthesis of such a supervisor is possible. Further, in order to apply these results to networked systems and real-time systems, certain results on decentralized control and real-time control of discrete event systems have been derived.
|
