×
特巴尼，K。;阿玛里，S。;卡拉，R。

使用max-plus代数控制受严格时间约束的Petri网。 （英语） Zbl 1482.93393号

国际期刊系统。科学。，普林克。申请。系统。集成。 49，第6期，1332-1344（2018）.
摘要：本文研究了时间约束下的时间离散事件系统的控制问题。这种约束在生产系统、运输网络和网络化自动化系统中非常常见。确切地说，我们感兴趣的是通过使用max-plus代数来验证对定时事件图（TEG）中的路径施加的严格时间约束。并非所考虑的TEG模型的所有跃迁都是可控的，即只有输入跃迁是可控的。提出了一种计算状态反馈控制器的解析方法。给出了满足时间约束的因果控制律存在的充分条件。首先，考虑具有可观测跃迁的TEG。然后，将该方法推广到部分可观测的TEG。合成反馈可以通过连接到TEG的控制位置进行解释，以确保遵守时间限制。该方法在装配系统示例中进行了说明。

引用于三文件

MSC公司：

93立方65 离散事件控制/观测系统
93B25型 代数方法
15A80型 Max-plus和相关代数

关键词：

时间离散事件系统;定时事件图;最大加代数;时间约束;控制法
PDF格式BibTeX公司 XML格式引用
\textit{K.Tebani}等人，国际期刊系统。科学。，普林克。申请。系统。集成。49，No.6，1332--1344（2018；Zbl 1482.93393）
全文： 内政部

参考文献：

[1] Amari，S.，一类具有临界时间的离散事件系统的反馈控制，国际控制杂志，，88，10，1974-1983（2015）·Zbl 1334.93117号
[2] 阿玛里，S。；恶魔教廷，I。；Loiseau，J.-J。；Martinez，C.，时间事件图中满足时间约束的Max-Plus控制设计，IEEE自动控制事务，，57，2，462-467（2012）·Zbl 1369.93371号
[3] 阿托，A.M。；马丁内斯，C。；Amari，S.，《严格持续时间下离散事件系统的控制：工业制造工厂的监管》，计算机与工业工程，61，4，1149-1159（2011）
[4] 巴切利，F。；科恩，G。；Gaujal，B.，时间Petri网的递归方程和基本性质，离散事件动态系统：理论和应用，2415-439（1992）·Zbl 0753.60084号
[5] 巴切利，F。；科恩，G。；Olsder，G.J。；Quadrat，J.P.，同步与线性：离散事件系统的代数（1992）·Zbl 0824.93003号
[6] Bonhome，P.，基于令牌播放器方法的实时系统调度和控制，离散事件动态系统，，23，2，197-209（2013）·Zbl 1268.93099号
[7] 卜拉希米，B。；Rondeau，E。；Aubrun，C.，基于高级Petri网的网络控制系统评估综合方法，IEEE第16届地中海会议控制与自动化会议论文集，1118-1123（2008）
[8] 布兰丁，B。；Wonham，W.M.，定时离散事件系统的监督控制，IEEE自动控制汇刊，39，2，329-341（1994）·Zbl 0801.93002号
[9] 陈，H。；Amodeo，L。；Chu，F。；Labadi，K.，《使用批量确定性和随机Petri网的供应链建模和性能评估》，IEEE自动化科学与工程学报，2，2，132-144（2005）
[10] Dasarathy，B.，实时系统的时间约束。表达它们的构造，验证它们的方法，IEEE软件工程学报，，11，1，80-86（1985）
[11] 迪奥里一世。；乔治，J.P。；Rondeau，E.，使用服务分类调整网络控制系统的延迟，网络，传感和控制，IEEE国际会议，410-415（2007），英国伦敦：IEEE，英国伦敦
[12] 哈杜因，L。；Maia，C.A。；科腾索，B。；Lhommeau，M.，（max，+）-线性系统的观测器设计，IEEE自动控制汇刊，，55，2，538-543（2010）·Zbl 1368.93047号
[13] Houssin，L。；拉哈耶，S。；Boimond，J.L.，约束（max，+）-线性系统的实时控制，离散事件动态系统，17，2，159-178（2007）·Zbl 1116.93039号
[14] Houssin，L。；拉哈耶，S。；Boimond，J.L.，最小化延迟的（max，+）线性系统的控制，离散事件动态系统，23，36261-276（2013）·Zbl 1272.93083号
[15] 雅各布·R。；Amari，S.，《时间约束下离散过程的输出反馈控制：集群工具的应用》，《国际计算机集成制造杂志》，30，8，880-894（2017）
[16] Jaulin，L。；Kieffer，M。；迪里特，O。；Walter，E.，《参数和状态估计、鲁棒控制和机器人应用区间分析示例》（2001年），柏林：施普林格-弗拉格出版社，柏林·Zbl 1023.65037号
[17] Kim，C。；Lee，T.，调节晶圆延迟的集群工具反馈控制，IEEE自动化科学与工程学报，13，2，1189-11993（2016）
[18] Kim，J.H.（金，J.H.）。；Lee，T.E.，时间受限集群工具的调度稳定和鲁棒定时控制（2003），IEEE机器人与自动化国际会议，ICRA:IEEE机器人和自动化国际会议
[19] 拉巴迪，K。；陈，H。；Amodeo，L.，使用批量确定性和随机Petri网对库存系统进行建模和性能评估，IEEE系统、人和控制论事务，第C部分，37，6，1287-1302（2007）
[20] M.Lhommeau。；哈杜因，L。；科腾索，B。；Jaulin，L.，区间分析和二元体：应用于时间事件图的鲁棒控制器设计，Automatica，，40，11，1923-1930（2004）·Zbl 1075.93011号
[21] Mahjoub，Y.I。；El-Alaoui，El.C。；Nait-Sidi-Moh，A.，《使用有色Petri网和（max，+）代数为乘客运输管理建模公交网络》，《Procedia计算机科学》，109，576-583（2017）
[22] Maia，C.A。；安德拉德，C。R。；Hardouin，L.，关于受状态限制的最大正线性系统的控制，Automatica，，47，5988-992（2011）·Zbl 1233.93068号
[23] 毛，J。；Cassandras，C.G.，具有实时约束的多阶段离散事件系统的最优控制，IEEE自动控制汇刊，，54，1，108-123（2009）·Zbl 1367.90041号
[24] 毛，J。；Cassandras，C.G.，一类具有实时约束的离散事件系统的在线最优控制，离散事件动态系统，，20，2，187-213（2010）·Zbl 1198.93238号
[25] Menguy，E。；Boimond，J.L。；哈杜因，L。；Ferrier，J.L.，定时事件图的实时控制：参考输入的更新，不可控输入的存在，IEEE自动控制事务，，45，11，2155-2159（2000）·Zbl 0989.93058号
[26] Murata，T.，《Petri网：属性、分析和应用》，《IEEE学报》，77，4，541-580（1989）
[27] Petri，C.A.，《与自动化的通信》（1962年），波恩大学：波恩大学，西德波恩
[28] 普拉，A。；盖伊，P。；恩德斯，J。；pez，B.，《基于Petri网的过程监控：用于过程建模和监控的工作流管理系统》，《智能制造杂志》，25，3，539-554（2014）
[29] Ramadge，P.J。；Wonham，W.M.，离散事件系统的模块反馈逻辑，SIAM控制与优化杂志，25，5，1202-1218（1987）·Zbl 0694.93037号
[30] Tebani，K。；阿玛里，S。；Kara，R.，《约束离散事件系统的闭环控制：在网络化自动化系统中的应用》，《国际先进制造技术杂志》，90，5，1295-1306（2017）
[31] 范熙，K.M。；Sidorova，N。；Werf，J.M.，《使用Petri网的业务流程建模，Petri网上的事务和其他并发模型VII》，《计算机科学讲义》，7480，116-161（2013），柏林：斯普林格，柏林·Zbl 1382.90043号
[32] Venkatesh，K。；伊利亚斯，M.，《用于柔性制造系统局域网建模、控制和仿真的实时Petri网》，计算机与工业工程，第28、1、147-162页（1995）
[33] Wang，J.W。；叶伟华（Ip，W.H.）。；R.R.Muddada。；Huang，J.L。；Zhang，W.J.，《主动弹性整体供应链网络的Petri网实施》，《国际先进制造技术杂志》，第69、1-4、427-437页（2013年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。