{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:52Z","timestamp":1750306852570,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,14]],"date-time":"2014-04-14T00:00:00Z","timestamp":1397433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,14]]},"DOI":"10.1145\/2593458.2593469","type":"proceedings-article","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T12:24:23Z","timestamp":1396959863000},"page":"48-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-based design and analysis of a reconfigurable continuous-culture bioreactor"],"prefix":"10.1145","author":[{"given":"Luan Viet","family":"Nguyen","sequence":"first","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric J.","family":"Nelson","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amol","family":"Vengurlekar","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruoshi","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristopher I.","family":"White","sequence":"additional","affiliation":[{"name":"University of Texas Southwestern"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Salinas","sequence":"additional","affiliation":[{"name":"University of Texas Southwestern"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,14]]},"reference":[{"volume-title":"Centers for Disease Control and Prevention (CDC)","year":"2013","key":"e_1_3_2_1_1_1","unstructured":"Antibiotic resistance threats in the united states. Technical report , Centers for Disease Control and Prevention (CDC) , Atlanta, GA , 2013 . Antibiotic resistance threats in the united states. Technical report, Centers for Disease Control and Prevention (CDC), Atlanta, GA, 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature11514"},{"key":"e_1_3_2_1_4_1","volume-title":"Computer Aided Verification (CAV)","author":"Frehse G.","year":"2011","unstructured":"G. Frehse , C. Le Guernic , A. Donz\u00e9 , S. Cotton , R. Ray , O. Lebeltel , R. Ripado , A. Girard , T. Dang , and O. Maler . SpaceEx: Scalable verification of hybrid systems . In Computer Aided Verification (CAV) , LNCS. Springer , 2011 . G. Frehse, C. Le Guernic, A. Donz\u00e9, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler. SpaceEx: Scalable verification of hybrid systems. In Computer Aided Verification (CAV), LNCS. Springer, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1099\/mic.0.27924-0"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz H.","year":"2011","unstructured":"H. Kopetz . Real-Time Systems: Design Principles for Distributed Embedded Applications . Springer , Norwell, MA, USA , 2 nd edition edition, 2011 . H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, Norwell, MA, USA, 2nd edition edition, 2011.","edition":"2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967749"},{"key":"e_1_3_2_1_9_1","unstructured":"MathWorks. timer class. http:\/\/www.mathworks.com\/help\/matlab\/ref\/timerclass.html 2013.  MathWorks. timer class. http:\/\/www.mathworks.com\/help\/matlab\/ref\/timerclass.html 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.112.2920.715"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1091\/mbc.e04-04-0306"},{"key":"e_1_3_2_1_12_1","volume-title":"The Theory of the Chemostat: Dynamics of Microbial Competition","author":"Smith H. L.","year":"2008","unstructured":"H. L. Smith and P. Waltman . The Theory of the Chemostat: Dynamics of Microbial Competition . Cambridge University Press , 2008 . H. L. Smith and P. Waltman. The Theory of the Chemostat: Dynamics of Microbial Competition. Cambridge University Press, 2008."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1038\/ng.1034"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1038\/nprot.2013.021"},{"key":"e_1_3_2_1_15_1","volume-title":"Theory and measurement of bacterial growth. Di dalam Grundpraktikum Mikrobiologie, 4","author":"Widdel F.","year":"2007","unstructured":"F. Widdel . Theory and measurement of bacterial growth. Di dalam Grundpraktikum Mikrobiologie, 4 , 2007 . F. Widdel. Theory and measurement of bacterial growth. Di dalam Grundpraktikum Mikrobiologie, 4, 2007."}],"event":{"name":"CPS Week '14: Cyber Physical Systems Week 2014","sponsor":["IEEE Signal Processing Society","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CS"],"location":"Berlin Germany","acronym":"CPS Week '14"},"container-title":["Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593458.2593469","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593458.2593469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:22Z","timestamp":1750234222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593458.2593469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,14]]},"references-count":14,"alternative-id":["10.1145\/2593458.2593469","10.1145\/2593458"],"URL":"https:\/\/doi.org\/10.1145\/2593458.2593469","relation":{},"subject":[],"published":{"date-parts":[[2014,4,14]]},"assertion":[{"value":"2014-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}