@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110413-070807497,
    title = "2010 American Control Conference (ACC)",
    chapter = "Path Planning for Multiple Robots: An Alternative Duality Approach",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110413-070807497",
    id = "record",
    isbn = "978-1-4244-7426-4"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20091105-094523658,
    title = "Distributed Multi-Parametric Quadratic Programming",
    journal = "IEEE Transactions on Automatic Control",
    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:20100127-085656842,
    title = "Distributed Multi-Parametric Quadratic Programming",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100127-085656842",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2009.2014916",
    volume = "54"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100507-101357702,
    title = "American Control Conference, 2009",
    chapter = "Approximation methods and spatial interpolation in distributed control systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100507-101357702",
    id = "record",
    isbn = "978-1-4244-4523-3",
    doi = "10.1109/ACC.2009.5160523"
}


@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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:PRAieeetac07",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2007.902736",
    volume = "52"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110829-081539175,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "Methods for Safety Verification of Time-Delay Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110829-081539175",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1582846"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:AHMcdc-ecc05,
    title = "IEEE Conference on Decision and Control, 44th, and 2005 European Control Conference. CDC-ECC '05.",
    chapter = "Analysis of the lactose metabolism in E. coli using sum-of-squares decomposition",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:AHMcdc-ecc05",
    id = "record",
    isbn = "0780395670",
    doi = "10.1109/CDC.2005.1582268"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110816-095603646,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "Synchronization in Oscillator Networks: Switching Topologies and Non-homogeneous Delays",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110816-095603646",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1583070"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20111018-155010644,
    title = "2004 43rd IEEE Conference on Decision and Control",
    chapter = "Stochastic Safety Verification Using Barrier Certificates",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20111018-155010644",
    id = "record",
    isbn = "0-7803-8682-5",
    doi = "10.1109/CDC.2004.1428804"
}


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