×
彼得·尼伯特;塞尔吉奥·尤文

计算化工厂多批次模式下的高效运行方案。 （英语） Zbl 1293.93526号

欧洲药典控制 7，第4号，440-453（2001）.
摘要：我们提出了一种计算机辅助方法，用于自动生成以多批次模式运行的化工间歇工厂的时间最优生产方案。我们的方法基于以下原则：（1）工厂在过程操作级别建模，其行为由时间自动机指定，（2）使用在OpenKronos公司（3）对验证工具的输出进行后处理，以导出高级控制代码。我们将我们的方法应用于多特蒙德大学的间歇工厂。自动计算的操作方案比以前使用的手写操作方案效率更高。

引用于2文件

MSC公司：

93元65角 离散事件控制/观测系统
90B30型 生产模型
90B36型 运筹学中的随机调度理论

关键词：

化学间歇过程;形式化建模;Petri网;过程控制;行程安排;时间自动机

软件：

克洛诺斯
PDF格式BibTeX公司 XML格式引用
\textit｛P.Niebert｝和\textit｛S.Yovine｝，《欧洲药典》第7版，第440-453号（2001年；Zbl 1293.93526）
全文： 内政部

参考文献：

[1] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Halbwachs，N。；Henzinger，T。；Ho，P。；尼克林，X。；奥利维罗，A。；Sifakis，J。；Yovine，S.，《混合系统的算法分析》，Theor。计算机科学，138，3-34（1995）·Zbl 0874.68206号
[2] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theor。计算机科学，126，2，183-235（1994）·Zbl 0803.68071号
[3] Altisen，K。；戈斯勒，G。；普努利，A。；Sifakis，J。；Tripakis，S。；Yovine，S.，《调度器综合框架》（实时系统研讨会论文集，RTSS’99）。实时系统研讨会论文集，RTSS’99，美国亚利桑那州凤凰城（1999年12月），IEEE计算机学会出版社
[4] Asarin，E。；Maler，O.，《尽快：时间自动机的时间最优控制》，《混合系统学报：计算和控制》，HSCC’99。计算机科学讲座笔记1569（1999），斯普林格·Zbl 0952.93064号
[5] 贝尔曼，G。；Fehnker，A。；Hune，T。；Larsen，K.G。；佩特森，P。；罗米恩，J。；Vaandrager，F.，线性定价时间自动机的最小成本可达性，混合系统学报：计算和控制，HSCC’01。计算机科学讲稿（2001），斯普林格
[6] Bouajjani，A。；Tripakis，S。；Yovine，S.，实时系统的实时符号模型检查（实时系统研讨会论文集，RTSS’97）。实时系统研讨会论文集，RTSS’97，美国加利福尼亚州旧金山（1997年12月），IEEE计算机学会出版社
[7] 博兹加，M。；Daws，C。；马勒，O。；奥利维罗，A。；Tripakis，S。；Yovine，S.，KRONO S：实时系统的模型检查工具，计算机辅助验证程序，CAV’98计算机科学讲义1427（1998），Springer
[8] 博兹加，M。；马勒，O。；普努利，A。；Yovine，S.，时间自动机符号验证的一些进展，计算机辅助验证论文集，CAV’97计算机科学讲义1254（1997），施普林格
[9] ISA S88.01批量控制第一部分，模型和术语。ANSI/ISA，1995年；ISA S88.01批量控制第一部分，模型和术语。ANSI/ISA，1995年
[10] 尼伯特，P。；Yovine，S.，《计算多分支模式下化工厂的最佳操作方案》，《混合系统学报：计算和控制》，HSCC’00计算机科学讲稿1790（2000），Springer·Zbl 0984.93061号
[11] 尼伯特，P。；Yovine，S.，《化工批处理厂生产方案的合成和调度》，《混合过程自动化程序：混合动态系统ADPM 2000（2000）》，Shaker Verlag
[12] 普努利，A。；Asarin，E。；马勒，O。；Sifakis，J.，《时间自动机的控制器综合》（IFAC系统结构和控制专题讨论会论文集
[13] Kowalewski S、Stursberg O、Bauer N。混合系统验证的实验分批装置示例。EJC混合动力系统验证专刊（已提交）；Kowalewski S、Stursberg O、Bauer N。混合系统验证的实验分批装置示例。EJC混合动力系统验证专刊（已提交）·Zbl 1293.93416号
[14] 欧洲项目ESPRIT-LTR 26270 VHS“混合系统验证”。网址：http://www-verimag.imag。fr；欧洲项目ESPRIT-LTR 26270 VHS“混合系统验证”。网址：http://www-verimag.imag。前
[15] Wonham，W.M。；Ramadge，P.J.，《关于给定语言的上可控制子语言》，SIAM J Control Optim，25，3，637-659（1987）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。