BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:US/Eastern
BEGIN:DAYLIGHT
DTSTART:20220313T030000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:EDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20221106T010000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:EST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20240126T164236Z
UID:DDBDBFD3-C260-4703-9897-AF7DB542A61C
DTSTART;TZID=US/Eastern:20220323T190000
DTEND;TZID=US/Eastern:20220323T200000
DESCRIPTION:In control theory\, complex models of physical processes\, such
  as systems of differential equations\, are analyzed or controlled from si
 mple specifications\, such as stability and set invariance. In formal meth
 ods\, rich specifications\, such as formulae of temporal logics\, are chec
 ked against simple models of software programs and digital circuits\, such
  as finite transition systems. With the development and integration of cyb
 er-physical and safety-critical systems\, there is an increasing need for 
 computational tools for verification and control of complex systems from r
 ich\, temporal logic specifications.\n\nIn this talk\, I will discuss a se
 t of approaches to the formal synthesis of control strategies for dynamica
 l systems from temporal logic specifications. I will first show how automa
 ta games for finite systems can be extended to obtain conservative control
  strategies for low dimensional linear and multilinear dynamical systems. 
 I will then present several methods to reduce conservativeness and improve
  the scalability of the control synthesis algorithms for more general clas
 ses of dynamics. I will illustrate the usefulness of these approaches with
  examples from robotics and traffic control.\n\nSpeaker(s): Dr. Belta\, \n
 \nPhiladelphia\, Pennsylvania\, United States\, Virtual: https://events.vt
 ools.ieee.org/m/303466
LOCATION:Philadelphia\, Pennsylvania\, United States\, Virtual: https://eve
 nts.vtools.ieee.org/m/303466
ORGANIZER:zahmad@kns.com
SEQUENCE:6
SUMMARY:FORMAL SYNTHESIS OF CONTROL STRATEGIES FOR DYNAMICAL SYSTEMS
URL;VALUE=URI:https://events.vtools.ieee.org/m/303466
X-ALT-DESC:Description: <br /><p>In control theory\, complex models of phys
 ical processes\, such as systems of differential equations\, are analyzed 
 or controlled from simple specifications\, such as stability and set invar
 iance. In formal methods\, rich specifications\, such as formulae of tempo
 ral logics\, are checked against simple models of software programs and di
 gital circuits\, such as finite transition systems. With the development a
 nd integration of cyber-physical and safety-critical systems\, there is an
  increasing need for computational tools for verification and control of c
 omplex systems from rich\, temporal logic specifications.</p>\n<p>In this 
 talk\, I will discuss a set of approaches to the formal synthesis of contr
 ol strategies for dynamical systems from temporal logic specifications. I 
 will first show how automata games for finite systems can be extended to o
 btain conservative control strategies for low dimensional linear and multi
 linear dynamical systems. I will then present several methods to reduce co
 nservativeness and improve the scalability of the control synthesis algori
 thms for more general classes of dynamics. I will illustrate the usefulnes
 s of these approaches with examples from robotics and traffic control.</p>
END:VEVENT
END:VCALENDAR