Design of supervisors for linear marking specifications in labeled Petri nets
Design of supervisors for linear marking specifications in labeled Petri nets
复制标题
标记 Petri 网中线性标记规范监控器的设计
DOI：
10.1016/j.automatica.2021.110031
复制
发表时间：
2022-02
期刊：
影响因子：
6.4
通讯作者：
ro
中科院分区：
文献类型：
--
作者：
Ma Ziyue;He Zhou;Li Zhiwu;Giua Aless;ro
在本文中，我们研究了在标记 Petri 网络中强制执行广义互斥约束 (GMEC) 的问题，该网络包含基于监视器的监督程序无法区分的转换。我们证明，如果 GMEC 是确定性的，则可以根据事件的影响来设计基于监视器的监督程序。另一方面，对于非确定性 GMEC，我们引入了转换依赖性的概念，它提供了转换触发和相关事件发生之间的定量关系。基于转移的依赖性，我们提出了一种使用希尔伯特基础计算监控函数的结构方法，这有助于我们开发一种使用监控函数设计在线监控器的算法。由于避免了标记估计，我们的方法具有较低的在线计算负载。
In this paper we study the problem of enforcing a generalized mutual exclusion constraint (GMEC) in a labeled Petri net that contains indistinguishable transitions by a monitor-based supervisor. We show that a monitor-based supervisor can be designed based on theinfluenceof events if the GMEC is deterministic. On the other hand, for a nondeterministic GMEC, we introduce the notion ofdependencyof transitions, which provides a quantitative relation between the transition firings and the occurrence of dependent events. Based on the dependency of transitions, we propose a structural approach to compute a monitor function usingHilbert basis, which helps us develop an algorithm to design an online supervisor using the monitor function. Our approach has low online computational load since marking estimation is avoided.
登录
查看更多内容
影响因子：
6.8
作者：
A. Giua;S. Lafortune;C. Seatzu
通讯作者：
A. Giua;S. Lafortune;C. Seatzu
DOI：
10.1016/j.automatica.2013.08.018
发表时间：
2013-11
期刊：
Autom.
影响因子：
--
作者：
F. Basile;R. Cordone;L. Piroddi
通讯作者：
F. Basile;R. Cordone;L. Piroddi
DOI：
10.1016/j.automatica.2015.02.014
发表时间：
2015-05
期刊：
Autom.
影响因子：
--
作者：
Yufeng Chen;Zhiwu Li;Kamel Barkaoui;A. Giua
通讯作者：
Yufeng Chen;Zhiwu Li;Kamel Barkaoui;A. Giua
DOI：
10.1007/3-540-48242-3_2
发表时间：
1999-09
期刊：
--
影响因子：
--
作者：
M. Hermann;L. Juban;Phokion G. Kolaitis
通讯作者：
M. Hermann;L. Juban;Phokion G. Kolaitis
DOI：
10.1007/11549345_23
发表时间：
2005-08
期刊：
--
影响因子：
--
作者：
D. Chubarov;A. Voronkov
通讯作者：
D. Chubarov;A. Voronkov