@inproceedings{DBLP:conf/hybrid/CassezJLRR09,
  author    = {Franck Cassez and
               Jan Jakob Jessen and
               Kim Guldstrand Larsen and
               Jean{-}Fran{\c{c}}ois Raskin and
               Pierre{-}Alain Reynier},
  editor    = {Rupak Majumdar and
               Paulo Tabuada},
  title     = {Automatic Synthesis of Robust and Optimal Controllers - An Industrial
               Case Study},
  booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
               {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  pages     = {90--104},
  year      = {2009},
  crossref  = {DBLP:conf/hybrid/2009},
  url       = {http://dx.doi.org/10.1007/978-3-642-00602-9_7},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  publisher = {Springer},
  doi       = {10.1007/978-3-642-00602-9_7},
  urlpaper = {papers/hscc-09.pdf},
  keywords = {control, synthesis, hybrid automata},
        Type = {B - International Conferences},

  abstract = { Int his 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.}
 }

{"_id":"arW8d5bTiLDALErPa","bibbaseid":"cassez-jessen-larsen-raskin-reynier-automaticsynthesisofrobustandoptimalcontrollersanindustrialcasestudy-2009","author_short":["Cassez, F.","Jessen, J. J.","Larsen, K. G.","Raskin, J.","Reynier, P."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Jan","Jakob"],"propositions":[],"lastnames":["Jessen"],"suffixes":[]},{"firstnames":["Kim","Guldstrand"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Jean-François"],"propositions":[],"lastnames":["Raskin"],"suffixes":[]},{"firstnames":["Pierre-Alain"],"propositions":[],"lastnames":["Reynier"],"suffixes":[]}],"editor":[{"firstnames":["Rupak"],"propositions":[],"lastnames":["Majumdar"],"suffixes":[]},{"firstnames":["Paulo"],"propositions":[],"lastnames":["Tabuada"],"suffixes":[]}],"title":"Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study","booktitle":"Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings","pages":"90–104","year":"2009","crossref":"DBLP:conf/hybrid/2009","url":"http://dx.doi.org/10.1007/978-3-642-00602-9_7","series":"Lecture Notes in Computer Science","volume":"5469","publisher":"Springer","doi":"10.1007/978-3-642-00602-9_7","urlpaper":"papers/hscc-09.pdf","keywords":"control, synthesis, hybrid automata","abstract":"Int his 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.","bibtex":"@inproceedings{DBLP:conf/hybrid/CassezJLRR09,\n author = {Franck Cassez and\n Jan Jakob Jessen and\n Kim Guldstrand Larsen and\n Jean{-}Fran{\\c{c}}ois Raskin and\n Pierre{-}Alain Reynier},\n editor = {Rupak Majumdar and\n Paulo Tabuada},\n title = {Automatic Synthesis of Robust and Optimal Controllers - An Industrial\n Case Study},\n booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,\n {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},\n pages = {90--104},\n year = {2009},\n crossref = {DBLP:conf/hybrid/2009},\n url = {http://dx.doi.org/10.1007/978-3-642-00602-9_7},\n series = {Lecture Notes in Computer Science},\n volume = {5469},\n publisher = {Springer},\n doi = {10.1007/978-3-642-00602-9_7},\n urlpaper = {papers/hscc-09.pdf},\n keywords = {control, synthesis, hybrid automata},\n Type = {B - International Conferences},\n\n abstract = { Int his 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.}\n }\n\n\n","author_short":["Cassez, F.","Jessen, J. J.","Larsen, K. G.","Raskin, J.","Reynier, P."],"editor_short":["Majumdar, R.","Tabuada, P."],"key":"DBLP:conf/hybrid/CassezJLRR09","id":"DBLP:conf/hybrid/CassezJLRR09","bibbaseid":"cassez-jessen-larsen-raskin-reynier-automaticsynthesisofrobustandoptimalcontrollersanindustrialcasestudy-2009","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/hscc-09.pdf"},"keyword":["control","synthesis","hybrid automata"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["control","synthesis","hybrid automata"],"search_terms":["automatic","synthesis","robust","optimal","controllers","industrial","case","study","cassez","jessen","larsen","raskin","reynier"],"title":"Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study","year":2009}