6 Octobre - 12 Octobre


Retour à la vue des calendrier
Mardi 7 Octobre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Le langage asymptotique des courbes lisses
Description: Thierry Monteil Le tracé d'une courbe sur une grille produit une suite de pixels consécutifsqui peut être représentée par un mot sur l'alphabet {droite, haut, gauche,bas}. Ce codage établit un dictionnaire entre objets géométriques (oudifférentiels) et propriétés combinatoires sur les mots. Par exemple, lecodage des segments de droites correspond aux mots dits 1-équilibrés, quisont les facteurs finis des mots sturmiens.Une méthode classique pour analyser une courbe lisse discrétisée consiste àdécomposer son codage en mots 1-équilibrés maximaux, qui servent alors detangentes discrètes. Sans ajout d'hypothèses, les estimateurs de tangentesou de courbure associés ne convergent pas nécéssairement lorsque la maillede la grille tend vers zéro.Une raison possible est la suivante : certains mots non 1-équilibrés peuventapparaître dans le codage de courbes lisses pour des mailles arbitrairementfines.Let but de cet exposé est de décrire ce langage et voir ce qu'on peut luifaire dire.
Jeudi 9 Octobre
Heure: 16:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Unfolding-based Reachability Checking of Petri Nets
Description: César Rodríguez In model checking, a well known source of state-space explosion (SSE) is
the explicit representation of concurrent actions by their interleavings.
Partial-order reductions attempt to address this by constructing an
equivalent state space where irrelevant executions of the original are
discarded. A comparatively less well-known approach emerges from the use
of partial-order semantics, where the state space is instead represented by
a partial order where concurrent actions are simply left unordered. Petri
net unfoldings are arguably the most prominent verification technique
issued from this idea.

In this talk, three different semantics for Petri nets will be presented,
the last one of which will be the aforementioned unfolding semantics. We
will then see how unfoldings can be employed in practical verification and,
time permitting, how to improve the method to address additional sources of
SSE.