Symbolic determinisation of extended automata

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which the procedure terminates is characterised as bounded lookahead extender automata....

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Jéron, Thierry, Marchand, Hervé, Rusu, Vlad
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
determinisation
symbolic automata
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24398
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24398
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
determinisation
symbolic automata
spellingShingle Ciencias Informáticas
determinisation
symbolic automata
Jéron, Thierry
Marchand, Hervé
Rusu, Vlad
Symbolic determinisation of extended automata
topic_facet Ciencias Informáticas
determinisation
symbolic automata
description We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which the procedure terminates is characterised as bounded lookahead extender automata. It corresponds to automata for which, in any location, the observation of a bounded-length trace is enough to infer the first transition actually taken. We discuss applications of the algorithm to the verification, testing and diagnosis of infinite-state systems.
format Objeto de conferencia
Objeto de conferencia
author Jéron, Thierry
Marchand, Hervé
Rusu, Vlad
author_facet Jéron, Thierry
Marchand, Hervé
Rusu, Vlad
author_sort Jéron, Thierry
title Symbolic determinisation of extended automata
title_short Symbolic determinisation of extended automata
title_full Symbolic determinisation of extended automata
title_fullStr Symbolic determinisation of extended automata
title_full_unstemmed Symbolic determinisation of extended automata
title_sort symbolic determinisation of extended automata
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/24398
work_keys_str_mv AT jeronthierry symbolicdeterminisationofextendedautomata
AT marchandherve symbolicdeterminisationofextendedautomata
AT rusuvlad symbolicdeterminisationofextendedautomata
bdutipo_str Repositorios
_version_ 1764820466025889794

Ejemplares similares