传统工艺与数据的监督协调
摘要：使用监控控制器安全地协调复杂系统的分布式组件的高级离散事件行为。监控控制器观察离散事件系统的行为，对允许的活动进行决策，并将控制信号传达给相关方。监控控制器的模型可以基于系统组件的形式模型和安全协调（控制）要求的形式化来自动合成。基于获得的模型，可以使用代码生成在软件、PLC或嵌入式（微）处理器中实现监控控制器。在本文中，我们开发了一种支持基于模型的系统工程框架的带有数据的过程理论，用于监控协调。我们使用通信来区分不同的信息流，即观察和监控，而使用数据来更紧凑地指定协调要求，并增加框架的表达能力。为了说明这个框架，我们重新建模了一个涉及高科技Oce打印机的打印流程维护协调的工业案例研究。
作者：Jasen Markovski (Eindhoven University of Technology)
论文ID：1209.1434
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-09-10