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

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

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion 일반화된 상호 배제를 통한 시간적 논리 제약 하에서 시간 제한 페트리 네트의 최적 제어

Kohei FUJITA, Toshimitsu USHIO

  • 조회수

    0

  • 이것을 인용

요약 :

이 논문은 시간 제한 페트리 넷의 최적 제어를 위한 새로운 방법을 제시하며, 일반화된 상호 배제 시간 제약(GMETC). GMETC는 각 원자 명제가 GMEC(Generalized Mutual Exclusion Constraint)를 나타내는 MTL(미터법 시간 논리) 공식으로 설명됩니다. 우리는 주어진 GMETC 하에서 시간 제한 페트리 넷의 최적 제어 문제를 공식화하고 이를 MTL 공식이 선형 부등식으로 인코딩되는 정수 선형 계획법 문제로 변환하여 문제를 해결합니다. 수치 시뮬레이션을 통해 제안된 접근 방식의 효율성을 보여줍니다.

발행
IEICE TRANSACTIONS on Fundamentals Vol.E105-A No.5 pp.808-815
발행일
2022/05/01
공개일
2021/10/13
온라인 ISSN
1745-1337
DOI
10.1587/transfun.2021MAP0003
원고의 종류
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
범주

작성자

Kohei FUJITA
  Mitsubishi Electric Corporation,Osaka University
Toshimitsu USHIO
  Osaka University

키워드