Timed automata abstraction of switched dynamical systems using control funnels

December 12, 2017 in by

by Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber
Reference:
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber. Timed automata abstraction of switched dynamical systems using control funnels. In Proceedings of the 13th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’15), pages 60-75. Volume 9268 of Lecture Notes in Computer Science. Springer, September 2015.
Bibtex Entry:
@string{sep="September"}
@inproceedings{BMPS-formats15,
  address =       {Madrid, Spain},
  author =        {Bouyer, Patricia and Markey, Nicolas and
                   Perrin, Nicolas and Schlehuber, Philipp},
  booktitle =     {{P}roceedings of the 13th {I}nternational
                   {C}onference on {F}ormal {M}odelling and {A}nalysis
                   of {T}imed {S}ystems ({FORMATS}'15)},
  editor =        {Sankaranarayanan, Sriram and Vicario, Enrico},
  month =         sep,
  pages =         {60-75},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Timed automata abstraction of switched dynamical
                   systems using control funnels},
  volume =        {9268},
  year =          {2015},
  doi =           {10.1007/978-3-319-22975-1_5},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BMPS-formats15.pdf},
  category =      {conf},
  wps =           {wp3 and wp4},
  partners =      {CNRS},
  casstingpart =  {100},
}