{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:35:05Z","timestamp":1729654505607,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/allerton.2010.5707123","type":"proceedings-article","created":{"date-parts":[[2011,2,3]],"date-time":"2011-02-03T21:50:52Z","timestamp":1296769852000},"page":"1714-1721","source":"Crossref","is-referenced-by-count":1,"title":["Developing design tools for uncertain systems in an industrial setting"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudha","family":"Krishnamurthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"409","article-title":"Benefits and challenges for platform-based design","author":"sangiovanni-vincentelli","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"ref11","article-title":"SAE","author":"aerospace","year":"2009","journal-title":"Architecture Analysis and Design Language (AADL)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/225871.225880"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","article-title":"Towars a theory of stochastic hybrid systems","volume":"1790","author":"huj","year":"2000","journal-title":"Proceedings of the Third International Workshop on Hybrid Systems Computation and Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"year":"0","key":"ref15"},{"key":"ref16","first-page":"499","article-title":"Model checking of probabilistic and nondeterministic systems","author":"alfaro","year":"1995"},{"article-title":"On algorithmic verification methods for probabilistic systems","year":"1998","author":"baier","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.99196"},{"key":"ref19","first-page":"781","article-title":"Approximate symbolic model checking of continuous-time markov chains (extended abstract)","author":"baier","year":"1999"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827501387826"},{"article-title":"Numerical Solution of Stochastic Differential Equations","year":"1999","author":"kloeden","key":"ref3"},{"article-title":"Modelling with Generalized Stochastic Petri Nets","year":"1994","author":"kartson","key":"ref6"},{"key":"ref5","article-title":"Implementation of symbolic model checking for probabilistic systems","author":"parker","year":"2002","journal-title":"Tech Rep"},{"journal-title":"MathWorks","article-title":"Simulink","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.99196"},{"article-title":"Queueing Networks and Markov Chains","year":"2005","author":"bolch","key":"ref2"},{"journal-title":"MathWorks","article-title":"Stateflow","year":"0","key":"ref9"},{"key":"ref1","article-title":"Fault tree handbook with aerospace applications","author":"stamatelatos","year":"2002","journal-title":"NASA Office of Safety and Mission Assurance"},{"key":"ref20","article-title":"A model-based end-to-end toolchain for the probabilistic analysis of complex systems","author":"krishnamurthy","year":"2010","journal-title":"Proceedings of IEEE Conference on Automation Science and Engineering (CASE)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1016\/S1874-575X(02)80026-1","article-title":"Set Oriented Numerical Methods for Dynamical Systems","author":"dellnitz","year":"2002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524320"},{"article-title":"Matrix-geometric solutions in stochastic models: an algorithmic approach\/Marcel F. Neuts","year":"1981","author":"neuts","key":"ref23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"}],"event":{"name":"2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","start":{"date-parts":[[2010,9,29]]},"location":"Monticello, IL, USA","end":{"date-parts":[[2010,10,1]]}},"container-title":["2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5701578\/5706874\/05707123.pdf?arnumber=5707123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T09:49:22Z","timestamp":1559987362000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5707123\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/allerton.2010.5707123","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}