@incollection{Mitchell_2000,
    doi = {10.1007/3-540-46430-1_27},
    url = {https://doi.org/10.1007%2F3-540-46430-1_27},
    year = {2000},
    publisher = {Springer Berlin Heidelberg},
    pages = {310--323},
    author = {Ian Mitchell and Claire J. Tomlin},
    title = {Level Set Methods for Computation in Hybrid Systems},
    booktitle = {Hybrid Systems: Computation and Control}
}

@incollection{Mitchell_2000, doi = {10.1007/3-540-46430-1_27}, url = {https://doi.org/10.1007%2F3-540-46430-1_27}, year = {2000}, publisher = {Springer Berlin Heidelberg}, pages = {310--323}, author = {Ian Mitchell and Claire J. Tomlin}, title = {Level Set Methods for Computation in Hybrid Systems}, booktitle = {Hybrid Systems: Computation and Control} }