{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:41Z","timestamp":1725746801910},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542909","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:31Z","timestamp":1471292911000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Engineering the smarts: An illustration of the disconnect between control engineering and AI"],"prefix":"10.1109","author":[{"given":"Michael","family":"Borth","sequence":"first","affiliation":[]},{"given":"Martijn","family":"Hendriks","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Markets and Operations Pricing Data","year":"2016","key":"ref10"},{"article-title":"Discrete-event simulation - modeling, programming and analysis","year":"2001","author":"fishman","key":"ref11"},{"key":"ref12","article-title":"A model of computation with push and pull processing","author":"zhao","year":"2003","journal-title":"Technical Memorandum UCB\/ERL M04\/17 University of California"},{"key":"ref13","article-title":"OMG data distribution service: real-time publish\/subscribe becomes a standard","author":"pardo-castellote","year":"2005","journal-title":"RTC Magazine"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6230-9_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593900"},{"key":"ref16","article-title":"Figaro: An object-oriented probabilistic programming language","author":"pfeffer","year":"2009","journal-title":"Charles River Analytics Technical Report 137"},{"key":"ref4","article-title":"Bayesian networks and decision graphs","author":"verner jensen","year":"2013","journal-title":"Springer Science & Business Media"},{"journal-title":"Scuba","year":"2014","author":"pesch","key":"ref3"},{"key":"ref6","article-title":"Results from the proof of concept evaluation on pilot site","author":"lesecq","year":"2014","journal-title":"Deliverable D6 1"},{"key":"ref5","first-page":"347","article-title":"Probabilistic system summaries for behavior architecting","author":"borth","year":"2014","journal-title":"Complex Systems Design & Management"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151925"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.epsr.2008.04.002"},{"journal-title":"Sustainability certification of the Edge","year":"2015","key":"ref1"},{"key":"ref9","article-title":"Uppaal 4.0","author":"behrmann","year":"2006","journal-title":"Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems IEEE CS"}],"event":{"name":"2016 11th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2016,6,12]]},"location":"Kongsberg, Norway","end":{"date-parts":[[2016,6,16]]}},"container-title":["2016 11th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7533679\/7542882\/07542909.pdf?arnumber=7542909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:26:56Z","timestamp":1602685616000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542909"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542909","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}