×
Aydın艾巴尔；阿尔图伊夫塔尔

利用拉伸设计监督控制器，以增强时间转移Petri网的一些基本性质。 （英语） Zbl 1235.93153号

非线性分析。，混合系统。 6，第1期，712-729（2012）.
摘要：考虑了在具有激发持续时间的时间转移Petri网中实现有界性、可逆性和活性的监督控制器设计。假设可控和不可控跃迁都可能存在，并且可能同时触发多个跃迁。拉伸方法用于表示系统的状态。提出了利用禁止状态方法设计监督控制器的算法，以同时实现有界性和可逆性。所设计的控制器还保证了变换集的最大可能子集T的T活性。特别是，只要可能，就同时强制执行有界性、可逆性和活性。所设计的控制器也是同时具有有界性和可逆性的最小约束控制器。

MSC公司：

93元65角 离散事件控制/观测系统
93甲13 层次系统

关键词：

监控控制器设计；定时Petri网；有界性；活泼；可逆性

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Aybar}和\textit{A.Iftar}，非线性分析。，混合系统。6，第1号，712--729（2012；Zbl 1235.93153）
全文： 内政部

参考文献：

[1] 周，M。；DiCesare，F.，制造系统离散事件控制的Petri网综合（1993），Kluwer学术：Kluwer-学术Norwell，MA·Zbl 0849.93002号
[2] 普罗斯，J。；Xie，X.，《Petri Nets:制造系统设计和管理工具》（1996），John Wiley&Sons:John Willey&Sons West Sussex
[3] Bowden，F.D.J.，《时间在Petri网中作用的简要调查与综合》，《数学与计算机建模》，31，55-68（2000）·Zbl 1042.68613号
[4] Wang，J.，《时间Petri网：理论与应用》（1998），Kluwer学术：马萨诸塞州波士顿Kluwer-Academic·Zbl 0924.68147号
[5] Zuberek，W.M.，《集群工具建模和分析中的时间Petri网》，IEEE机器人与自动化事务，17，562-575（2001）
[6] Aybar，A。；I.ftar，A.，使用拉伸的定时Petri网的死锁避免控制器设计，IEEE系统期刊，2178-188（2008）
[7] A.R.Wang，Z.W.Li，J.Y.Jia，基于Petri网的柔性制造系统死锁避免策略，收录于：IEEE工业电子学会第30届年会论文集，韩国釜山，2004年，第1896-1901页。；A.R.Wang，Z.W.Li，J.Y.Jia，基于Petri网的柔性制造系统死锁避免策略，收录于：IEEE工业电子学会第30届年会论文集，韩国釜山，2004年，第1896-1901页。
[8] Sreenivas，R.S.，《关于在受控Petri网建模的离散事件动态系统中强制活性的监督策略的存在性》，IEEE自动控制事务，42，928-945（1997）·Zbl 0887.93002号
[9] M.V.Iordache。；Antsaklis，P.J.，在Petri网中设计\（T\）-活性强制监督器，IEEE自动控制汇刊，481962-1974（2003）·Zbl 1364.93468号
[10] G.Gardey，O.F.Roux，O.H.Roux.时间Petri网的安全控制合成，in：Proc。第八届离散事件系统国际研讨会，美国密歇根州，2006年，第222-228页。；G.Gardey，O.F.Roux，O.H.Roux.时间Petri网的安全控制合成，in：Proc。第八届离散事件系统国际研讨会，美国密歇根州，2006年，第222-228页。
[11] Koutsoukos，X.D。；Antsaklis，P.J.，《使用定时Petri网的混合控制系统：基于不变特性的监控设计》，（混合系统V.混合系统V，计算机科学讲义（1999）），142-162·Zbl 0961.93503号
[12] A.Giua。；西特祖，C。；Basile，F.，带死锁恢复的定时Petri网基于观测器的状态反馈控制，IEEE自动控制汇刊，49，17-29（2004）·Zbl 1365.68341号
[13] Y.Huang，T.Chung，J.Lin，城市交通网络的定时有色petri网监督员，摘自：Proc。IMACS系统应用计算工程多会，中国北京，2006年，第2151-2156页。；Y.Huang，T.Chung，J.Lin，城市交通网络的定时有色petri网监督员，摘自：Proc。IMACS系统应用中的计算工程多会议，中国北京，2006年，第2151-2156页。
[14] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，理论计算机科学，126183-235（1994）·Zbl 0803.68071号
[15] Bradin，B.A。；Wonham，W.M.，定时离散事件系统的监督控制，IEEE自动控制汇刊，39，329-342（1994）·Zbl 0801.93002号
[16] 林，F。；Wonham，W.M.，部分观测下定时离散事件系统的监督控制，IEEE自动控制汇刊，40558-562（1995）·Zbl 0821.93002号
[17] A.Gouin，J.Ferrier，《时间自动机产品的时间一致性》，摘自：Proc。1999年IEEE系统、人和控制论国际会议，1999年，第176-181页。；A.Gouin，J.Ferrier，《时间自动机产品的时间一致性》，摘自：Proc。1999年IEEE系统、人和控制论国际会议，1999年，第176-181页。
[18] Khoumsi，A.，《确保实时离散事件系统一致性的监督控制方法》，《离散事件动态系统：理论与应用》，第15期，第397-431页（2005年）·兹比尔1101.93049
[19] Aybar，A.，《时间离散事件系统中避免禁止状态的分散控制器设计》，《国际计算机、通信与控制杂志》，5，4，547-557（2010）
[20] P.Darondeau，《利用Petri网实现Ramadge-Wonham监控的分布式实现》，载于《IEEE决策与控制会议论文集》，西班牙塞维利亚，2005年，第2107-2112页。；P.Darondeau，《利用Petri网实现Ramadge-Wonham监控的分布式实现》，载于《IEEE决策与控制会议论文集》，西班牙塞维利亚，2005年，第2107-2112页。
[21] A.Aybar，A.Iftar，《定时Petri网的监控控制器设计》，载于：IEEE国际系统工程会议论文集，美国加利福尼亚州洛杉矶，2006年，第59-64页。；A.Aybar，A.Iftar，《定时Petri网的监控控制器设计》，载于：IEEE国际系统工程会议论文集，美国加利福尼亚州洛杉矶，2006年，第59-64页。
[22] A.Aybar，A.Iftar，《加强Petri网中有界性、活性和可逆性的控制器设计》，摘自：第七届IFAC智能制造系统研讨会预印本，匈牙利布达佩斯，2003年，第199-204页。；A.Aybar，A.Iftar，《加强Petri网中有界性、活性和可逆性的控制器设计》，载于：第七届IFAC智能制造系统研讨会预印本，匈牙利布达佩斯，2003年，第199-204页。
[23] Aybar，A。；伊夫塔尔，A。；Apaydñn-Øzkan，H.，在Petri网中实施有界性、活性和可逆性的集中式和分散式监督控制器设计，国际控制杂志，78，537-553（2005）·Zbl 1085.93016号
[24] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（1999），Kluwer Academic：Kluwer-Academic Norwell，MA·Zbl 0934.93001号
[25] A.Aybar，A.ïftar，使用拉伸表示定时位置Petri网的状态，载于：第四届IFAC离散事件系统设计研讨会论文集，西班牙甘迪亚海滩，2009年，第79-84页。；A.Aybar，A.Isftar，《使用拉伸表示时间-地点Petri网的状态》，载于《第四届IFAC离散事件系统设计研讨会论文集》，西班牙甘地广场，2009年，第79-84页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。