This is Enea.

Home

Personal Info

Research

Papers

Teaching

About

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.

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.


Available: PDF.
© Enea Zaffanella
enea.zaffanella@unipr.it

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