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
|
Project Status |
Completed (Fiscal Year 2011)
|
Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
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.
|
Report
(4 results)
Research Products
(24 results)