@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.} }