×
赵千川;毛剑锋;叶涛

具有最小最大定时约束的循环事件规则系统的时间分离。 （英语） 兹比尔1148.93023

西奥。计算。科学。 407，编号1-3，496-510（2008）。
摘要：事件时间间隔的分析是离散事件系统设计和评估中的一个基本问题。在过去十年中，基于事件规则系统模型的研究取得了重要进展。对于具有最小和最大约束的事件规则系统，现有的结果可以概括为：非循环系统时间间隔的精确计算是NP完全的；对于循环系统，紧耦合的结构条件足以使事件的长期时间间隔有界。本文建立了具有最小和最大约束的循环事件规则系统结构有界条件一致性的充要条件。紧耦合系统是一类特殊的均匀系统。众所周知的CAS算法用于寻找长期时间分离的边界，适用于寻找均匀系统的有限边界。我们的结果是通过探索指导系统演化的代数结构得到的。

MSC公司：

93C55美元 离散时间控制/观测系统
93元65角 离散事件控制/观测系统

关键词：

离散事件系统;时间间隔;事件规则系统;最小最大系统;循环时序约束图
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zhao}等人，Theor。计算。科学。407，编号1--3，496--510（2008；Zbl 1148.93023）
全文： 内政部

参考文献：

[1] 巴切利，F。；科恩，G。；Olsder，G.J。；Quadrat，J.-P.，《同步与线性》（1992），John Wiley&Sons，Inc·Zbl 0824.93003号
[2] S.M.Burns，异步电路的性能分析和优化，加州理工学院博士论文。，帕萨迪纳，1991年；S.M.Burns，异步电路的性能分析和优化，加州理工学院博士论文。，帕萨迪纳，1991年
[3] Supratik Chakraborty，异步系统近似定时分析的多项式时间技术，博士论文，斯坦福大学，加利福尼亚州斯坦福，1998年；Supratik Chakraborty，异步系统近似定时分析的多项式时间技术，博士论文，斯坦福大学，加利福尼亚州斯坦福，1998年
[4] 查克拉波蒂，苏普拉蒂克；云，肯尼斯·Y。；Dill，David L.，使用事件时间分离的异步系统时序分析，IEEE集成电路和系统计算机辅助设计汇刊，18，8，1061-1076（1999）
[5] 查克拉波蒂，苏普拉蒂克；大卫·迪尔。法律。；云，肯尼思。Y.，事件近似时间分离的高效算法，载于《萨达纳：工程科学院学报》，印度科学院，27，2，129-162（2002）·Zbl 1018.68098号
[6] 程益平；郑大中，最小-最大系统轨道的极限周期性，IEEE自动控制汇刊，471937-1940（2002）·Zbl 1364.93456号
[7] 克拉克，E.M。；格伦伯格，O。；Peled，D.A.，《模型检验》（1999年），麻省理工学院出版社：麻省理学院出版社，剑桥
[8] Cochet-Terrasson，J。；Gaubert，S。；Gunawardena，J.，min-max函数的构造不动点定理，系统动力学和稳定性，14407-433（1999）·Zbl 0958.47028号
[9] 科恩，G。；莫勒，P。；Quadrat，J.-P。；Viot，M.，《离散事件系统性能评估的代数工具》，IEEE学报，77，1，39-58（1989）
[10] Gaubert，S。；Gunawardena，J.，min-max函数的对偶定理，Comptes-Rendus Académie des Sciences，32643-48（1998）·Zbl 0933.49017号
[11] S.Gaubert，J.Gunawardena，单调齐次函数特征向量的存在性，技术报告HPL-BRIMS-99-08，惠普实验室，1999；S.Gaubert，J.Gunawardena，单调齐次函数特征向量的存在性，技术报告HPL-BRIMS-99-08，惠普实验室，1999·Zbl 1067.47064号
[12] Gunawardena，J.，《数字电路的时序分析和最小最大函数理论》，（ACM数字系统规范和合成中的时序问题国际研讨会技术论文摘要（1993年），ACM:ACM纽约）
[13] Gunawardena，J.，Min-max函数，J.DEDS，4377-406（1994）·Zbl 0841.93029号
[14] Hulgaard，H。；Amon，T.，异步系统的符号定时分析，IEEE集成电路和系统计算机辅助设计汇刊，19，10，1093-1104（2000）
[15] Hulgaard，H。；Burns，S.M.，一类csp程序的有界延迟时间分析，系统设计中的形式化方法，11，265-294（1997）
[16] Hulgaard，H。；Burns，S.M。；Amon，T。；Borriello，G.，并发系统中事件时间分离的精确界限算法，IEEE计算机事务，44，11，1306-1317（1995）·兹比尔1054.68516
[17] K.L.McMillan，D.L.Dill，接口定时验证算法，in：Proc。IEEE国际计算机设计会议：计算机和处理器中的超大规模集成电路，1992年，第48-51页；K.L.McMillan，D.L.Dill，接口时序验证算法，in：Proc。IEEE国际计算机设计会议：计算机和处理器中的超大规模集成电路，1992年，第48-51页
[18] Myers，C.J.，《异步电路设计》（2001），John Wiley&Sons，Inc。
[19] Myers，C.J。；孟天华，定时异步电路的综合，IEEE Transactions VLSI Systems，1，2，106-119（1993）
[20] Olsder，G.J.，动态最大最小系统的特征值，J.DEDS，1177-207（1991）·Zbl 0747.93014号
[21] G.J.Olsder，《关于技术报告TWI报告93-95中min-max系统的结构特性》，代尔夫特理工大学技术数学与信息学院，1993年；G.J.Olsder，《关于技术报告TWI报告93-95中min-max系统的结构特性》，代尔夫特理工大学技术数学与信息学院，1993年·Zbl 0822.93004号
[22] Robert，F.，《离散迭代——度量研究》（1986），Springer-Verlag:Springer-Verlag纽约·Zbl 0639.39005号
[23] Shin，Kang G。；Kim，Hagbae，使用故障状态可能性的TMR故障时间冗余方法，IEEE计算机事务，43，10，1151-1162（1994）·Zbl 1063.68545号
[24] 陶月刚；陈文德，最小最大系统的周期时间分配，国际控制杂志，761790-1799（2003）·Zbl 1073.93548号
[25] 范德沃德，J.W。；Subiono，二部（（min，max，+）系统特征值结构存在的条件，理论计算机科学，293，1，13-24（2003）·Zbl 1043.93025号
[26] E.A.Walkup，线性max-plus系统的优化及其在时序分析中的应用，华盛顿大学博士论文，西雅图，1995年；E.A.Walkup，线性max-plus系统的优化及其在时序分析中的应用，华盛顿大学博士论文，西雅图，1995年
[27] Yen，T.-Y。；石井，A。；Casavant，A。；Wolf，W.，接口时序验证的有效算法，系统设计中的形式化方法，12，3，241-265（1998）
[28] 赵千川；郑大中；朱新平，最小最大系统的结构性质与全局循环时间的存在性，IEEE自动控制汇刊，46，1，148-151（2001）·Zbl 0992.93053号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。