This is Enea.


Personal Info





Revisiting Polyhedral Analysis for Hybrid Systems (SAS'19)

[Page last updated on "ottobre 15, 2019, 18:07:09".]

Anna Becchi and Enea Zaffanella

Anna Becchi received the Radhia Cousot Young Researcher Best Paper Award.


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.

Available: PDF.
© Enea Zaffanella

| Home | Personal Info | Research | Papers | Teaching | About