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:
| Autor principal: | Braberman, Víctor Adrián |
|---|---|
| Publicado: |
2012
|
| Materias: | |
| 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: |
Ejemplares similares
-
The modal transition system control problem
por: D'Ippolito, N., et al. -
Distribution of modal transition systems
por: Sibay, Germán Emir, et al.
Publicado: (2012) -
Distribution of modal transition systems
por: Sibay, G.E., et al. -
A Sound observational semantics for modal transition systems
por: Fischbein, D., et al. -
A Sound observational semantics for modal transition systems
Publicado: (2009)