BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:America/New_York
X-WR-TIMEZONE:America/New_York
BEGIN:VEVENT
UID:0-5079@eng.ufl.edu
DTSTART;TZID=America/New_York:20220913T124500
DTEND;TZID=America/New_York:20220913T134500
DTSTAMP:20251201T210235Z
URL:https://www.eng.ufl.edu/news-events/events/affiliate-status-seminar-to
 wards-provably-correct-cyber-physical-defense-with-integrated-formal-metho
 ds-and/
SUMMARY:Affiliate Status Seminar - Towards Provably Correct Cyber-Physical 
 Defense with Integrated Formal Methods and
DESCRIPTION:Towards Provably Correct Cyber-Physical Defense with Integrated
  Formal Methods and Game Theory\nJie Fu\, PhD\nAssistant Professor\nDepart
 ment of Electrical and Computer Engineering\nUniversity of Florida\nAbstra
 ct\nThe increasingly interconnected mesh of networks\, sensors\, and auton
 omous systems introduces unprecedented challenges to the security of cyber
 -physical systems (CPSs). Furthermore\, in many defense and security appli
 cations\, these mission-critical systems attract intelligent and purposefu
 l attacks to compromise more complex system specifications besides safety 
 and stability. In this talk\, I will present our recent work on control de
 sign for security and assurance in CPSs. Based on an integrated approach u
 sing formal methods\, game theory\, and control\, I will show how a CPS de
 fender can strategically introduce misinformation and disinformation to de
 ceive the attacker for strategic advantages and correctness guarantees res
 pecting its high-level mission specifications. Then\, I will discuss chall
 enges faced by CPSs against coordinated cyber- and physical- attacks and s
 how how a CPS defender can leverage joint control and active information a
 cquisition capability to ensure provably correct system performance\, agai
 nst reactive attacks. Lastly\, I will present our ongoing work on preferen
 ce modeling and discuss how preference specifications can be crucial in ac
 hieving resilience in autonomous systems interacting with unknown\, dynami
 c environments.\nBiography\nDr. Jie Fu is an assistant professor in the De
 partment of Electrical and Computer Engineering at the University of Flori
 da. She earned her Ph.D. degree in Mechanical Engineering from the Univers
 ity of Delaware. She held post-doc research positions at the University of
  Pennsylvania. Prior to joining UF\, she was an assistant professor with t
 he Department of Robotic Engineering at the Worcester Polytechnic Institut
 e. Her research focuses on theory and algorithms for synthesizing correct-
 by-construction autonomous systems through integrated formal methods\, lea
 rning\, control\, and game theory. Her research is sponsored by NSF\, AFOS
 R\, ARO\, and DARPA. She received the AFOSR YIP award in 2020\, DARPA YFA 
 award in 2021\, and NSF CAREER award in 2022.\nMAE Faculty Host: Warren Di
 xon
CATEGORIES:Seminars
LOCATION:MAE-A Room 303\, 939 Sweetwater Drive\, Gainesville\, FL\, 32611\,
  United States
GEO:29.643814;-82.34865
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=939 Sweetwater Drive\, Gain
 esville\, FL\, 32611\, United States;X-APPLE-RADIUS=100;X-TITLE=MAE-A Room
  303:geo:29.643814,-82.34865
END:VEVENT
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
DTSTART:20220313T030000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR