ORBi: Wolper Pierre - On the construction of automata from linear arithmetic constraints

Reference : On the construction of automata from linear arithmetic constraints


	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/30759

Title :	On the construction of automata from linear arithmetic constraints
Language :	English
Author, co-author :	Wolper, Pierre [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
	Boigelot, Bernard [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
Publication date :	Mar-2000
Journal title :	Lecture Notes in Computer Science
Publisher :	Springer
Volume :	1785
Special issue title :	Tools and Algorithms for the Construction and Analysis of Systems
Pages :	1-19
Peer reviewed :	No
On invitation :	Yes
Audience :	International
ISSN :	0302-9743
e-ISSN :	1611-3349
City :	Berlin
Country :	Germany
Event name :	Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000
Event date :	March 25 – April 2, 2000
Event place (city) :	Berlin
Event country :	Germany
Keywords :	[en] linear constraints ; automata
Abstract :	[en] This paper presents an overview of algorithms for constructing automata from linear arithmetic constraints. It identifies one case in which the special structure of the automata that are constructed allows a linear-time determinization procedure to be used. Furthermore, it shows through theoretical analysis and experiments that the special structure of the constructed automata does, in quite a general way, render the usual upper bounds on automata operations vastly overpessimistic.
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/30759
DOI :	10.1007/3-540-46419-0_1
Mentions required by the publisher for OA :	The original publication is available at www.springerlink.com

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Restricted access	BW-TACAS2000.pdf		Publisher postprint	269.23 kB	Request copy
Open access	BW-TACAS2000.pdf		Author postprint	219.95 kB	View/Open

All documents in ORBi are protected by a user license.

Dspace v1.5