The modal transition system control problem

Controller synthesis is a well studied problem that attempts to automatically generate an operational behaviour model of the systemto- be such that when deployed in a given domain model that behaves according to specified assumptions satisfies a given goal. A limitation of known controller synthesis...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Braberman, Víctor Adrián
Publicado: 2012
Materias:
Behaviour models
Complexity class
Controller synthesis
Domain model
Incremental development
Labelled transition systems
Modal Transition Systems
Problem domain
Realisability
Artificial intelligence
Controllers
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7436LNCS_n_p155_DIppolito
http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p155_DIppolito
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v7436LNCS_n_p155_DIppolito
record_format dspace
spelling paper:paper_03029743_v7436LNCS_n_p155_DIppolito2023-06-08T15:28:45Z The modal transition system control problem Braberman, Víctor Adrián Behaviour models Complexity class Controller synthesis Domain model Incremental development Labelled transition systems Modal Transition Systems Problem domain Realisability Artificial intelligence Controllers Controller synthesis is a well studied problem that attempts to automatically generate an operational behaviour model of the systemto- be such that when deployed in a given domain model that behaves according to specified assumptions satisfies a given goal. A limitation of known controller synthesis techniques is that they require complete descriptions of the problem domain. This is limiting in the context of modern incremental development processes when a fully described problem domain is unavailable, undesirable or uneconomical. In this paper we study the controller synthesis problem when there is partial behaviour information about the problem domain. More specifically, we define and study the controller realisability problem for domains described as Modal Transition Systems (MTS). An MTS is a partial behaviour model that compactly represents a set of complete behaviour models in the form of Labelled Transition Systems (LTS). Given an MTS we ask if all, none or some of the LTS it describes admit an LTS controller that guarantees a given property. We show a technique that solves effectively the MTS realisability problem and is in the same complexity class as the corresponding LTS problem. © 2012 Springer-Verlag. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2012 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7436LNCS_n_p155_DIppolito http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p155_DIppolito
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Behaviour models
Complexity class
Controller synthesis
Domain model
Incremental development
Labelled transition systems
Modal Transition Systems
Problem domain
Realisability
Artificial intelligence
Controllers
spellingShingle Behaviour models
Complexity class
Controller synthesis
Domain model
Incremental development
Labelled transition systems
Modal Transition Systems
Problem domain
Realisability
Artificial intelligence
Controllers
Braberman, Víctor Adrián
The modal transition system control problem
topic_facet Behaviour models
Complexity class
Controller synthesis
Domain model
Incremental development
Labelled transition systems
Modal Transition Systems
Problem domain
Realisability
Artificial intelligence
Controllers
description Controller synthesis is a well studied problem that attempts to automatically generate an operational behaviour model of the systemto- be such that when deployed in a given domain model that behaves according to specified assumptions satisfies a given goal. A limitation of known controller synthesis techniques is that they require complete descriptions of the problem domain. This is limiting in the context of modern incremental development processes when a fully described problem domain is unavailable, undesirable or uneconomical. In this paper we study the controller synthesis problem when there is partial behaviour information about the problem domain. More specifically, we define and study the controller realisability problem for domains described as Modal Transition Systems (MTS). An MTS is a partial behaviour model that compactly represents a set of complete behaviour models in the form of Labelled Transition Systems (LTS). Given an MTS we ask if all, none or some of the LTS it describes admit an LTS controller that guarantees a given property. We show a technique that solves effectively the MTS realisability problem and is in the same complexity class as the corresponding LTS problem. © 2012 Springer-Verlag.
author Braberman, Víctor Adrián
author_facet Braberman, Víctor Adrián
author_sort Braberman, Víctor Adrián
title The modal transition system control problem
title_short The modal transition system control problem
title_full The modal transition system control problem
title_fullStr The modal transition system control problem
title_full_unstemmed The modal transition system control problem
title_sort modal transition system control problem
publishDate 2012
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7436LNCS_n_p155_DIppolito
http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p155_DIppolito
work_keys_str_mv AT brabermanvictoradrian themodaltransitionsystemcontrolproblem
AT brabermanvictoradrian modaltransitionsystemcontrolproblem
_version_ 1768545599813058560

Ejemplares similares