BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Modeling & Verification of a Real-Time Controller for the COMMELEC
  Grid Agent in BIP
DTSTART:20150706T153000
DTSTAMP:20260408T103705Z
UID:e4355510fadc604e44db78c57976aa54f5501e3289e7d0cff305cd0a
CATEGORIES:Conferences - Seminars
DESCRIPTION:Wajeb Saab\nEDIC Candidacy Exam:\nExam president: Prof. Mario 
 Paolone\nThesis director: Prof. Joseph Sifakis\nThesis co-director: Prof. 
 Jean-Yves Le Boudec\nCo-examiner: Dr Simon BliudzeResearch Proposal\nA Rea
 l-Time Motion Planner with Trajectory Optimization for Autonomous Vehicles
  by Wenda Xu\, Junqing Wei\, John M. Dolan\, Huijing Zhao and Hongbin Zha.
 A General Framework for Architecture Composability by Paul Attie\, Simon B
 liudze\, Joseph Sifakis\, et al.Building Timing Predictable Embedded Syste
 ms by Phililp Axe\, Rolf Ernst\, et al.
LOCATION:BC 229 https://plan.epfl.ch/?room==BC%20229
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR