HSCC 2009: Hybrid Systems: Computation and Control pp 90-104 | Cite as
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
Conference paper
Abstract
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-TiGA for synthesis, phaver for verification, and Simulink for 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.
Keywords
Game Model Optimal Controller Hybrid Automaton Function Noise Automatic Synthesis
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: Uppaal-tiga: Time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121–125. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 2.Brihaye, T., Bruyère, V., Raskin, J.-F.: On optimal timed strategies. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol. 3829, pp. 49–64. Springer, Heidelberg (2005)CrossRefGoogle Scholar
- 3.Cassez, F., David, A., Larsen, K.G., Lime, D., Raskin, J.-F.: Timed control with observation based and stuttering invariant strategies. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 192–206. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 4.Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech. Int. Journal on Software Tools for Technology Transfer (STTT) 1(1–2) (1997); Extended and Revised version of [5]Google Scholar
- 5.Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258–273. Springer, Heidelberg (2005)CrossRefGoogle Scholar
- 6.Hermanns, H., Mittermüller, K.S., van Kuppeveld, T., Pedersen, J.S., Hougaard, P.: Preliminary descriptions of case studies. Quasimodo Deliverable D5.2, v1.0, Confidential Document (July 2008)Google Scholar
- 7.Jessen, J.J., Rasmussen, J.I., Larsen, K.G., David, A.: Guided controller synthesis for climate controller using Uppaal Tiga. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 227–240. Springer, Heidelberg (2007)CrossRefGoogle Scholar
- 8.Simulink (2008), http://www.mathworks.com/products/simulink/
Copyright information
© Springer-Verlag Berlin Heidelberg 2009