Séminaire MoVeRSS

Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances

20/06/2008
Intervenant(s) : Prof. Manuel Silva, Université Saragosse
Partant de l’intérêt des modèles d’événements discrets, et constatant l’explosion du nombre d’états dans beaucoup de problèmes d'analyse et de synthèse, on présente leur fluidification (ou continuité). Plusieurs questions sont alors à considérer : entre autres les ressemblances et différences dans les comportements espérés, ou la puissance expressive d’une classe de modèles sous une sémantique «serveurs infinis» pouvant simuler les Machines de Turing. En tout cas, les réseaux de Petri continus, systèmes hybrides particuliers, peuvent être vus comme un élargissement intéressant des modèles discrets, permettant une algorithmique beaucoup plus efficace (certains cas en temps polynomial). La présentation abordera l’intérêt de ce type de modélisation et de son élargissement fluide. On insistera en particulier sur des sujets tels que l’évaluation des performances et le design paramétrique, ainsi que l’observation et le contrôle des systèmes dynamiques sous-jacents. Même si beaucoup de résultats sont aujourd’hui disponibles, il reste de nombreuses questions essentielles incomprises ou non abordables par un ingénieur. Une liste de celles-ci sera évoquée comme invitation à travailler dans cet important et intéressant domaine scientifique et technique.

lom-messan.hillah (at) nulllip6.fr
Mentions légales
Carte du site