BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20231212T100000
DTEND;TZID=Europe/Paris:20231212T110000
DTSTAMP:20260422T230101
CREATED:20231204T091608Z
LAST-MODIFIED:20231204T091608Z
UID:11326-1702375200-1702378800@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Measuring robustness of dynamical systems. Relating time and space to length and precision »\, Manon Blanc (LIX\, Ecole Polytechnique)
DESCRIPTION:Reasoning about dynamical systems evolving over the reals is well-known to lead to undecidability. However\, various results in the literature have shown that decision procedures exist when restricting to robust systems\, with a suitably-chosen notion of robustness. In particular\, in verification\, it has been established that if the state reachability is not sensitive to infinitesimal perturbations\, then decision procedures for state reachability exist. More fundamentally\, while all these statements are only about computability issues\, we also consider complexity theory aspects. We prove that robustness to some precision is inherently related to the complexity of the decision procedure. \nThe full preprint can be found at : https://arxiv.org/pdf/2301.12723.pdf
URL:https://www.greyc.fr/event/seminaire-algorithmique-measuring-robustness-of-dynamical-systems-relating-time-and-space-to-length-and-precision-manon-blanc-lix-ecole-polytechnique/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR