Supervisory control for modal specifications of services

Philippe Darondeau

Description

Niveau: Supérieur
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

Sujets

• Darondeau
• Marchand
• Problem
• Supervisory control
• Service

Informations

• Publié par: chaeh
• Nombre de lectures: 7
• Langue: English

Extrait