{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:42:34Z","timestamp":1730209354487,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/coase.2014.6899362","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T19:28:58Z","timestamp":1415734138000},"page":"436-442","source":"Crossref","is-referenced-by-count":1,"title":["A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions"],"prefix":"10.1109","author":[{"given":"Jasen","family":"Markovski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hesuan","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586537"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2024376"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.746254"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758208"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027674"},{"volume-title":"Matrix-geometric solutions in stochastic models, an algorithmic approach","year":"1981","author":"Neuts","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24611-4_2"},{"key":"ref11","volume-title":"Dynamic Probabilistic Systems","volume":"1&2","author":"Howard","year":"1971"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.001"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40725-3_5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1989.70297"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2014.6819597"},{"key":"ref20","first-page":"17","article-title":"From EMPA to GSMPA: Allowing for general distributions","volume-title":"Proceedings of PAPM\u201997","author":"Bravetti"},{"article-title":"Specification and analysis of stochastic real-time systems","year":"2002","author":"Bravetti","key":"ref21"},{"key":"ref22","first-page":"33","article-title":"NMSPA: A non-Markovian model for stochastic processes","volume-title":"Proceedings of ICDS 2000. IEEE","author":"L\u00f3pez"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.104"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.60.3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/5.21067"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04995-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0230-y"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.572970"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.91.7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2011.18"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5990831"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"ref36","first-page":"1","article-title":"Model-based engineering of supervisory controllers using CIF","volume":"21","author":"Schiffelers","year":"2009","journal-title":"Electronic Communications of the EASST"},{"article-title":"Model transformation tools and demo models","year":"2012","author":"Markovski","key":"ref37"}],"event":{"name":"2014 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2014,8,18]]},"location":"Taipei","end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6892922\/6899294\/06899362.pdf?arnumber=6899362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T22:56:52Z","timestamp":1706050612000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6899362\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/coase.2014.6899362","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}