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
Autores principales: D'Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.
Formato: SER
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: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

Ejemplares similares

Ejemplares similares