3.8 Proceedings Paper

Automatic Specification Generation for Tracking Control in Interpreted Petri nets

出版社

IEEE

关键词

-

资金

  1. Conacyt Fondo Sectorial de Investigacion para la Educacion [288470]

向作者/读者索取更多资源

In the Tracking control paradigm for Interpreted Petri nets (IPN), the control objective is to enforce the plant (the system to be controlled) to perform sequences of actuators' states, these required sequences are named the specification; both, plant and specification are modelled as IPNs. In this work, a methodology for the design of specifications for the tracking control paradigm is proposed for the control of industrial automated systems. In the presented methodology, the practitioner provides minimum information about the plant's desired behavior, and based on this information the specification is automatically generated as an IPN; using both, the plant and specification models, the existing tracking control synthesis algorithms can be applied.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

3.8
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据