Bonjour à toutes et à tous,
Au vu des circonstances, nous sommes dans l’obligation de reporter le séminaire de Stefan Schwoon à plus tard.
Je vous présente toutes mes excuses pour la gène occasionnée.
Bien cordialement,
Nicolas Boutry
Chers collègues,
La prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
Mercredi 18 mars 2020 (11h -- 12h), Amphi Masters.
Vous trouverez sur le site du séminaire [1] les prochaines séances,
les résumés, captations vidéos et planches des exposés précédents [2],
le détail de cette séance [3] ainsi que le plan d'accès [4].
[1] http://seminaire.lrde.epita.fr
[2] http://seminaire.lrde.epita.fr/Archives
[3] http://seminaire.lrde.epita.fr/2020-03-18
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 18 mars 2020 :
* 11h -- 12h: Diagnosis and Opacity in Partially Observable Systems
-- Stefan Schwoon, ENS Paris-Saclay
http://www.lsv.fr/~schwoon/
In a partially observable system, diagnosis is the task of detecting the
certain events, for instance fault occurrences. In the presence of
hostile observers, on the other hand, one is interested in rendering a
system opaque, i.e. making it impossible to detect certain "secret"
events. The talk will present some decidability and complexity results
for these two problems when the system is represented as a finite
automaton or a Petri net. We then also consider the problem of active
diagnosis, where the observer has some control over the system. In this
context, we study problems such as the computational complexity of the
synthesis problem, the memory required for the controller, and the delay
between a fault occurrence and its detection by the diagnoser. The talk
is based on joint work with B.Bérard, S.Haar, S.Haddad, T.Melliti, and
S.Schmitz.
-- Stefan Schwoon studied Computer Science at the University of Hildesheim
and received a PhD from the Technical University of Munich in 2002. He
held the position of Scientific Assistent at the University of Stuttgart
from 2002 to 2007, and at the Technical University in Munich from 2007
to 2009. He is currently Associate Professor (Maître de conférences) in
the Laboratoire Spécification et Vérification (LSV), ENS Paris-Saclay,
and a member of the INRIA team Mexico. His research interests include
model checking and diagnosis on concurrent and partially-observable
systems.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible. N'hésitez pas à nous faire
parvenir vos suggestions d'orateurs.
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.lrde.epita.fr/pipermail/seminaire/attachments/20200308/89850cb…>
Chers collègues,
La prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
Mercredi 18 mars 2020 (11h -- 12h), Amphi Masters.
Vous trouverez sur le site du séminaire [1] les prochaines séances,
les résumés, captations vidéos et planches des exposés précédents [2],
le détail de cette séance [3] ainsi que le plan d'accès [4].
[1] http://seminaire.lrde.epita.fr
[2] http://seminaire.lrde.epita.fr/Archives
[3] http://seminaire.lrde.epita.fr/2020-03-18
[4] http://www.lrde.epita.fr/wiki/Contact
Au programme du Mercredi 18 mars 2020 :
* 11h -- 12h: Diagnosis and Opacity in Partially Observable Systems
-- Stefan Schwoon, ENS Paris-Saclay
http://www.lsv.fr/~schwoon/
In a partially observable system, diagnosis is the task of detecting the
certain events, for instance fault occurrences. In the presence of
hostile observers, on the other hand, one is interested in rendering a
system opaque, i.e. making it impossible to detect certain "secret"
events. The talk will present some decidability and complexity results
for these two problems when the system is represented as a finite
automaton or a Petri net. We then also consider the problem of active
diagnosis, where the observer has some control over the system. In this
context, we study problems such as the computational complexity of the
synthesis problem, the memory required for the controller, and the delay
between a fault occurrence and its detection by the diagnoser. The talk
is based on joint work with B.Bérard, S.Haar, S.Haddad, T.Melliti, and
S.Schmitz.
-- Stefan Schwoon studied Computer Science at the University of Hildesheim
and received a PhD from the Technical University of Munich in 2002. He
held the position of Scientific Assistent at the University of Stuttgart
from 2002 to 2007, and at the Technical University in Munich from 2007
to 2009. He is currently Associate Professor (Maître de conférences) in
the Laboratoire Spécification et Vérification (LSV), ENS Paris-Saclay,
and a member of the INRIA team Mexico. His research interests include
model checking and diagnosis on concurrent and partially-observable
systems.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible. N'hésitez pas à nous faire
parvenir vos suggestions d'orateurs.
