Supervisory control for modal specifications of services
17
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
17
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
appor t de r ech er ch e IS S N 02 49 -6 39 9 IS R N IN R IA /R R -- 72 47 -- FR +E N G Thème COM INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Supervisory Control for Modal Specifications of Services Philippe Darondeau — Jérémy Dubreil — Hervé Marchand N° 7247 April 2010 in ria -0 04 72 73 6, v er sio n 1 - 1 3 Ap r 2 01 0
- safety properties
- specifications modales
- modal specification
- problem
- supervisory control
- service
- final states
- every modal
- liveness properties into
Publié par
Langue
English
