Control of Nonlinear Switched Systems Based on Validated Simulation

December 13, 2017 in by

by Adrien Le Coënt, Julien Alexandre dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
Reference:
Adrien Le Coënt, Julien Alexandre dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. Control of Nonlinear Switched Systems Based on Validated Simulation. In Proceedings of the 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16). IEEE Computer Society Press, July 2016. (To appear)
Bibtex Entry:
@string{jul="July"}
@inproceedings{LACF-snr16,
  address =       {Vienna, Austria},
  author =        {Le{~}Co{"e}nt, Adrien and
                   Alexandre{ }dit{ }Sandretto, Julien and
                   Chapoutot, Alexandre and Fribourg, Laurent},
  booktitle =     {{P}roceedings of the 2nd {I}nternational {W}orkshop
                   on {S}ymbolic and {N}umerical {M}ethods for
                   {R}eachability {A}nalysis ({SNR}'16)},
  month =         jul,
  note =          {To~appear},
  publisher =     {{IEEE} Computer Society Press},
  title =         {Control of Nonlinear Switched Systems Based on
                   Validated Simulation},
  year =          {2016},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  LACF-snr16.pdf},
  category =      {conf},
  wps =           {wp4},
  partners =      {CNRS},
  casstingpart =  {50},
}