Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
复制标题
DOI：
10.1007/978-3-642-00602-9_7
复制
发表时间：
2009-04
期刊：
影响因子：
--
通讯作者：
F. Cassez;Jan Jakob Jessen;K. Larsen;Jean-François Raskin;Pierre-Alain Reynier
中科院分区：
文献类型：
--
作者：
F. Cassez;Jan Jakob Jessen;K. Larsen;Jean-François Raskin;Pierre-Alain Reynier
在本文中，我们将展示如何应用最新的工具，为真实的工业案例研究的鲁棒和近最优控制器的自动合成。我们展示了如何使用三种不同类别的模型及其支持现有的工具，Uppaal-TiGA合成，phaverfor验证，andSimulink仿真，在一个互补的方式。我们相信，这个案例研究表明，我们的工具已经达到了成熟的水平，使我们能够解决有趣的和相关的工业控制问题。
In this paper, we show how to apply recent tools for the automatic synthesis of robust and near-optimal controllers for a real industrial case study. We show how to use three different classes of models and their supporting existing tools,Uppaal-TiGAfor synthesis,phaverfor verification, andSimulinkfor simulation, in a complementary way. We believe that this case study shows that our tools have reached a level of maturity that allows us to tackle interesting and relevant industrial control problems.