A Workshop on the Formal Analysis of Protection Systems in Smart Grids Using Probabilistic Model Checking
Date: August 25, 2021 (Wednesday)
Time: 5–6 p.m. (PST), 3:00–4:00 p.m. (Türkiye)
Venue: Online via Google Meet
Speakers:
1. Dr. Osman Hasan, SEECS, NUST
2. Ibrahim Evkay, Yıldız Technical University (YTU), Türkiye
3. Sobia Ashraf, SEECS, NUST
- Talk 1: Introduction to Formal Verification (5:00–5:20 p.m.)
- Talk 2: The Importance of Protection Systems in Smart Grids (5:20–5:40 p.m.)
- Talk 3: Formal Verification of Line Protection Logic Based on Single-Dual-Setting DOCRs for Smart Grids (5:40–6:00 pm)
Register Here for Free: https://forms.gle/mPBNC49SbRuN7rGq6
After registration, you will receive a confirmation email containing information on how to join the workshop online.
Contact us at: sashraf.dphd19seecs@seecs.edu.pk for more information or questions
Collaborators:
This workshop is supported by the Pakistan Science Foundation (PSF)—collaborative research grant (PSF-TUBITAK/Eng/C-NUST(13))—and the Scientific and Technological Research Council of Türkiye (TUBITAK-118E307).
