Supervisory control for modal specifications of services
17 Pages
English
Gain access to the library to view online
Learn more

Supervisory control for modal specifications of services

-

Gain access to the library to view online
Learn more
17 Pages
English

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


Subjects

Informations

Published by
Reads 7
Language English

Exrait