{"_id":"GREkwzsgbQABmQF2s","bibbaseid":"chan-mitra-codevautomatedmodelpredictivecontroldesignandformalverification-2018","downloads":0,"creationDate":"2019-02-23T06:37:55.840Z","title":"CODEV: Automated Model Predictive Control Design and Formal Verification","author_short":["Chan, N.","Mitra, S."],"year":2018,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nicole"],"propositions":[],"lastnames":["Chan"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"editor":[{"firstnames":["Maria"],"propositions":[],"lastnames":["Prandini"],"suffixes":[]},{"firstnames":["Jyotirmoy","V."],"propositions":[],"lastnames":["Deshmukh"],"suffixes":[]}],"title":"CODEV: Automated Model Predictive Control Design and Formal Verification","booktitle":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018","pages":"281–282","publisher":"ACM","year":"2018","url":"https://doi.org/10.1145/3178126.3187003","doi":"10.1145/3178126.3187003","timestamp":"Wed, 21 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/hybrid/ChanM18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hybrid/ChanM18,\n author = {Nicole Chan and\n Sayan Mitra},\n editor = {Maria Prandini and\n Jyotirmoy V. Deshmukh},\n title = {{CODEV:} Automated Model Predictive Control Design and Formal Verification},\n booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:\n Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,\n Portugal, April 11-13, 2018},\n pages = {281--282},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3178126.3187003},\n doi = {10.1145/3178126.3187003},\n timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/hybrid/ChanM18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Chan, N.","Mitra, S."],"editor_short":["Prandini, M.","Deshmukh, J. V."],"key":"DBLP:conf/hybrid/ChanM18","id":"DBLP:conf/hybrid/ChanM18","bibbaseid":"chan-mitra-codevautomatedmodelpredictivecontroldesignandformalverification-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3178126.3187003"},"downloads":0},"search_terms":["codev","automated","model","predictive","control","design","formal","verification","chan","mitra"],"keywords":["dblp"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}