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:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20211012T100000
DTEND;TZID=Europe/Paris:20211012T110000
DTSTAMP:20260504T172550
CREATED:20211012T080531Z
LAST-MODIFIED:20211012T080531Z
UID:10621-1634032800-1634036400@www.greyc.fr
SUMMARY:Benoit Barbot (LACL\, Univ. Paris Est Créteil) :  "Sampling uniforme de langage d'automate temporisé"
DESCRIPTION:Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors\, as opposed to isotropic sampling that chooses the next step uniformly at random. The uniformity is defined with respect to volume measure of timed languages previously studied by Asarin\, Basset and Degorre. We apply it to the validation inclusion of time language and on cyber-physical systems (CPS) via simulations based on sampling of the input signal space. We describe a prototype tool chain and demonstrate the proposed methods on a Kinetic Battery Model (KiBaM) and a Sigma Delta modulator.
URL:https://www.greyc.fr/event/benoit-barbot-lacl-univ-paris-est-creteil-sampling-uniforme-de-langage-dautomate-temporise/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,Séminaire Algo
END:VEVENT
END:VCALENDAR