@inproceedings{DBLP:conf/hybrid/DuggiralaM12,
  author    = {Parasara Sridhar Duggirala and
               Sayan Mitra},
  editor    = {Thao Dang and
               Ian M. Mitchell},
  title     = {Lyapunov abstractions for inevitability of hybrid systems},
  booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
               HSCC'12, Beijing, China, April 17-19, 2012},
  pages     = {115--124},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2185632.2185652},
  doi       = {10.1145/2185632.2185652},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/hybrid/DuggiralaM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"v3ptmoAQLFrBTNJnS","bibbaseid":"duggirala-mitra-lyapunovabstractionsforinevitabilityofhybridsystems-2012","downloads":0,"creationDate":"2017-10-05T05:28:27.003Z","title":"Lyapunov abstractions for inevitability of hybrid systems","author_short":["Duggirala, P. S.","Mitra, S."],"year":2012,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Parasara","Sridhar"],"propositions":[],"lastnames":["Duggirala"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Thao"],"propositions":[],"lastnames":["Dang"],"suffixes":[]},{"firstnames":["Ian","M."],"propositions":[],"lastnames":["Mitchell"],"suffixes":[]}],"title":"Lyapunov abstractions for inevitability of hybrid systems","booktitle":"Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012","pages":"115–124","publisher":"ACM","year":"2012","url":"https://doi.org/10.1145/2185632.2185652","doi":"10.1145/2185632.2185652","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/hybrid/DuggiralaM12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hybrid/DuggiralaM12,\n author = {Parasara Sridhar Duggirala and\n Sayan Mitra},\n editor = {Thao Dang and\n Ian M. Mitchell},\n title = {Lyapunov abstractions for inevitability of hybrid systems},\n booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),\n HSCC'12, Beijing, China, April 17-19, 2012},\n pages = {115--124},\n publisher = {{ACM}},\n year = {2012},\n url = {https://doi.org/10.1145/2185632.2185652},\n doi = {10.1145/2185632.2185652},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/hybrid/DuggiralaM12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Duggirala, P. S.","Mitra, S."],"editor_short":["Dang, T.","Mitchell, I. M."],"key":"DBLP:conf/hybrid/DuggiralaM12","id":"DBLP:conf/hybrid/DuggiralaM12","bibbaseid":"duggirala-mitra-lyapunovabstractionsforinevitabilityofhybridsystems-2012","role":"author","urls":{"Paper":"https://doi.org/10.1145/2185632.2185652"},"downloads":0},"search_terms":["lyapunov","abstractions","inevitability","hybrid","systems","duggirala","mitra"],"keywords":["hybrid systems","verification","dblp"],"authorIDs":["59d5c2fab06428b81f000015"],"dataSources":["64vhzPQouTD2xtS3j"]}