{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T05:57:25Z","timestamp":1673503045137},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382200","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata"],"prefix":"10.1145","author":[{"given":"Viktorio S.","family":"el Hakim","sequence":"first","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}]},{"given":"Marco J. G.","family":"Bekooij","sequence":"additional","affiliation":[{"name":"NXP Semiconductors, Eindhoven, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.200"},{"key":"e_1_3_2_1_2_1","first-page":"7881","article-title":"Self-Triggered Control for Sampled-data Systems using Reachability Analysis","volume":"50","author":"Khatib M. Al","year":"2017","unstructured":"M. Al Khatib , A. Girard , and T. Dang . 2017 . Self-Triggered Control for Sampled-data Systems using Reachability Analysis . IFAC-Papers OnLine 50 , 1 (2017), 7881 -- 7886 . M. Al Khatib, A. Girard, and T. Dang. 2017. Self-Triggered Control for Sampled-data Systems using Reachability Analysis. IFAC-Papers OnLine 50, 1 (2017), 7881--7886.","journal-title":"IFAC-Papers OnLine"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. Int'l Conference on Hybrid systems: Computation and Control. ACM, 173--178","author":"Bak S.","unstructured":"S. Bak and P. S. Duggirala . 2017. HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems . In Proc. Int'l Conference on Hybrid systems: Computation and Control. ACM, 173--178 . S. Bak and P. S. Duggirala. 2017. HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. In Proc. Int'l Conference on Hybrid systems: Computation and Control. ACM, 173--178."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.26"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235821"},{"key":"e_1_3_2_1_6_1","volume-title":"Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. In International Conference on Computer Aided Systems Theory. Springer, 535--542","author":"Chen Xin","year":"2011","unstructured":"Xin Chen and Erika \u00c1brah\u00e1m . 2011 . Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. In International Conference on Computer Aided Systems Theory. Springer, 535--542 . Xin Chen and Erika \u00c1brah\u00e1m. 2011. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. In International Conference on Computer Aided Systems Theory. Springer, 535--542."},{"key":"e_1_3_2_1_7_1","volume-title":"Flow*: An Analyzer for Non-linear Hybrid Systems","author":"Chen Xin","unstructured":"Xin Chen , Erika \u00c1brah\u00e1m , and Sriram Sankaranarayanan . 2013. Flow*: An Analyzer for Non-linear Hybrid Systems . In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 258--263. Xin Chen, Erika \u00c1brah\u00e1m, and Sriram Sankaranarayanan. 2013. Flow*: An Analyzer for Non-linear Hybrid Systems. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 258--263."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3437-9_1"},{"key":"e_1_3_2_1_9_1","volume-title":"Special issue of ACM Transactions on Embedded Computing Systems (TECS) associated with 16th International Conference on Embedded Software (EMSOFT).","author":"Duggirala Parasara Sridhar","unstructured":"Parasara Sridhar Duggirala and Stanley Bak . 2019. Aggregation Strategies in Reachable Set Computation of Hybrid Systems . In Special issue of ACM Transactions on Embedded Computing Systems (TECS) associated with 16th International Conference on Embedded Software (EMSOFT). Parasara Sridhar Duggirala and Stanley Bak. 2019. Aggregation Strategies in Reachable Set Computation of Hybrid Systems. In Special issue of ACM Transactions on Embedded Computing Systems (TECS) associated with 16th International Conference on Embedded Software (EMSOFT)."},{"key":"e_1_3_2_1_10_1","volume-title":"2018 21st Euromicro Conference on Digital System Design (DSD). IEEE, 312--319","author":"El Hakim Viktorio S","unstructured":"Viktorio S El Hakim and Marco J. G. Bekooij . 2018. Stability Verification of Self-Timed Control Systems using Model-Checking . In 2018 21st Euromicro Conference on Digital System Design (DSD). IEEE, 312--319 . Viktorio S El Hakim and Marco J. G. Bekooij. 2018. Stability Verification of Self-Timed Control Systems using Model-Checking. In 2018 21st Euromicro Conference on Digital System Design (DSD). IEEE, 312--319."},{"key":"e_1_3_2_1_11_1","volume-title":"Bekooij","author":"El Hakim Viktorio S","year":"2019","unstructured":"Viktorio S El Hakim and Marco J. G . Bekooij . 2019 . Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics. In SCOPES. 27--36. Viktorio S El Hakim and Marco J. G. Bekooij. 2019. Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics. In SCOPES. 27--36."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. Real-Time Systems Symposium. IEEE, 53--62","author":"Frehse G.","unstructured":"G. Frehse , A. Hamann , S. Quinton , and M. Woehrle . 2014. Formal Analysis of Timing Effects on Closed-loop Properties of Control Software . In Proc. Real-Time Systems Symposium. IEEE, 53--62 . G. Frehse, A. Hamann, S. Quinton, and M. Woehrle. 2014. Formal Analysis of Timing Effects on Closed-loop Properties of Control Software. In Proc. Real-Time Systems Symposium. IEEE, 53--62."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 16th international conference on Hybrid systems: computation and control. ACM, 203--212","author":"Frehse G.","unstructured":"G. Frehse , R. Kateja , and C. Le Guernic . 2013. Flowpipe Approximation and Clustering in Space-Time . In Proceedings of the 16th international conference on Hybrid systems: computation and control. ACM, 203--212 . G. Frehse, R. Kateja, and C. Le Guernic. 2013. Flowpipe Approximation and Clustering in Space-Time. In Proceedings of the 16th international conference on Hybrid systems: computation and control. ACM, 203--212."},{"key":"e_1_3_2_1_15_1","volume-title":"Reachability of Uncertain Linear Systems Using Zonotopes. In International Workshop on Hybrid Systems: Computation and Control. Springer, 291--305","author":"Girard A.","year":"2005","unstructured":"A. Girard . 2005 . Reachability of Uncertain Linear Systems Using Zonotopes. In International Workshop on Hybrid Systems: Computation and Control. Springer, 291--305 . A. Girard. 2005. Reachability of Uncertain Linear Systems Using Zonotopes. In International Workshop on Hybrid Systems: Computation and Control. Springer, 291--305."},{"key":"e_1_3_2_1_16_1","volume-title":"Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In International Workshop on Hybrid Systems: Computation and Control. Springer, 257--271","author":"Girard A.","unstructured":"A. Girard , C. Le Guernic , and O. Maler . 2006 . Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In International Workshop on Hybrid Systems: Computation and Control. Springer, 257--271 . A. Girard, C. Le Guernic, and O. Maler. 2006. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In International Workshop on Hybrid Systems: Computation and Control. Springer, 257--271."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3437-9_7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_27"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 117--126","author":"Hausmans Joost P. H. M.","unstructured":"Joost P. H. M. Hausmans , Stefan J. Geuns , Maarten H. Wiggers , and Marco J. G. Bekooij . 2013. Two Parameter Workload Characterization for Improved Dataflow Analysis Accuracy . In Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 117--126 . Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten H. Wiggers, and Marco J. G. Bekooij. 2013. Two Parameter Workload Characterization for Improved Dataflow Analysis Accuracy. In Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 117--126."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228484"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-005-2653-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2008.114"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_30"},{"key":"e_1_3_2_1_25_1","volume-title":"IFAC Proceedings Volumes 43","author":"Maschuw J.P.","year":"2010","unstructured":"J.P. Maschuw and D. Abel . 2010. Longitudinal Vehicle Guidance in Networks with changing Communication Topology . IFAC Proceedings Volumes 43 , 7 ( 2010 ), 785--790. J.P. Maschuw and D. Abel. 2010. Longitudinal Vehicle Guidance in Networks with changing Communication Topology. IFAC Proceedings Volumes 43, 7 (2010), 785--790."},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE). EDA Consortium, 515--520","author":"Quinton S.","unstructured":"S. Quinton , M. Hanke , and R. Ernst . 2012. Formal Analysis of Sporadic Overload in Real-Time Systems . In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE). EDA Consortium, 515--520 . S. Quinton, M. Hanke, and R. Ernst. 2012. Formal Analysis of Sporadic Overload in Real-Time Systems. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE). EDA Consortium, 515--520."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89963-3_17"},{"key":"e_1_3_2_1_28_1","volume-title":"Krogh","author":"Stursberg Olaf","year":"2003","unstructured":"Olaf Stursberg and Bruce H . Krogh . 2003 . Efficient Representation and Computation of Reachable Sets for Hybrid Systems. In Proc. Int'l Conference on Hybrid systems: Computation and Control. Springer , 482--497. Olaf Stursberg and Bruce H. Krogh. 2003. Efficient Representation and Computation of Reachable Sets for Hybrid Systems. In Proc. Int'l Conference on Hybrid systems: Computation and Control. Springer, 482--497."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Q. Zhu and H. Zeng. 2012. Stability Analysis of Multi-rate Switched Networked Systems with Short Time Delay. In Computer Distributed Control and Intelligent Environmental Monitoring (CDCIEM) 2012 International Conference on. IEEE 642--646. Q. Zhu and H. Zeng. 2012. Stability Analysis of Multi-rate Switched Networked Systems with Short Time Delay. In Computer Distributed Control and Intelligent Environmental Monitoring (CDCIEM) 2012 International Conference on. IEEE 642--646.","DOI":"10.1109\/CDCIEM.2012.157"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","location":"Sydney New South Wales Australia","acronym":"HSCC '20","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T16:22:41Z","timestamp":1673454161000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382200"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":29,"alternative-id":["10.1145\/3365365.3382200","10.1145\/3365365"],"URL":"http:\/\/dx.doi.org\/10.1145\/3365365.3382200","relation":{},"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}