{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:08:15Z","timestamp":1760828895370,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T00:00:00Z","timestamp":1397520000000},"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,15]]},"DOI":"10.1145\/2562059.2562131","type":"proceedings-article","created":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T17:50:00Z","timestamp":1397238600000},"page":"113-122","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Model reduction of switched affine systems"],"prefix":"10.1145","author":[{"given":"Alessandro Vittorio","family":"Papadopoulos","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]},{"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2014,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Abate S.\n       \n      Amin M.\n       \n      Prandini J.\n       \n      Lygeros and \n      \n      \n      S.\n       \n      Sastry\n      \n  \n  . \n  Computational approaches to reachability analysis of stochastic hybrid systems. In A. Bemporad A. Bicchi and G. Buttazzo editors Hybrid Systems: Computation and Control volume \n  4416\n   of \n  Lecture Notes in Computer Science pages \n  4\n  --\n  17\n  . \n  Springer Berlin Heidelberg apr \n  2007\n  .   A. Abate S. Amin M. Prandini J. Lygeros and S. Sastry. Computational approaches to reachability analysis of stochastic hybrid systems. In A. Bemporad A. Bicchi and G. Buttazzo editors Hybrid Systems: Computation and Control volume 4416 of Lecture Notes in Computer Science pages 4--17. Springer Berlin Heidelberg apr 2007.","DOI":"10.1007\/978-3-540-71493-4_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"A. Abate J.-P. Katoen J. Lygeros and M. Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control special issue on Stochastic hybrid systems 16(6):624--641 Dec. 20  A. Abate J.-P. Katoen J. Lygeros and M. Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control special issue on Stochastic hybrid systems 16(6):624--641 Dec. 20","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161148"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1088857"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0499-y"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9754-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.07.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3182\/20120606-3-NL-3011.00076"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207170410001713448"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/10984413_12"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207178908953437"},{"volume-title":"Applications","year":"2009","author":"Lunze J.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739350"},{"key":"e_1_3_2_1_20_1","unstructured":"I. Mitchell. Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems. PhD thesis Ph.D. Dissertation. Dept. Scientific Computing and Computational Mathematics Stanford Univ. CA 2002.  I. Mitchell. Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems. PhD thesis Ph.D. Dissertation. Dept. Scientific Computing and Computational Mathematics Stanford Univ. CA 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1981.1102568"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760804.1760842"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3182\/20120606-3-NL-3011.00073"},{"key":"e_1_3_2_1_24_1","series-title":"Control Engineering Series","first-page":"107","volume-title":"Stochastic hybrid systems","author":"Prandini M.","year":"2006"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Pr\u00e9kopa\n    .\n      \n  \n   \n  Probabilistic programming. In A. Ruszczy\u0144ski and A. Shapiro editors Stochastic Programming volume \n  10\n   of \n  handbooks in operations research and management science London UK 2003\n  . \n  Elsevier\n  .  A. Pr\u00e9kopa. Probabilistic programming. In A. Ruszczy\u0144ski and A. Shapiro editors Stochastic Programming volume 10 of handbooks in operations research and management science London UK 2003. Elsevier.","DOI":"10.1016\/S0927-0507(03)10005-9"},{"volume-title":"International Journal of Innovative Computing, Information and Control, 8(7(B)):5025--5044","year":"2012","author":"Shaker H. R.","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(03)00133-6"}],"event":{"name":"HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Berlin Germany","acronym":"HSCC'14"},"container-title":["Proceedings of the 17th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562131","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2562059.2562131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:52Z","timestamp":1750277692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2562059.2562131"}},"subtitle":["a method based on balanced truncation and randomized optimization"],"short-title":[],"issued":{"date-parts":[[2014,4,15]]},"references-count":28,"alternative-id":["10.1145\/2562059.2562131","10.1145\/2562059"],"URL":"https:\/\/doi.org\/10.1145\/2562059.2562131","relation":{},"subject":[],"published":{"date-parts":[[2014,4,15]]},"assertion":[{"value":"2014-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}