Supervisory Control for Design of Secure Discrete Event Systems

安全离散事件系统设计的监督控制

基本信息

  • 批准号：
    21560462
  • 负责人：
    TAKAI Shigemasa
  • 金额：
    $ 2.58万
  • 依托单位：
    Osaka University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2009
  • 资助国家：
    日本
  • 起止时间：
    2009 至 2011
  • 项目状态：
    已结题

项目摘要

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.
得到了几个理论结果，为应用离散事件系统监督控制理论设计安全系统奠定了基础。提出了一种合成保密监督者的算法。证明了在一定的假设条件下，这种监督器的模块化综合是可能的。此外，为了将这些结果应用于网络系统和实时系统，还得到了离散事件系统的分散控制和实时控制的某些结果。

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断
具有非确定性输出函数的以 Mealy 自动机为代表的离散事件系统的诊断
A new forcing mechanism for decentralized supervisory control of timed discrete event systems
定时离散事件系统分散监督控制的新强制机制
  • DOI：
  • 发表时间：
    2011
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ratnesh Kumar;Shigemasa Takai;片山仁志;Ratnesh Kumar;片山仁志;Masashi Nomura
  • 通讯作者：
    Masashi Nomura
Verification and synthesis for secrecy in discrete-event systems
  • DOI：
    10.1109/acc.2009.5160162
  • 发表时间：
    2009-06
  • 期刊：
    2009 American Control Conference
  • 影响因子：
    0
  • 作者：
    S. Takai;Ratnesh Kumar
  • 通讯作者：
    S. Takai;Ratnesh Kumar
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

TAKAI Shigemasa其他文献

TAKAI Shigemasa的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('TAKAI Shigemasa', 18)}}的其他基金

Supervisory Control of Nondeterministic Discrete Event Systems Based on the Notion of Bisimilarity
基于相似性概念的非确定性离散事件系统的监督控制
  • 批准号：
    18K04201
  • 财政年份：
    2018
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Error Detection and Recovery Mechanisms for Fault-Tolerant Decentralized Supervisory Control Systems
容错分散监控系统的错误检测和恢复机制
  • 批准号：
    18560433
  • 财政年份：
    2006
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用
考虑事件同时发生的离散事件系统监控及其工程应用
  • 批准号：
    15760321
  • 财政年份：
    2003
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計
为离散事件系统设计可靠且无阻塞的分布式监控器
  • 批准号：
    13750421
  • 财政年份：
    2001
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
モバイル通信機能をもつ複合離散事象システムのモデリングと分散スーパバイザ制御
具有移动通信功能的复杂离散事件系统的建模和分布式监控
  • 批准号：
    12875080
  • 财政年份：
    2000
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Exploratory Research
離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用
离散事件系统鲁棒监控器的设计及其在生产系统中的应用
  • 批准号：
    11750395
  • 财政年份：
    1999
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
離散事象システム論に基づく短期需給計画の決定
基于离散事件系统理论的短期供需计划确定
  • 批准号：
    10750217
  • 财政年份：
    1998
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
条件/事象ネットに基づく離散事象システムの階層設計
基于条件/事件网络的离散事件系统分层设计
  • 批准号：
    09750492
  • 财政年份：
    1997
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
Max-Plus代数による離散事象システムの制御とその生産システムへの応用
使用 Max-Plus 代数控制离散事件系统及其在生产系统中的应用
  • 批准号：
    09750502
  • 财政年份：
    1997
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
定常入力をもつ確率離散事象システムの動的制御に関する研究
稳态输入随机离散事件系统动态控制研究
  • 批准号：
    09750451
  • 财政年份：
    1997
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
大規模離散事象システムの階層型状態フィードバック制御とそのFMSへの応用
大规模离散事件系统的分层状态反馈控制及其在FMS中的应用
  • 批准号：
    08750526
  • 财政年份：
    1996
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
数理計画法による離散事象システムの動作解析とその応用
离散事件系统的数学规划行为分析及其应用
  • 批准号：
    08650460
  • 财政年份：
    1996
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了