{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T15:04:41Z","timestamp":1761663881915,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Czech Science Foundation","award":["18-00178S"],"award-info":[{"award-number":["18-00178S"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311793","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"99-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Facetal abstraction for non-linear dynamical systems based on \u03b4-decidable SMT"],"prefix":"10.1145","author":[{"given":"Nikola","family":"Bene\u0161","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"Jana","family":"Dra\u017eanov\u00e1","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jtbi.1996.0220"},{"key":"e_1_3_2_1_6_1","volume-title":"Computing Reachability for Nonlinear Systems with HyCreate. HSCC 2013 Poster Presentation.","author":"Bak Stanley","year":"2013","unstructured":"Stanley Bak and Marco Caccamo . 2013 . Computing Reachability for Nonlinear Systems with HyCreate. HSCC 2013 Poster Presentation. Stanley Bak and Marco Caccamo. 2013. Computing Reachability for Nonlinear Systems with HyCreate. HSCC 2013 Poster Presentation."},{"key":"e_1_3_2_1_7_1","volume-title":"Detecting Attractors in Biological Models with Uncertain Parameters. In CMSB 2017 (LNBI), J\u00e9r\u00f4me Feret and Heinz Koeppl (Eds.)","volume":"10545","author":"Barnat Ji\u0159\u00ed","year":"2017","unstructured":"Ji\u0159\u00ed Barnat , Nikola Bene\u0161 , Lubo\u0161 Brim , Martin Demko , Matej Hajnal , Samuel Pastva , and David \u0160afr\u00e1nek . 2017 . Detecting Attractors in Biological Models with Uncertain Parameters. In CMSB 2017 (LNBI), J\u00e9r\u00f4me Feret and Heinz Koeppl (Eds.) , Vol. 10545 . Springer. Ji\u0159\u00ed Barnat, Nikola Bene\u0161, Lubo\u0161 Brim, Martin Demko, Matej Hajnal, Samuel Pastva, and David \u0160afr\u00e1nek. 2017. Detecting Attractors in Biological Models with Uncertain Parameters. In CMSB 2017 (LNBI), J\u00e9r\u00f4me Feret and Heinz Koeppl (Eds.), Vol. 10545. Springer."},{"key":"e_1_3_2_1_8_1","volume-title":"TACAS 2007 (LNCS), Orna Grumberg and Michael Huth (Eds.)","volume":"4424","author":"Batt G.","unstructured":"G. Batt , C. Belta , and R. Weiss . 2007. Model checking liveness properties of genetic regulatory networks . In TACAS 2007 (LNCS), Orna Grumberg and Michael Huth (Eds.) , Vol. 4424 . Springer, 323--338. G.Batt, C. Belta, and R. Weiss. 2007. Model checking liveness properties of genetic regulatory networks. In TACAS 2007 (LNCS), Orna Grumberg and Michael Huth (Eds.), Vol. 4424. Springer, 323--338."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.08.004"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"volume-title":"HSCC 2007 (LNCS), Alberto Bemporad, Giorgio Buttazzo, and Antonio Bicchi (Eds.). Springer, 76--89","author":"Berman S.","key":"e_1_3_2_1_11_1","unstructured":"S. Berman , \u00c1. Hal\u00e1sz, and V. Kumar . 2007. MARCO: a reachability algorithm for multi-affine systems with applications to biological systems . In HSCC 2007 (LNCS), Alberto Bemporad, Giorgio Buttazzo, and Antonio Bicchi (Eds.). Springer, 76--89 . S. Berman, \u00c1. Hal\u00e1sz, and V. Kumar. 2007. MARCO: a reachability algorithm for multi-affine systems with applications to biological systems. In HSCC 2007 (LNCS), Alberto Bemporad, Giorgio Buttazzo, and Antonio Bicchi (Eds.). Springer, 76--89."},{"key":"e_1_3_2_1_12_1","volume-title":"FORMATS","author":"Bogomolov Sergiy","year":"2017","unstructured":"Sergiy Bogomolov , Mirco Giacobbe , Thomas A. Henzinger , and Hui Kong . 2017. Conic Abstractions for Hybrid Systems . In FORMATS 2017 , Alessandro Abate and Gilles Geeraerts (Eds.). Springer , 116--132. Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, and Hui Kong. 2017. Conic Abstractions for Hybrid Systems. In FORMATS 2017, Alessandro Abate and Gilles Geeraerts (Eds.). Springer, 116--132."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33365-1_6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_28"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.033"},{"key":"e_1_3_2_1_18_1","volume-title":"Abstraction of Biochemical Reaction Systems on Polytopes. IFAC Proceedings Volumes 44","author":"Collins Pieter J.","year":"2011","unstructured":"Pieter J. Collins , Luc C.G.J.M. Habets , Jan H. van Schuppen , Ivana \u010cern\u00e1 , Jana Fabrikov\u00e1 , and David \u0160afr\u00e1nek . 2011 . Abstraction of Biochemical Reaction Systems on Polytopes. IFAC Proceedings Volumes 44 , 1 (2011), 14869--14875. Pieter J. Collins, Luc C.G.J.M. Habets, Jan H. van Schuppen, Ivana \u010cern\u00e1, Jana Fabrikov\u00e1, and David \u0160afr\u00e1nek. 2011. Abstraction of Biochemical Reaction Systems on Polytopes. IFAC Proceedings Volumes 44, 1 (2011), 14869--14875."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_14"},{"key":"e_1_3_2_1_21_1","volume-title":"ACC","author":"El-Guindy A.","year":"2017","unstructured":"A. El-Guindy , D. Han , and M. Althoff . 2017. Estimating the region of attraction via forward reachable sets . In ACC 2017 . IEEE, 1263--1270. A. El-Guindy, D. Han, and M. Althoff. 2017. Estimating the region of attraction via forward reachable sets. In ACC 2017. IEEE, 1263--1270."},{"key":"e_1_3_2_1_22_1","volume-title":"Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler.","author":"Frehse Goran","year":"2011","unstructured":"Goran Frehse , Colas Le Guernic , Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011 . SpaceEx: Scalable Verification of Hybrid Systems. In CAV 2011, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer , 379--395. Goran Frehse, Colas Le Guernic, Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011. SpaceEx: Scalable Verification of Hybrid Systems. In CAV 2011, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer, 379--395."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.41"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1049\/sb:20045019"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032336"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.08.001"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208097838"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80062-X"},{"key":"e_1_3_2_1_31_1","volume-title":"Discrete Abstraction of Multiaffine Systems. In HSB 2016 (LNCS), Eugenio Cinquemani and Alexandre Donz\u00e9 (Eds.). Springer, 128--144","author":"Kong Hui","year":"2016","unstructured":"Hui Kong , Ezio Bartocci , Sergiy Bogomolov , Radu Grosu , Thomas A. Henzinger , Yu Jiang , and Christian Schilling . 2016 . Discrete Abstraction of Multiaffine Systems. In HSB 2016 (LNCS), Eugenio Cinquemani and Alexandre Donz\u00e9 (Eds.). Springer, 128--144 . Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, and Christian Schilling. 2016. Discrete Abstraction of Multiaffine Systems. In HSB 2016 (LNCS), Eugenio Cinquemani and Alexandre Donz\u00e9 (Eds.). Springer, 128--144."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_15"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562137"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0243-z"},{"key":"e_1_3_2_1_38_1","volume-title":"ACC 2013","author":"Ozay Necmiye","year":"2013","unstructured":"Necmiye Ozay , Jun Liu , Pavithra Prabhakar , and Richard M. Murray . 2013. Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems . In ACC 2013 , Washington, DC, USA, June 17--19 , 2013 . 6237--6244. Necmiye Ozay, Jun Liu, Pavithra Prabhakar, and Richard M. Murray. 2013. Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. In ACC 2013, Washington, DC, USA, June 17--19, 2013. 6237--6244."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_15"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_18"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210276"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_33"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_46_1","volume-title":"Relational Abstractions for Continuous and Hybrid Systems. In CAV 2011 (LNCS), Ganesh Gopalakrishnan and Shaz Qadeer (Eds.)","volume":"6806","author":"Sankaranarayanan Sriram","year":"2011","unstructured":"Sriram Sankaranarayanan and Ashish Tiwari . 2011 . Relational Abstractions for Continuous and Hybrid Systems. In CAV 2011 (LNCS), Ganesh Gopalakrishnan and Shaz Qadeer (Eds.) , Vol. 6806 . Springer, 686--702. Sriram Sankaranarayanan and Ashish Tiwari. 2011. Relational Abstractions for Continuous and Hybrid Systems. In CAV 2011 (LNCS), Ganesh Gopalakrishnan and Shaz Qadeer (Eds.), Vol. 6806. Springer, 686--702."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth110"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0044-3"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45177-0_20"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.4173\/mic.2011.2.3"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Montreal Quebec Canada","acronym":"HSCC '19"},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311793","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:36Z","timestamp":1750206336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":51,"alternative-id":["10.1145\/3302504.3311793","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311793","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}