@ARTICLE{Cortos-MSR05-control-journal,
  AUTHOR = {Altisen, Karine and Bouyer, Patricia and Cachat, Thierry and Cassez, Franck and Gardey, Guillaume},
  JOURNAL = {European Journal of Automated Systems},
  PAGES = {367-380},
  VOLUME = {39},
  NUMBER = {1-2-3},
  Type = {A - Journal},
  PUBLISHER = {Herm{\`e}s},
  TITLE = {Introduction au contrôle des syst{\`e}mes temps-r{\'e}el},
  urlpaper = {papers/intro-control-msr05.pdf},
  urlslides ={papers/slides-msr05.pdf},
  url_link = {http://www.lsv.ens-cachan.fr/aci-cortos},
  YEAR = {2005},
  note =  {From {A}ctes du 5{\`e}me {C}olloque sur la {M}od{\'e}lisation des {S}yst{\`e}mes {R}{\'e}actifs ({MSR}'05)},
  abstract = { In this paper we give a quick overview of the area of control of real-time systems.},
  keywords = {control, synthesis, timed games},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% 2004
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

{"_id":"Na3eY3nao9NhPcWdT","bibbaseid":"altisen-bouyer-cachat-cassez-gardey-introductionaucontrledessystmestempsrel-2005","author_short":["Altisen, K.","Bouyer, P.","Cachat, T.","Cassez, F.","Gardey, G."],"bibdata":{"bibtype":"article","type":"A - Journal","author":[{"propositions":[],"lastnames":["Altisen"],"firstnames":["Karine"],"suffixes":[]},{"propositions":[],"lastnames":["Bouyer"],"firstnames":["Patricia"],"suffixes":[]},{"propositions":[],"lastnames":["Cachat"],"firstnames":["Thierry"],"suffixes":[]},{"propositions":[],"lastnames":["Cassez"],"firstnames":["Franck"],"suffixes":[]},{"propositions":[],"lastnames":["Gardey"],"firstnames":["Guillaume"],"suffixes":[]}],"journal":"European Journal of Automated Systems","pages":"367-380","volume":"39","number":"1-2-3","publisher":"Hermès","title":"Introduction au contrôle des systèmes temps-réel","urlpaper":"papers/intro-control-msr05.pdf","urlslides":"papers/slides-msr05.pdf","url_link":"http://www.lsv.ens-cachan.fr/aci-cortos","year":"2005","note":"From Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05)","abstract":"In this paper we give a quick overview of the area of control of real-time systems.","keywords":"control, synthesis, timed games","bibtex":"@ARTICLE{Cortos-MSR05-control-journal,\n AUTHOR = {Altisen, Karine and Bouyer, Patricia and Cachat, Thierry and Cassez, Franck and Gardey, Guillaume},\n JOURNAL = {European Journal of Automated Systems},\n PAGES = {367-380},\n VOLUME = {39},\n NUMBER = {1-2-3},\n Type = {A - Journal},\n PUBLISHER = {Herm{\\`e}s},\n TITLE = {Introduction au contrôle des syst{\\`e}mes temps-r{\\'e}el},\n urlpaper = {papers/intro-control-msr05.pdf},\n urlslides ={papers/slides-msr05.pdf},\n url_link = {http://www.lsv.ens-cachan.fr/aci-cortos},\n YEAR = {2005},\n note = {From {A}ctes du 5{\\`e}me {C}olloque sur la {M}od{\\'e}lisation des {S}yst{\\`e}mes {R}{\\'e}actifs ({MSR}'05)},\n abstract = { In this paper we give a quick overview of the area of control of real-time systems.},\n keywords = {control, synthesis, timed games},\n}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n%%% 2004\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\n\n","author_short":["Altisen, K.","Bouyer, P.","Cachat, T.","Cassez, F.","Gardey, G."],"key":"Cortos-MSR05-control-journal","id":"Cortos-MSR05-control-journal","bibbaseid":"altisen-bouyer-cachat-cassez-gardey-introductionaucontrledessystmestempsrel-2005","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/intro-control-msr05.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-msr05.pdf"," link":"http://www.lsv.ens-cachan.fr/aci-cortos"},"keyword":["control","synthesis","timed games"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["control","synthesis","timed games"],"search_terms":["introduction","contr","des","syst","mes","temps","altisen","bouyer","cachat","cassez","gardey"],"title":"Introduction au contrôle des systèmes temps-réel","year":2005}