ORBi: Boigelot Bernard - Implicit Real Vector Automata

Reference : Implicit Real Vector Automata


	Document type :	Scientific congresses and symposiums : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/74767

Title :	Implicit Real Vector Automata
Language :	English
Author, co-author :	Boigelot, Bernard [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
	Brusten, Julien [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
	Degbomont, Jean-François [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Dép. d'électric., électron. et informat. (Inst.Montefiore) >]
Publication date :	2010
Journal title :	Electronic Proceedings in Theoretical Computer Science [=EPTCS]
Volume :	39
Pages :	63-76
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISSN :	2075-2180
Event name :	12th International Workshop on Verification of Infinite-State Systems
Event date :	September 21th, 2010
Event place (city) :	Singapore
Event country :	Singapore
Keywords :	[en] Non-convex polyhedra ; Boolean combinations of linear constraints ; Data structure
Abstract :	[en] This paper addresses the symbolic representation of non-convex real polyhedra, i.e., sets of real vectors satisfying arbitrary Boolean combinations of linear constraints. We develop an original data structure for representing such sets, based on an implicit and concise encoding of a known structure, the Real Vector Automaton. The resulting formalism provides a canonical representation of polyhedra, is closed under Boolean operators, and admits an efficient decision procedure for testing the membership of a vector.
Funders :	Interuniversity Attraction Poles program MoVES of the Belgian Federal Science Policy Office ; Grant 2.4530.02 of the Belgian Fund for Scientific Research (F.R.S.-FNRS)
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/2268/74767
DOI :	10.4204/EPTCS.39.5

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	paper.pdf	No commentary	Author postprint	273.75 kB	View/Open

All documents in ORBi are protected by a user license.

Dspace v1.5