검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events 강제 이벤트 시행을 위한 조건부 결정을 통해 시간이 지정된 이산 이벤트 시스템의 분산형 감독 제어

Shimpei MIURA, Shigemasa TAKAI

  • 조회수

    0

  • 이것을 인용

요약 :

본 논문에서는 시간이 지정된 이산 이벤트 시스템을 위한 분산형 감독 제어 프레임워크에서 강제 이벤트를 시행하기 위한 조건부 결정을 소개합니다. 우리는 먼저 조건부 결정을 가진 분산형 감독자의 존재를 위한 충분한 조건을 제시합니다. 이러한 충분조건은 조건부 결정이 없는 분산형 감독자가 존재하기 위한 필요충분조건보다 약합니다. 다음으로 제시된 충분조건은 사건이 발생한다는 가정 하에 필요함을 보여준다. 진드기한 시간 단위의 경과를 의미하는 가 불법이라면, 유일하게 발생하도록 강제되어야 할 법적 강제 사건이 존재한다. 또한, 동일한 가정하에 제시된 조건을 검증하는 방법을 개발한다.

발행
IEICE TRANSACTIONS on Fundamentals Vol.E103-A No.2 pp.417-427
발행일
2020/02/01
공개일
온라인 ISSN
1745-1337
DOI
10.1587/transfun.2019MAP0006
원고의 종류
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
범주

작성자

Shimpei MIURA
  Osaka University
Shigemasa TAKAI
  Osaka University

키워드