@misc{bid-gou-put-22-aa-reach,
  author = {Bidet, François and Goubault, {\'E}ric and Putot, Sylvie},
  title = {Work in Progress: {Reachability} Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark},
  howpublished = {Online document.},
  year = 2022,
  url = {http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Publications/fvps18.pdf},
  comments = {Uses a combination of AA and Taylor models to solve reachability of hybrid continuous/discrete state systems},
  abstract = {This article presents an extension of the method of [1] to time-triggered hybrid systems, providing over- and under-approximations of the set of reachable states. Our results on the vehicles platoon benchmark [2] compare favorably to the state of the art tools Flow* and SpaceEx, with more precise over-approximations. Moreover, we provide a measure of the approximation’s accuracy using the ratio of under- to overapproximation.}
}