{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T17:32:46Z","timestamp":1768411966612,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DARPA","award":["FA8750-18-C-0089"],"award-info":[{"award-number":["FA8750-18-C-0089"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,15]]},"DOI":"10.1145\/3313151.3313166","type":"proceedings-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T12:18:36Z","timestamp":1553516316000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Model-based design for CPS with learning-enabled components"],"prefix":"10.1145","author":[{"given":"Charles","family":"Hartsell","sequence":"first","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nagabhushan","family":"Mahadevan","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shreyas","family":"Ramakrishna","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore","family":"Bapty","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"TensorFlow: Large-scale machine learning on heterogeneous systems","author":"Abadi Mart\u00edn","year":"2015","unstructured":"Mart\u00edn Abadi , Ashish Agarwal , Paul Barham , Eugene Brevdo , Zhifeng Chen , Craig Citro , Greg S. Corrado , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Ian Goodfellow , Andrew Harp , Geoffrey Irving , Michael Isard , Yangqing Jia , Rafal Jozefowicz , Lukasz Kaiser , Manjunath Kudlur , Josh Levenberg , Dandelion Man\u00e9 , Rajat Monga , Sherry Moore , Derek Murray , Chris Olah , Mike Schuster , Jonathon Shlens , Benoit Steiner , Ilya Sutskever , Kunal Talwar , Paul Tucker , Vincent Vanhoucke , Vijay Vasudevan , Fernanda Vi\u00e9gas , Oriol Vinyals , Pete Warden , Martin Wattenberg , Martin Wicke , Yuan Yu , and Xiaoqiang Zheng . TensorFlow: Large-scale machine learning on heterogeneous systems , 2015 . Software available from tensorflow.org. Mart\u00edn Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Jozefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dandelion Man\u00e9, Rajat Monga, Sherry Moore, Derek Murray, Chris Olah, Mike Schuster, Jonathon Shlens, Benoit Steiner, Ilya Sutskever, Kunal Talwar, Paul Tucker, Vincent Vanhoucke, Vijay Vasudevan, Fernanda Vi\u00e9gas, Oriol Vinyals, Pete Warden, Martin Wattenberg, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. TensorFlow: Large-scale machine learning on heterogeneous systems, 2015. Software available from tensorflow.org."},{"key":"e_1_3_2_1_2_1","volume-title":"Unmanned Aircraft Systems (UAS) Operational Approval. online: https:\/\/www.faa.gov\/documentLibrary\/media\/Notice\/N_8900.227.pdf","author":"Federal Aviation Administration","year":"2013","unstructured":"Federal Aviation Administration . Unmanned Aircraft Systems (UAS) Operational Approval. online: https:\/\/www.faa.gov\/documentLibrary\/media\/Notice\/N_8900.227.pdf , 2013 . Federal Aviation Administration. Unmanned Aircraft Systems (UAS) Operational Approval. online: https:\/\/www.faa.gov\/documentLibrary\/media\/Notice\/N_8900.227.pdf, 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAM.2018.8463043"},{"key":"e_1_3_2_1_4_1","volume-title":"Davide Del Testa","author":"Bojarski Mariusz","year":"2016","unstructured":"Mariusz Bojarski , Davide Del Testa , Daniel Dworakowski, Bernhard Firner , Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316, 2016 . Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, et al. End to end learning for self-driving cars. arXiv preprint arXiv:1604.07316, 2016."},{"key":"e_1_3_2_1_5_1","volume-title":"Openai gym. arXiv preprint arXiv:1606.01540","author":"Brockman Greg","year":"2016","unstructured":"Greg Brockman , Vicki Cheung , Ludwig Pettersson , Jonas Schneider , John Schulman , Jie Tang , and Wojciech Zaremba . Openai gym. arXiv preprint arXiv:1606.01540 , 2016 . Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. Openai gym. arXiv preprint arXiv:1606.01540, 2016."},{"key":"e_1_3_2_1_6_1","first-page":"9","article-title":"A Scientific Gateway for Deep Learning","volume":"2018","author":"Broll Brian","year":"2018","unstructured":"Brian Broll , Miklos Maroti , Peter Volgyesi , and Akos Ledeczi . DeepForge : A Scientific Gateway for Deep Learning . In Gateways 2018 , 9 2018 . Brian Broll, Miklos Maroti, Peter Volgyesi, and Akos Ledeczi. DeepForge: A Scientific Gateway for Deep Learning. In Gateways 2018, 9 2018.","journal-title":"Gateways"},{"key":"e_1_3_2_1_7_1","volume-title":"https:\/\/keras.io\/","author":"Chollet Fran\u00e7ois","year":"2015","unstructured":"Fran\u00e7ois Chollet . Keras. https:\/\/keras.io\/ , 2015 . Fran\u00e7ois Chollet. Keras. https:\/\/keras.io\/, 2015."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2010.06.027"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.53"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_37"},{"key":"e_1_3_2_1_11_1","first-page":"1","volume-title":"Proceedings of the 1st Annual Conference on Robot Learning","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy , German Ros , Felipe Codevilla , Antonio Lopez , and Vladlen Koltun . CARLA : An open urban driving simulator . In Proceedings of the 1st Annual Conference on Robot Learning , pages 1 -- 16 , 2017 . Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. CARLA: An open urban driving simulator. In Proceedings of the 1st Annual Conference on Robot Learning, pages 1--16, 2017."},{"key":"e_1_3_2_1_12_1","volume-title":"Carnegie-Mellon Univ Pittsburgh PA Software Engineering Inst","author":"Feiler Peter H","year":"2006","unstructured":"Peter H Feiler , David P Gluch , and John J Hudak . The architecture analysis & design language (AADL): An introduction. Technical report , Carnegie-Mellon Univ Pittsburgh PA Software Engineering Inst , 2006 . Peter H Feiler, David P Gluch, and John J Hudak. The architecture analysis & design language (AADL): An introduction. Technical report, Carnegie-Mellon Univ Pittsburgh PA Software Engineering Inst, 2006."},{"key":"e_1_3_2_1_13_1","volume-title":"Jul","author":"Galbraith J.","year":"2006","unstructured":"J. Galbraith and O. Saarenmaa . SSH file transfer protocol , Jul 2006 . J. Galbraith and O. Saarenmaa. SSH file transfer protocol, Jul 2006."},{"key":"e_1_3_2_1_14_1","volume-title":"December","author":"Goodfellow Ian J.","year":"2014","unstructured":"Ian J. Goodfellow , Jonathon Shlens , and Christian Szegedy . Explaining and Harnessing Adversarial Examples. arXiv e-prints, page arXiv:1412.6572 , December 2014 . Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy. Explaining and Harnessing Adversarial Examples. arXiv e-prints, page arXiv:1412.6572, December 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2015.7105106"},{"key":"e_1_3_2_1_16_1","volume-title":"Uml profile for marte: Modeling and analysis of real-time embedded systems, version 1.0. On line: http:\/\/www.omg.org\/spec\/MARTE","author":"Object Management Group et al.","year":"2010","unstructured":"Object Management Group et al. Uml profile for marte: Modeling and analysis of real-time embedded systems, version 1.0. On line: http:\/\/www.omg.org\/spec\/MARTE , 2010 . Object Management Group et al. Uml profile for marte: Modeling and analysis of real-time embedded systems, version 1.0. On line: http:\/\/www.omg.org\/spec\/MARTE, 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.32"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46448-0_45"},{"key":"e_1_3_2_1_19_1","first-page":"6","volume-title":"Proceedings of the dependable systems and networks 2004 workshop on assurance cases","author":"Kelly Tim","unstructured":"Tim Kelly and Rob Weaver . The goal structuring notation-a safety argument notation . In Proceedings of the dependable systems and networks 2004 workshop on assurance cases , page 6 . Citeseer, 2004. Tim Kelly and Rob Weaver. The goal structuring notation-a safety argument notation. In Proceedings of the dependable systems and networks 2004 workshop on assurance cases, page 6. Citeseer, 2004."},{"key":"e_1_3_2_1_20_1","first-page":"87","volume-title":"ELPUB","author":"Kluyver Thomas","year":"2016","unstructured":"Thomas Kluyver , Benjamin Ragan-Kelley , Fernando P\u00e9rez , Brian E Granger , Matthias Bussonnier , Jonathan Frederic , Kyle Kelley , Jessica B Hamrick , Jason Grout , Sylvain Corlay , Jupyter notebooks-a publishing format for reproducible computational workflows . In ELPUB , pages 87 -- 90 , 2016 . Thomas Kluyver, Benjamin Ragan-Kelley, Fernando P\u00e9rez, Brian E Granger, Matthias Bussonnier, Jonathan Frederic, Kyle Kelley, Jessica B Hamrick, Jason Grout, Sylvain Corlay, et al. Jupyter notebooks-a publishing format for reproducible computational workflows. In ELPUB, pages 87--90, 2016."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/OCEANS.2016.7761080"},{"key":"e_1_3_2_1_23_1","volume-title":"Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS, 1237:41--60","author":"Mar\u00f3ti Mikl\u00f3s","year":"2014","unstructured":"Mikl\u00f3s Mar\u00f3ti , Tam\u00e1s Kecsk\u00e9s , R\u00f3bert Keresk\u00e9nyi , Brian Broll , P\u00e9ter V\u00f6lgyesi , L\u00e1szl\u00f3 Jur\u00e1cz , Tihamer Levendovszky , and \u00c1kos L\u00e9deczi . Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS, 1237:41--60 , 2014 . Mikl\u00f3s Mar\u00f3ti, Tam\u00e1s Kecsk\u00e9s, R\u00f3bert Keresk\u00e9nyi, Brian Broll, P\u00e9ter V\u00f6lgyesi, L\u00e1szl\u00f3 Jur\u00e1cz, Tihamer Levendovszky, and \u00c1kos L\u00e9deczi. Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS, 1237:41--60, 2014."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183489"},{"key":"e_1_3_2_1_25_1","volume-title":"Machine Learning: A Probabilistic Perspective","author":"Murphy Kevin P.","year":"2012","unstructured":"Kevin P. Murphy . Machine Learning: A Probabilistic Perspective . The MIT Press , 2012 . Kevin P. Murphy. Machine Learning: A Probabilistic Perspective. The MIT Press, 2012."},{"key":"e_1_3_2_1_26_1","volume-title":"June","author":"Defense UK","year":"2007","unstructured":"UK Ministry of Defense . Safety management requirements for defence systems , June 2007 . UK Ministry of Defense. Safety management requirements for defence systems, June 2007."},{"key":"e_1_3_2_1_27_1","volume-title":"Dec.","author":"U.S. Department of Transportation.","year":"2018","unstructured":"U.S. Department of Transportation. Preparing for the future of transportation: Automated vehicles 3.0 , Dec. 2018 . U.S. Department of Transportation. Preparing for the future of transportation: Automated vehicles 3.0, Dec. 2018."},{"key":"e_1_3_2_1_28_1","volume-title":"Version 1.5","author":"OMG.","year":"2017","unstructured":"OMG. OMG Systems Modeling Language (OMG SysML) , Version 1.5 , 2017 . OMG. OMG Systems Modeling Language (OMG SysML), Version 1.5, 2017."},{"key":"e_1_3_2_1_29_1","volume-title":"Sanjeev R Kulkarni, and H Vincent Poor. Machine learning methods for attack detection in the smart grid","author":"Ozay Mete","year":"2016","unstructured":"Mete Ozay , Inaki Esnaola , Fatos Tunay Yarman Vural , Sanjeev R Kulkarni, and H Vincent Poor. Machine learning methods for attack detection in the smart grid . IEEE transactions on neural networks and learning systems, 27(8):1773--1786, 2016 . Mete Ozay, Inaki Esnaola, Fatos Tunay Yarman Vural, Sanjeev R Kulkarni, and H Vincent Poor. Machine learning methods for attack detection in the smart grid. IEEE transactions on neural networks and learning systems, 27(8):1773--1786, 2016."},{"key":"e_1_3_2_1_30_1","volume-title":"Tech","author":"Papadopoulos Harris","year":"2008","unstructured":"Harris Papadopoulos . Inductive conformal prediction: Theory and application to neural networks. In Tools in artificial intelligence . In Tech , 2008 . Harris Papadopoulos. Inductive conformal prediction: Theory and application to neural networks. In Tools in artificial intelligence. In Tech, 2008."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2016945.2016967"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_33_1","volume-title":"ICRA Workshop on Open Source Software","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian P. Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y. Ng . Ros: an open-source robot operating system . In ICRA Workshop on Open Source Software , 2009 . Morgan Quigley, Ken Conley, Brian P. Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y. Ng. Ros: an open-source robot operating system. In ICRA Workshop on Open Source Software, 2009."},{"key":"e_1_3_2_1_34_1","volume-title":"NIPS","author":"Sculley D.","year":"2015","unstructured":"D. Sculley , Gary Holt , Daniel Golovin , Eugene Davydov , Todd Phillips , Dietmar Ebner , Vinay Chaudhary , Michael Young , Jean-Fran\u00e7ois Crespo , and Dan Dennison . Hidden technical debt in machine learning systems . In NIPS , 2015 . D. Sculley, Gary Holt, Daniel Golovin, Eugene Davydov, Todd Phillips, Dietmar Ebner, Vinay Chaudhary, Michael Young, Jean-Fran\u00e7ois Crespo, and Dan Dennison. Hidden technical debt in machine learning systems. In NIPS, 2015."},{"key":"e_1_3_2_1_35_1","volume-title":"Seshia and Dorsa Sadigh. Towards verified artificial intelligence. CoRR, abs\/1606.08514","author":"Sanjit","year":"2016","unstructured":"Sanjit A. Seshia and Dorsa Sadigh. Towards verified artificial intelligence. CoRR, abs\/1606.08514 , 2016 . Sanjit A. Seshia and Dorsa Sadigh. Towards verified artificial intelligence. CoRR, abs\/1606.08514, 2016."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"e_1_3_2_1_37_1","article-title":"Optimal path-planning for mobile robots to find a hidden target in an unknown environment based on machine learning","author":"Sombolestan S. M.","year":"2018","unstructured":"S. M. Sombolestan , A. Rasooli , and S. Khodaygan . Optimal path-planning for mobile robots to find a hidden target in an unknown environment based on machine learning . Journal of Ambient Intelligence and Humanized Computing , Mar 2018 . S. M. Sombolestan, A. Rasooli, and S. Khodaygan. Optimal path-planning for mobile robots to find a hidden target in an unknown environment based on machine learning. Journal of Ambient Intelligence and Humanized Computing, Mar 2018.","journal-title":"Journal of Ambient Intelligence and Humanized Computing"},{"key":"e_1_3_2_1_38_1","volume-title":"Reinforcement Learning: An Introduction","author":"Sutton Richard S.","year":"1998","unstructured":"Richard S. Sutton and Andrew G. Barto . Reinforcement Learning: An Introduction . MIT Press , Cambridge, MA, USA , 1 st edition, 1998 . Richard S. Sutton and Andrew G. Barto. Reinforcement Learning: An Introduction. MIT Press, Cambridge, MA, USA, 1st edition, 1998.","edition":"1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2838530"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_31"},{"key":"e_1_3_2_1_41_1","volume-title":"the open racing car simulator. Software","author":"Wymann Bernhard","year":"2000","unstructured":"Bernhard Wymann , Eric Espi\u00e9 , Christophe Guionneau , Christos Dimitrakakis , R\u00e9mi Coulom , and Andrew Sumner . Torcs , the open racing car simulator. Software available at http:\/\/torcs.sourceforge.net, 4:6, 2000 . Bernhard Wymann, Eric Espi\u00e9, Christophe Guionneau, Christos Dimitrakakis, R\u00e9mi Coulom, and Andrew Sumner. Torcs, the open racing car simulator. Software available at http:\/\/torcs.sourceforge.net, 4:6, 2000."},{"key":"e_1_3_2_1_42_1","volume-title":"Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, and Taylor T. Johnson. Verification for machine learning, autonomy, and neural networks survey. CoRR, abs\/1810.01989","author":"Xiang Weiming","year":"2018","unstructured":"Weiming Xiang , Patrick Musau , Ayana A. Wild , Diego Manzanas Lopez , Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, and Taylor T. Johnson. Verification for machine learning, autonomy, and neural networks survey. CoRR, abs\/1810.01989 , 2018 . Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, and Taylor T. Johnson. Verification for machine learning, autonomy, and neural networks survey. CoRR, abs\/1810.01989, 2018."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","location":"Montreal Quebec Canada","acronym":"CPS-IoT Week '19"},"container-title":["Proceedings of the Workshop on Design Automation for CPS and IoT"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313166","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313151.3313166","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313151.3313166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:00Z","timestamp":1750204440000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313151.3313166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":43,"alternative-id":["10.1145\/3313151.3313166","10.1145\/3313151"],"URL":"https:\/\/doi.org\/10.1145\/3313151.3313166","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}