@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170725-125802135,
    title = "Hybrid Systems: Computation and Control",
    chapter = "Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170725-125802135",
    id = "record",
    isbn = "978-3-540-25108-8",
    doi = "10.1007/978-3-540-31954-2\_15"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200108-091258537,
    title = "Hybrid Systems: Computation and Control",
    chapter = "Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200108-091258537",
    id = "record",
    isbn = "9783540251088",
    doi = "10.1007/978-3-540-31954-2\_20"
}