Modeling & Verification of a Real-Time Controller for the COMMELEC Grid Agent in BIP
Event details
| Date | 06.07.2015 |
| Hour | 15:30 |
| Speaker | Wajeb Saab |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Mario Paolone
Thesis director: Prof. Joseph Sifakis
Thesis co-director: Prof. Jean-Yves Le Boudec
Co-examiner: Dr Simon Bliudze
Research Proposal
A Real-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 Bliudze, Joseph Sifakis, et al.
Building Timing Predictable Embedded Systems by Phililp Axe, Rolf Ernst, et al.
Exam president: Prof. Mario Paolone
Thesis director: Prof. Joseph Sifakis
Thesis co-director: Prof. Jean-Yves Le Boudec
Co-examiner: Dr Simon Bliudze
Research Proposal
A Real-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 Bliudze, Joseph Sifakis, et al.
Building Timing Predictable Embedded Systems by Phililp Axe, Rolf Ernst, et al.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex