@incollection{Girard_2008,
    doi = {10.1007/978-3-540-78929-1_16},
    url = {https://doi.org/10.1007%2F978-3-540-78929-1_16},
    year = {2008},
    publisher = {Springer Berlin Heidelberg},
    pages = {215--228},
    author = {Antoine Girard and Colas Le Guernic},
    title = {Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis},
    booktitle = {Hybrid Systems: Computation and Control}
}

@incollection{Girard_2008, doi = {10.1007/978-3-540-78929-1_16}, url = {https://doi.org/10.1007%2F978-3-540-78929-1_16}, year = {2008}, publisher = {Springer Berlin Heidelberg}, pages = {215--228}, author = {Antoine Girard and Colas Le Guernic}, title = {Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis}, booktitle = {Hybrid Systems: Computation and Control} }