Implicit Real Vector Automata
Formal Languages and Automata Theory
2010-11-02 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1011.0221,
title = {Implicit Real Vector Automata},
author = {Bernard Boigelot and Julien Brusten and Jean-François Degbomont},
journal= {arXiv preprint arXiv:1011.0221},
year = {2010}
}
Comments
In Proceedings INFINITY 2010, arXiv:1010.6112