Concurrent Secrets

Eric Badouel 1 Marek Bednarczyk 2 Andrzej Borzyszkowski 3 Benoit Caillaud 1 Philippe Darondeau 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that the trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even though they have full knowledge of this control. We show that an optimal control always exists although it is generally not regular. We state sufficient conditions for computing a finite and optimal control of the system enforcing the concurrent secret as desired. We briefly point to applications.
Type de document :
Rapport
[Research Report] RR-5771, INRIA. 2005, pp.22
Liste complète des métadonnées

https://hal.inria.fr/inria-00070249
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 19 mai 2006 - 19:39:30
Dernière modification le : vendredi 16 novembre 2018 - 01:22:07
Document(s) archivé(s) le : dimanche 4 avril 2010 - 20:44:31

Fichiers

Identifiants

  • HAL Id : inria-00070249, version 1

Citation

Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoit Caillaud, Philippe Darondeau. Concurrent Secrets. [Research Report] RR-5771, INRIA. 2005, pp.22. 〈inria-00070249〉

Partager

Métriques

Consultations de la notice

352

Téléchargements de fichiers

238