Non-convex polyhedra; Boolean combinations of linear constraints; Data structure
Abstract :
[en] This thesis introduces a new data structure, the Implicit Real Vector Automaton (IRVA), suited for representing symbolically polyhedra, i.e., regions of n-dimensional space defined by finite Boolean combinations of linear inequalities. IRVA can represent exactly arbitrary convex and non-convex polyhedra, including features such as open and closed boundaries, unconnected parts, and non-manifold components. In addition, they provide efficient procedures for deciding whether a point belongs to a given polyhedron, and determining the polyhedron component (vertex, edge, facet, ...) that contains a point. An advantage of IRVA is that they can easily be minimized into a canonical form, which leads to a simple and efficient test for equality between represented polyhedra. Elementary IRVA representing primitive polyhedra, such as linear
(in)equations and vector spaces are easily constructed and algorithms have been developed for computing Boolean combinations as well as projections of polyhedra represented by IRVA. These algorithms are illustrated by complete examples of executions as a support for the comprehension of their mechanisms. Another contribution is a first prototype implementation of an IRVA library, containing functions for building and manipulating arbitrary n-dimensional polyhedra. We reinforce the presentation of the implementation by discussing some design choices. Such choices include the use of exact arithmetic. Finally, experimental results are presented and discussed. These experiments pave the way to future adaptations and improvements.
Disciplines :
Computer science
Author, co-author :
Degbomont, Jean-François ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Dép. d'électric., électron. et informat. (Inst.Montefiore)
Language :
English
Title :
Implicit Real Vector Automata
Defense date :
17 September 2013
Number of pages :
141
Institution :
ULiège - Université de Liège
Degree :
Docteur en sciences, orientation informatique
Promotor :
Boigelot, Bernard ; Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science
President :
Gribomont, Pascal ; Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
Jury member :
Béchet, Eric ; Université de Liège - ULiège > Aérospatiale et Mécanique (A&M)
Wolper, Pierre ; Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
This website uses cookies to improve user experience. Read more
Save & Close
Accept all
Decline all
Show detailsHide details
Cookie declaration
About cookies
Strictly necessary
Performance
Strictly necessary cookies allow core website functionality such as user login and account management. The website cannot be used properly without strictly necessary cookies.
This cookie is used by Cookie-Script.com service to remember visitor cookie consent preferences. It is necessary for Cookie-Script.com cookie banner to work properly.
Performance cookies are used to see how visitors use the website, eg. analytics cookies. Those cookies cannot be used to directly identify a certain visitor.
Used to store the attribution information, the referrer initially used to visit the website
Cookies are small text files that are placed on your computer by websites that you visit. Websites use cookies to help users navigate efficiently and perform certain functions. Cookies that are required for the website to operate properly are allowed to be set without your permission. All other cookies need to be approved before they can be set in the browser.
You can change your consent to cookie usage at any time on our Privacy Policy page.