×
Ait Oumeziane，F。；卡拉，R。；阿玛里，S。

使用（max，+）和（min，+）代数对带保护的时间自动机进行形式化分析和控制。 （英语） Zbl 1483.93378号

国际期刊系统。科学。，普林克。申请。系统。集成。 51，第11号，2041-2056（2020）.
摘要：本文引入了新的形式化方法来建模一类不确定时间离散事件系统的行为和控制，这类系统由带保护的时间自动机（TAG）表示。由于只考虑极值行为，因此我们提出了近似于其动力学的标签的替代表示法。更准确地说，在（max，+）和（min，+）代数中提出了递归方程来描述最坏和乐观的行为。此后，这些开发的线性模型被用于处理TAG的控制问题。最后，通过一个与job-shop系统相对应的实际研究案例说明了所提出的方法。

MSC公司：

93元65角 离散事件控制/观测系统
93年2月25日 代数方法
15A80型 Max-plus和相关代数

关键词：

离散事件系统；带守卫的时间自动机；（max，+）代数；（最小，+）代数；行为分析；控制

软件：

Uppaal公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Ait Oumeziane}等人，国际期刊系统。科学。，普林克。申请。系统。集成。51，第11号，2041--2056（2020；Zbl 1483.93378）
全文： DOI程序

参考文献：

[1] Alur，R.、Courcoubetis，C.和Dill，D.L.（1990年）。实时系统的模型检查。第五届IEEE计算机科学逻辑研讨会论文集，LICS’90（第414-425页）。费城：LICS’90·Zbl 0769.68088号
[2] 阿鲁尔（Alur，R.）。；Dill，D.，时间自动机理论，理论计算机科学，126，2，183-235（1994）·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[3] 巴切利，F。；科恩，G。；Olsder，G.J。；Quadrat，J.-P，《同步与线性》，2（1992），威利
[4] Bengtsson，J.、Larsen，K.G.、Larrsson，F.、Pettersson，P.和Yi，W.（1996）。UPPAAL-实时系统自动验证的工具套件。在混合系统III中，计算机科学课堂讲稿（第232-243页）。斯普林格·弗拉格。
[5] Boukra，R。；拉哈耶，S。；Boimond，J.-L.，《（####）自动机的新表示及其在离散事件系统性能评估和控制中的应用》，离散事件动态系统，25，1-2，295-322（2015）·Zbl 1328.93162号 ·doi:10.1007/s10626-013-0178-y
[6] Gaubert，S.，《（####）自动机的性能评估》，IEEE自动控制汇刊，40,122014-2025（1995）·Zbl 0855.93019号 ·doi:10.1109/9.478227
[7] Gaubert，S。；Mairesse，J.，使用碎片堆对时间petri网进行建模和分析，IEEE自动控制事务，44，4，683-698（1999）·Zbl 0955.68082号 ·数字对象标识代码：10.1109/9.754807
[8] Henzinger，T.A.、Manna，Z.和Pnueli，A.（1991）。定时过渡系统。REX项目的研讨会/学校/专题讨论会（并发系统中的研究和教育）（第600卷，第226-251页）。柏林。
[9] Komenda，J。；拉哈耶，S。；Boimond，J.-L.，《（####）自动机的监督控制：行为方法》，离散事件动态系统，19，4，525-549（2009）·Zbl 1180.93068号 ·doi:10.1007/s10626-009-0083-6
[10] 李，Z。；Ierepatritou，M.，《不确定性下的过程调度：回顾与挑战》，计算机与化学工程，32，4-5，715-727（2008）·doi:10.1016/j.compchemeng.2007.03.001
[11] Murata，T.，《Petri网：属性、分析和应用》，《IEEE学报》，77，4，541-580（1989）·数字对象标识代码：10.1109/5.24143
[12] Niguez，J.、Amari，S.和Faure，J.-M.（2016）。dioids代数中带保护的时间自动机的分析。WODES 2016，离散事件系统国际研讨会。西安。
[13] Ramadge，P.J.G。；Wonham，W.M.，一类离散事件过程的监督控制，SIAM控制与优化杂志，25，1，206-230（1987）·Zbl 0618.93033号 ·doi:10.1137/0325013
[14] Ramadge，P.J.G。；Wonham，W.M.，《离散事件系统的控制》，IEEE会议录，77，81-98（1989）·数字对象标识代码：10.1109/5.21072
[15] Tamsaouet，F。；Amari，S.，《使用带防护和（####）代数的时间自动机对网络控制系统进行建模和时间评估》，《国际系统科学杂志》，49，10，2073-2088（2018）·Zbl 1482.93235号 ·doi:10.1080/00207721.2018.1483541
[16] 张伟杰。；van Luttervelt，C.A.，朝向弹性制造系统，CIRP年鉴-制造技术，60，1469-472（2011）·doi:10.1016/j.cirp.2011.03.041
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。