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...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | SER |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p155_DIppolito |
| Aporte de: |
| id |
todo:paper_03029743_v7436LNCS_n_p155_DIppolito |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_03029743_v7436LNCS_n_p155_DIppolito2023-10-03T15:19:25Z The modal transition system control problem D'Ippolito, N. Braberman, V. Piterman, N. Uchitel, S. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 D'Ippolito, N. Braberman, V. Piterman, N. Uchitel, S. 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. |
| format |
SER |
| author |
D'Ippolito, N. Braberman, V. Piterman, N. Uchitel, S. |
| author_facet |
D'Ippolito, N. Braberman, V. Piterman, N. Uchitel, S. |
| author_sort |
D'Ippolito, 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 |
| url |
http://hdl.handle.net/20.500.12110/paper_03029743_v7436LNCS_n_p155_DIppolito |
| work_keys_str_mv |
AT dippoliton themodaltransitionsystemcontrolproblem AT brabermanv themodaltransitionsystemcontrolproblem AT pitermann themodaltransitionsystemcontrolproblem AT uchitels themodaltransitionsystemcontrolproblem AT dippoliton modaltransitionsystemcontrolproblem AT brabermanv modaltransitionsystemcontrolproblem AT pitermann modaltransitionsystemcontrolproblem AT uchitels modaltransitionsystemcontrolproblem |
| _version_ |
1807315938861645824 |