Imperial College London
Portrait Picture

ProfessorAbbasEdalat

Faculty of Engineering, Department of Computing

Professor in Computer Science & Maths
 
 
 
//

Contact

 

+44 (0)20 7594 8245a.edalat Website

 
 
//

Location

 

420Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Davari:2020:10.1109/LICS.2019.8785680,
author = {Davari, MJ and Edalat, A and Lieutier, A},
doi = {10.1109/LICS.2019.8785680},
publisher = {ACM/IEEE},
title = {The convex hull of finitely generable subsets and its predicate transformer},
url = {http://dx.doi.org/10.1109/LICS.2019.8785680},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We consider the domain of non-empty convex andcompact subsets of a finite dimensional Euclidean space torepresent partial or imprecise points in Computational Geom-etry. The convex hull map on such imprecise points is givendomain-theoretically by an inner and an outer convex hull. Weprovide a practical algorithm to compute the inner convex hullwhen there are a finite number of convex polytopes as partialpoints. A notion of pre-inner support function is introduced,whose convex hull gives the support function of the innerconvex hull in a general setting. We then show that the convexhull map is Scott continuous and can be extended to finitelygenerable subsets, represented by the Plotkin power domain ofthe underlying domain. This in particular allows us to computethe convex hull of attractors of iterated function systems infractal geometry. Finally, we derive a program logic for theconvex hull map in the sense of the weakest pre-condition fora given post-condition.
AU  - Davari,MJ
AU  - Edalat,A
AU  - Lieutier,A
DO  - 10.1109/LICS.2019.8785680
PB  - ACM/IEEE
PY  - 2020///
TI  - The convex hull of finitely generable subsets and its predicate transformer
UR  - http://dx.doi.org/10.1109/LICS.2019.8785680
UR  - http://hdl.handle.net/10044/1/70899
ER  -
Download