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
이 논문은 시간 제한 페트리 넷의 최적 제어를 위한 새로운 방법을 제시하며, 일반화된 상호 배제 시간 제약(GMETC). GMETC는 각 원자 명제가 GMEC(Generalized Mutual Exclusion Constraint)를 나타내는 MTL(미터법 시간 논리) 공식으로 설명됩니다. 우리는 주어진 GMETC 하에서 시간 제한 페트리 넷의 최적 제어 문제를 공식화하고 이를 MTL 공식이 선형 부등식으로 인코딩되는 정수 선형 계획법 문제로 변환하여 문제를 해결합니다. 수치 시뮬레이션을 통해 제안된 접근 방식의 효율성을 보여줍니다.
Kohei FUJITA
Mitsubishi Electric Corporation,Osaka University
Toshimitsu USHIO
Osaka University
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Kohei FUJITA, Toshimitsu USHIO, "Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion" in IEICE TRANSACTIONS on Fundamentals,
vol. E105-A, no. 5, pp. 808-815, May 2022, doi: 10.1587/transfun.2021MAP0003.
Abstract: This paper presents a novel method for optimal control of timed Petri nets, introducing a novel temporal logic based constraint called a generalized mutual exclusion temporal constraint (GMETC). The GMETC is described by a metric temporal logic (MTL) formula where each atomic proposition represents a generalized mutual exclusion constraint (GMEC). We formulate an optimal control problem of the timed Petri nets under a given GMETC and solve the problem by transforming it into an integer linear programming problem where the MTL formula is encoded by linear inequalities. We show the effectiveness of the proposed approach by a numerical simulation.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.2021MAP0003/_p
부
@ARTICLE{e105-a_5_808,
author={Kohei FUJITA, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion},
year={2022},
volume={E105-A},
number={5},
pages={808-815},
abstract={This paper presents a novel method for optimal control of timed Petri nets, introducing a novel temporal logic based constraint called a generalized mutual exclusion temporal constraint (GMETC). The GMETC is described by a metric temporal logic (MTL) formula where each atomic proposition represents a generalized mutual exclusion constraint (GMEC). We formulate an optimal control problem of the timed Petri nets under a given GMETC and solve the problem by transforming it into an integer linear programming problem where the MTL formula is encoded by linear inequalities. We show the effectiveness of the proposed approach by a numerical simulation.},
keywords={},
doi={10.1587/transfun.2021MAP0003},
ISSN={1745-1337},
month={May},}
부
TY - JOUR
TI - Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 808
EP - 815
AU - Kohei FUJITA
AU - Toshimitsu USHIO
PY - 2022
DO - 10.1587/transfun.2021MAP0003
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E105-A
IS - 5
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - May 2022
AB - This paper presents a novel method for optimal control of timed Petri nets, introducing a novel temporal logic based constraint called a generalized mutual exclusion temporal constraint (GMETC). The GMETC is described by a metric temporal logic (MTL) formula where each atomic proposition represents a generalized mutual exclusion constraint (GMEC). We formulate an optimal control problem of the timed Petri nets under a given GMETC and solve the problem by transforming it into an integer linear programming problem where the MTL formula is encoded by linear inequalities. We show the effectiveness of the proposed approach by a numerical simulation.
ER -