Automatic synthesis of robust and optimal controllers - An industrial case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5469, Issue , 2009, Pages 90-104

  Cassez, Franck ^a   Jessen, Jan J ^b   Larsen, Kim G ^b   Raskin, Jean François ^c   Reynier, Pierre Alain ^d  

^a CSIRO   (Australia)

^b AALBORG UNIVERSITY   (Denmark)

^c UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^d AIX MARSEILLE UNIV   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SYNTHESIS; INDUSTRIAL CASE STUDY; INDUSTRIAL CONTROLS; OPTIMAL CONTROLLER; SIMULINK;

ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS;

CONTROLLERS;

EID: 67650112947     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_7     Document Type: Conference Paper

References (8)

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)
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) (Pubitemid 43952385)
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., Oka-mura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 192-206. Springer, Heidelberg (2007)
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]
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) (Pubitemid 41252072)
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)
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)
8. Simulink (2008), http://www.mathworks.com/products/simulink/