| ||||
| ||||
![]() Title:Revisiting Polyhedral Analysis for Hybrid Systems Conference:SAS 2019 Tags:Abstract Operators, boxed polyhedra, Convex Polyhedra, Hybrid Systems, Powerset Domain, Reachability Analysis and split operator Abstract: Thanks to significant progress in the adopted implementation techniques, the recent years have witnessed a renewed interest in the development of analysis tools based on the domain of convex polyhedra. In this paper we revisit the application of this abstract domain to the case of reachability analysis for hybrid systems, focusing on the lesson learned during the development of the tool PHAVerLite. In particular, we motivate the implementation of specialized versions of several well known abstract operators, as well as the adoption of a heuristic technique (boxed polyhedra) for the handling of finite collections of polyhedra, showing their impact on the efficiency of the analysis tool. Revisiting Polyhedral Analysis for Hybrid Systems ![]() Revisiting Polyhedral Analysis for Hybrid Systems | ||||
Copyright © 2002 – 2025 EasyChair |