@InCollection{SCC.Prajna.Jadbabaie2004,
  author    = {Prajna, Stephen and Jadbabaie, Ali},
  title     = {Safety verification of hybrid systems using barrier certificates},
  booktitle = {Hybrid Systems: Computation and Control},
  publisher = {Springer Berlin Heidelberg},
  year      = {2004},
  editor    = {Alur, Rajeev and Pappas, George J.},
  pages     = {477--492},
  doi       = {10.1007/978-3-540-24743-2_32},
  file      = {SCC.Prajna.Jadbabaie2004.pdf:SCC.Prajna.Jadbabaie2004.pdf:PDF},
  owner     = {Kamalapurkar},
  timestamp = {2016-10-25},
}

{"_id":"CD7eSRQbGovsCh3N3","bibbaseid":"prajna-jadbabaie-safetyverificationofhybridsystemsusingbarriercertificates-2004","authorIDs":[],"author_short":["Prajna, S.","Jadbabaie, A."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Prajna"],"firstnames":["Stephen"],"suffixes":[]},{"propositions":[],"lastnames":["Jadbabaie"],"firstnames":["Ali"],"suffixes":[]}],"title":"Safety verification of hybrid systems using barrier certificates","booktitle":"Hybrid Systems: Computation and Control","publisher":"Springer Berlin Heidelberg","year":"2004","editor":[{"propositions":[],"lastnames":["Alur"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Pappas"],"firstnames":["George","J."],"suffixes":[]}],"pages":"477–492","doi":"10.1007/978-3-540-24743-2_32","file":"SCC.Prajna.Jadbabaie2004.pdf:SCC.Prajna.Jadbabaie2004.pdf:PDF","owner":"Kamalapurkar","timestamp":"2016-10-25","bibtex":"@InCollection{SCC.Prajna.Jadbabaie2004,\r\n author = {Prajna, Stephen and Jadbabaie, Ali},\r\n title = {Safety verification of hybrid systems using barrier certificates},\r\n booktitle = {Hybrid Systems: Computation and Control},\r\n publisher = {Springer Berlin Heidelberg},\r\n year = {2004},\r\n editor = {Alur, Rajeev and Pappas, George J.},\r\n pages = {477--492},\r\n doi = {10.1007/978-3-540-24743-2_32},\r\n file = {SCC.Prajna.Jadbabaie2004.pdf:SCC.Prajna.Jadbabaie2004.pdf:PDF},\r\n owner = {Kamalapurkar},\r\n timestamp = {2016-10-25},\r\n}\r\n\r\n","author_short":["Prajna, S.","Jadbabaie, A."],"editor_short":["Alur, R.","Pappas, G. J."],"key":"SCC.Prajna.Jadbabaie2004","id":"SCC.Prajna.Jadbabaie2004","bibbaseid":"prajna-jadbabaie-safetyverificationofhybridsystemsusingbarriercertificates-2004","role":"author","urls":{},"downloads":0},"bibtype":"incollection","biburl":"https://www.dropbox.com/s/ulqmhc6o5w2em3p/sccmaster.bib?dl=1","creationDate":"2019-05-28T23:29:26.749Z","downloads":0,"keywords":[],"search_terms":["safety","verification","hybrid","systems","using","barrier","certificates","prajna","jadbabaie"],"title":"Safety verification of hybrid systems using barrier certificates","year":2004,"dataSources":["aDrN6vnZWqY8fA7E8"]}