离散事件系统最优控制器的综合
形式语言与自动机理论
2011-02-03 v1 系统与控制
摘要
在本文中，我们引入了离散事件系统最优控制器的综合问题，并提出了一种解决该问题的过程，其中方法和规约由有限状态自动机表示，且复杂度递增。我们将遵循由 Ramadge 和 Wonham 提出的监督控制理论所开创的综合方法论。我们将通过一个简单示例以及一个高复杂度模型来进行说明。本着这种精神，用于规约与开发的语言、方法和工具开发必须达到一定的质量水平，以满足所表达的需求。面对这种情况，在本研究中，我们通过装备和调整在工业项目中最广泛使用的 UML（统一建模语言），来帮助在系统开发周期中系统性地使用形式化方法。
引用
@article{arxiv.1102.0371,
title = {Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets},
author = {Jean Marie Moanda Ndeko and Junior Jugis Bakola Mongo},
journal= {arXiv preprint arXiv:1102.0371},
year = {2011}
}
备注
l'article pr\'esent\'e \`a 6 pages