Evènement pour le groupe Modélisation et Verification


Date 2009-06-04  11:00-12:15
TitreContrôleurs non déterministes de processus non déterministes 
RésuméArnold, Vincent, Walukiewicz en 2003, puis Briand en 2006, on tracé une frontière entre les cas où la synthèse (centralisée ou décentralisée) de contrôleurs déterministes de processus déterministes est effective et ceux où elle est indécidable, lorsque les contrôleurs et le système contrôlé sont soumis à des contraintes d'inobservabilité et d'indiscernabilité exprimables dans un mu-calcul modal étendu. En 2008 Arnold et Walukiewicz ont étendu ces résultats au cas où les contrôleurs et les processus ne sont pas nécessairement déterministes. Ce sont ces extensions qui seront présentées. 
LieuSalle 076 
OrateurAndré Arnold 
Emailandre.arnold@club-internet.fr 



Aucun document lié à cet événement.

Retour
Retour à l'index