BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Formal methods for Cyber Physical Systems: State of the Art and Fu
 ture Challenges
DTSTART:20230609T110000
DTEND:20230609T120000
DTSTAMP:20260408T082243Z
UID:5700a6456efe4ce38ca7bc0fd4526ee140808851cd1a3bd735f5de5c
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Necmiye Ozay\, University of Michigan\, USA\nAbstract:\n
 Modern cyber-physical systems\, like high-end passenger vehicles\, aircraf
 t\, or robots\, are equipped with advanced sensing\, learning\, and decisi
 on making modules. On one hand these modules render the overall system mor
 e informed\, possibly providing predictions into the future. On the other 
 hand\, they can be unreliable due to problems in information processing pi
 pelines or decision making software. Formal methods\, from verification an
 d falsification to correct-by-construction synthesis hold the promise to d
 etect and possibly eliminate such problems at design-time and to provide f
 ormal guarantees on systems' correct operation. In this talk\, I will disc
 uss several recent advances in control synthesis and corner case generatio
 n for cyber-physical systems with a focus on scalability\, and what role d
 ata and learning can play in this process. I will conclude the talk with s
 ome thoughts on challenges and interesting future directions.\n\nBio:\nNec
 miye Ozay received her B.S. degree from Bogazici University\, Istanbul i
 n 2004\, her M.S. degree from the Pennsylvania State University\, Unive
 rsity Park in 2006 and her Ph.D. degree from Northeastern University\, B
 oston in 2010\, all in electrical engineering. She was a postdoctoral scho
 lar at the California Institute of Technology\, Pasadena between 2010 and 
 2013. She joined the University of Michigan\, Ann Arbor in 2013\, where
  she is currently an associate professor of Electrical Engineering and Com
 puter Science\, and Robotics. Dr. Ozay’s research interests include hybr
 id dynamical systems\, control\, optimization and formal methods with app
 lications in cyber-physical systems\, system identification\, verification
  & validation\, autonomy and dynamic data analysis. Her papers received se
 veral awards. She has received the 1938E Award and a Henry Russel Award fr
 om the University of Michigan for her contributions to teaching and re
 search\, and five young investigator awards\, including NSF CAREER\, DARPA
  Young Faculty Award\, ONR Young Investigator Award\, and NASA Early Caree
 r Faculty Award. She is also a recent recipient of the Antonio Ruberti Yo
 ung Researcher Prize from the IEEE Control Systems Society for her funda
 mental contributions to the control and identification of hybrid and cyb
 er-physical systems.\n 
LOCATION:ME C2 405
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR