BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
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
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240624T133000
DTEND;TZID=Europe/Paris:20240624T150000
DTSTAMP:20240612T123113Z
CREATED:20240610T160227Z
LAST-MODIFIED:20240612T123113Z
UID:26398-1719235800-1719241200@www.loria.fr
SUMMARY:Colloquium du Loria : Kristin Yvonne Rozier
DESCRIPTION:Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l’amphithéâtre.\n\nNous aurons le plaisir d’accueillir Kristin Yvonne Rozier\, chercheuse au département d’ingénierie spatiale et d’informatique d’Iowa State University.\n\nLa présentation est intitulée « Rockets\, Route-Analyzers\, Rotorcraft\, and Robonaut2: Intelligent\, On-board Runtime Reasoning » et sera en anglais.\n\nRésumé : \nRuntime Verification (RV) has become critical to the deployment of a wide range of systems\, including aircraft\, spacecraft\, satellites\, rovers\, and robots\, as well as the systems that control them\, like air traffic control systems and space stations. The most useful\, important\, and safety-critical jobs will require these systems to operate both intelligently and autonomously\, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to dynamic environments and detect critical failures on-board\, in real time\, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation\, space\, timing\, power\, weight\, cost\, and other operating conditions of on-board\, runtime verification. While the research area of RV is vast\, there is a dearth of RV tools that can operate within these constraints\, and without violating rules for air and space flight certification. \nThe Realizable\, Responsive\, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with powerful reasoning to provide formal assurances during runtime\, enabling self-assessment of critical systems. This presentation overviews recent algorithmic advances and the case studies they enabled\, including embedding on-board NASA’s humanoid robot Robonaut2\, a UTM (UAS Traffic Management) system\, a CubeSat\, and the NASA Lunar Gateway.\n\nLes personnes extérieures au Loria peuvent s’inscrire par email auprès de Marie Baron (prénom.nom@loria.fr) avant le 20 juin.\n\n– – – – –\n\n\nNext Loria colloquium will take place on Monday\, June 24th at 1.30 pmin the amphitheater.\n\nWe will have the pleasure to welcome Kristin Yvonne Rozier\, researcher at the faculty of the Aerospace Engineering and Computer Science Departments of Iowa State University.\n\n\nThe presentation is entitled « Rockets\, Route-Analyzers\, Rotorcraft\, and Robonaut2: Intelligent\, On-board Runtime Reasoning » and will be in English. \n\nABSTRACT:\nRuntime Verification (RV) has become critical to the deployment of a wide range of systems\, including aircraft\, spacecraft\, satellites\, rovers\, and robots\, as well as the systems that control them\, like air traffic control systems and space stations. The most useful\, important\, and safety-critical jobs will require these systems to operate both intelligently and autonomously\, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to react to dynamic environments and detect critical failures on-board\, in real time\, to enable mitigation triggering. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation\, space\, timing\, power\, weight\, cost\, and other operating conditions of on-board\, runtime verification. While the research area of RV is vast\, there is a dearth of RV tools that can operate within these constraints\, and without violating rules for air and space flight certification. \nThe Realizable\, Responsive\, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with powerful reasoning to provide formal assurances during runtime\, enabling self-assessment of critical systems. This presentation overviews recent algorithmic advances and the case studies they enabled\, including embedding on-board NASA’s humanoid robot Robonaut2\, a UTM (UAS Traffic Management) system\, a CubeSat\, and the NASA Lunar Gateway.\n\n\nPeople from outside the Loria can register by sending an email to Marie Baron (prenom.nom@loria.fr) before June 20th.
URL:https://www.loria.fr/event/colloquium-du-loria-kristin-yvonne-rozier/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
END:VCALENDAR