@article{https://resolver.caltech.edu/CaltechAUTHORS:20100127-085656842,
    title = "Distributed Multi-Parametric Quadratic Programming",
    journal = "IEEE Transactions on Automatic Control",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100127-085656842",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2009.2014916",
    volume = "54"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20091105-094523658,
    title = "Distributed Multi-Parametric Quadratic Programming",
    journal = "IEEE Transactions on Automatic Control",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20091105-094523658",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2009.2014916",
    volume = "54"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:PRAieeetac07,
    title = "A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates",
    journal = "IEEE Transactions on Automatic Control",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:PRAieeetac07",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2007.902736",
    volume = "52"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:JADieeetac01,
    title = "Unconstrained receding-horizon control of nonlinear systems",
    journal = "IEEE Transactions on Automatic Control",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:JADieeetac01",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/9.920800",
    volume = "46"
}