{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:31Z","timestamp":1750306591827,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"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":[[2015,4,14]]},"DOI":"10.1145\/2728606.2728650","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:13:36Z","timestamp":1430504016000},"page":"289-290","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["HyRG"],"prefix":"10.1145","author":[{"given":"Luan Viet","family":"Nguyen","sequence":"first","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[{"name":"Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[{"name":"Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany"}],"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":[[2015,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"M.\n      Althoff B. H.\n      Krogh and \n      O.\n      Stursberg\n  . \n  Analyzing reachability of linear dynamic systems with parametric uncertainties\n  . In A. Rauh and E. Auer editors Modeling Design and Simulation of Systems with Uncertainties volume \n  3\n   of \n  Mathematical Engineering pages \n  69\n  --\n  94\n  . \n  Springer Berlin Heidelberg 2011\n  .  M. Althoff B. H. Krogh and O. Stursberg. Analyzing reachability of linear dynamic systems with parametric uncertainties. In A. Rauh and E. Auer editors Modeling Design and Simulation of Systems with Uncertainties volume 3 of Mathematical Engineering pages 69--94. Springer Berlin Heidelberg 2011.","DOI":"10.1007\/978-3-642-15956-5_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"volume-title":"35th IFIP Joint International Conference on Formal Techniques for Distributed Systems. Springer","year":"2015","author":"Bogomolov S.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control","sponsor":["IEEE-CSS Control Systems Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Seattle Washington","acronym":"HSCC '15"},"container-title":["Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728650","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2728606.2728650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:33Z","timestamp":1750227393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728650"}},"subtitle":["a random generation tool for affine hybrid automata"],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":4,"alternative-id":["10.1145\/2728606.2728650","10.1145\/2728606"],"URL":"https:\/\/doi.org\/10.1145\/2728606.2728650","relation":{},"subject":[],"published":{"date-parts":[[2015,4,14]]},"assertion":[{"value":"2015-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}