BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:644db7d2f97ebe84b194572eb75587e5
DTSTAMP:20260422T083837Z
SUMMARY:Momina Rizwan's PhD defence
DESCRIPTION:Kontakt: momina.rizwan@cs.lth.se\n\nThesis title:&nbsp\;Safety 
 and Reliability for Autonomous Robots in Dynamic EnvironmentsAuthor: Momin
 a Rizwan\, Department of Computer Science\, Lund UniversityFaculty opponen
 t: Professor Nico Hochgeschwender\, Universität Bremen\, GermanyExaminati
 on Committee:Professor Ulrik Pagh-Schultz Lundquist\, University of Southe
 rn Denmark\, DenmarkProfessor Federico Ciccozzi\, Mälardalen UniversityAs
 sistant Professor Marie Farrell\, University of Manchester\, United Kingdo
 mDeputy: Adjunct Professor Johan Eker\, Lund UniversitySession chair:&nbsp
 \;Professor Björn Regnell\, Lund UniversitySupervisors:Senior Lecturer Ch
 ristoph Reichenbach\, Lund UniversityProfessor Volker Krueger\, Lund Unive
 rsityLocation: E:B\,&nbsp\;E-huset\, Klas Anshelms väg 10/Ole Römers vä
 g 3\, LundHere is a link to download the thesis at LU Research Portal&nbsp
 \;AbstractAutonomous robots must operate reliably and safely under uncerta
 in\, dynamic conditions over extended periods.&nbsp\; To ensure such opera
 tional robustness\, it is vital that both developers and operators can cle
 arly and verifiably specify functional requirements and safety constraints
  throughout the robot software lifecycle. My research targets different la
 yers of robot operational safety: early error detection\, real-time safety
  enforcement\, and adaptive failure recovery. First\, we extend the DeROS 
 language to develop ROSSMARie\, a DSL to generate a runtime safety monitor
  for enforcing safety rules and enabling autonomous recovery. ROSSMARie en
 sures functional safety through real-time rule monitoring and resume-capab
 le interventions\, validated on an industrial robot control platform in sc
 enarios involving human proximity\, terrain hazards\, and contact instabil
 ity. Second\, we present EzSkiROS: an embedded DSL framework in Python tha
 t supports early fault detection during the pre-deployment (launch) phase 
 of robotic skills. This DSL checks the consistency between Behavior Tree (
 BT) implementations\, high-level symbolic skill contracts\, and ontology-b
 ased world models. By performing symbolic and dynamic checks before execut
 ion\, this approach identifies latent faults that would otherwise manifest
  at runtime. Third\, we introduce a safety monitoring architecture Reflex-
 Plan\, which enables communication between the runtime safety monitor and 
 the deliberate high-level planner. This dual-layer design enables ”fast 
 thinking” for immediate hazard response and ”slow thinking” for reco
 very planning. Reflex-Plan is validated in a mock hospital environment usi
 ng a mobile manipulator\, demonstrating measurable improvements in task co
 ntinuity\, response latency\, and hazard mitigation. Together\, these cont
 ributions form a safety pipeline that uses DSL-based robotic programming. 
 Our results demonstrate significant improvements in operational safety and
  code maintainability\, enabling autonomous robots to handle failures proa
 ctively and recover adaptively in complex\, real-world settings.&nbsp\;\n\
 nMer information om händelsen: https://www.cs.lth.se/evenemang/momina-riz
 wans-phd-defence
DTSTART;TZID=GMT:20251009T111500
DTEND;TZID=GMT:20251009T111500
LOCATION:E:B\, E-huset\, Klas Anshelms väg 10/Ole Römers väg 3\, Lund
END:VEVENT
END:VCALENDAR