{"_id":"8750","doi":"10.1109/MEMOCODE51338.2020.9314994","article_processing_charge":"No","author":[{"first_name":"Marcelo","full_name":"Forets, Marcelo","last_name":"Forets"},{"last_name":"Freire","full_name":"Freire, Daniel","first_name":"Daniel"},{"first_name":"Christian","full_name":"Schilling, Christian","orcid":"0000-0003-3658-1065","last_name":"Schilling","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87"}],"day":"04","oa":1,"citation":{"mla":"Forets, Marcelo, et al. “Efficient Reachability Analysis of Parametric Linear Hybrid Systems with  Time-Triggered Transitions.” <i>18th ACM-IEEE International Conference on Formal Methods and Models for System Design</i>, 9314994, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/MEMOCODE51338.2020.9314994\">10.1109/MEMOCODE51338.2020.9314994</a>.","ieee":"M. Forets, D. Freire, and C. Schilling, “Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions,” in <i>18th ACM-IEEE International Conference on Formal Methods and Models for System Design</i>, Virtual Conference, 2020.","ista":"Forets M, Freire D, Schilling C. 2020. Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE: Conference on Formal Methods and Models for System Design, 9314994.","ama":"Forets M, Freire D, Schilling C. Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. In: <i>18th ACM-IEEE International Conference on Formal Methods and Models for System Design</i>. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/MEMOCODE51338.2020.9314994\">10.1109/MEMOCODE51338.2020.9314994</a>","apa":"Forets, M., Freire, D., &#38; Schilling, C. (2020). Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. In <i>18th ACM-IEEE International Conference on Formal Methods and Models for System Design</i>. Virtual Conference: IEEE. <a href=\"https://doi.org/10.1109/MEMOCODE51338.2020.9314994\">https://doi.org/10.1109/MEMOCODE51338.2020.9314994</a>","chicago":"Forets, Marcelo, Daniel Freire, and Christian Schilling. “Efficient Reachability Analysis of Parametric Linear Hybrid Systems with  Time-Triggered Transitions.” In <i>18th ACM-IEEE International Conference on Formal Methods and Models for System Design</i>. IEEE, 2020. <a href=\"https://doi.org/10.1109/MEMOCODE51338.2020.9314994\">https://doi.org/10.1109/MEMOCODE51338.2020.9314994</a>.","short":"M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020."},"scopus_import":"1","publication":"18th ACM-IEEE International Conference on Formal Methods and Models for System Design","project":[{"grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"},{"_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411"}],"article_number":"9314994","status":"public","department":[{"_id":"ToHe"}],"type":"conference","ec_funded":1,"isi":1,"date_updated":"2023-08-22T12:48:18Z","abstract":[{"lang":"eng","text":"Efficiently handling time-triggered and possibly nondeterministic switches\r\nfor hybrid systems reachability is a challenging task. In this paper we present\r\nan approach based on conservative set-based enclosure of the dynamics that can\r\nhandle systems with uncertain parameters and inputs, where the uncertainties\r\nare bound to given intervals. The method is evaluated on the plant model of an\r\nexperimental electro-mechanical braking system with periodic controller. In\r\nthis model, the fast-switching controller dynamics requires simulation time\r\nscales of the order of nanoseconds. Accurate set-based computations for\r\nrelatively large time horizons are known to be expensive. However, by\r\nappropriately decoupling the time variable with respect to the spatial\r\nvariables, and enclosing the uncertain parameters using interval matrix maps\r\nacting on zonotopes, we show that the computation time can be lowered to 5000\r\ntimes faster with respect to previous works. This is a step forward in formal\r\nverification of hybrid systems because reduced run-times allow engineers to\r\nintroduce more expressiveness in their models with a relatively inexpensive\r\ncomputational cost."}],"conference":{"start_date":"2020-12-02","end_date":"2020-12-04","name":"MEMOCODE: Conference on Formal Methods and Models for System Design","location":"Virtual Conference"},"quality_controlled":"1","title":"Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions","publisher":"IEEE","publication_status":"published","external_id":{"isi":["000661920400013"],"arxiv":["2006.12325"]},"date_created":"2020-11-10T07:04:57Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","language":[{"iso":"eng"}],"date_published":"2020-12-04T00:00:00Z","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/2006.12325","open_access":"1"}],"year":"2020","publication_identifier":{"isbn":["9781728191485"]},"month":"12"}