BEGIN:VCALENDAR METHOD:PUBLISH PRODID:-//Apple Computer\, Inc//iCal 1.0//EN X-WR-CALNAME;VALUE=TEXT:USC VERSION:2.0 BEGIN:VEVENT DESCRIPTION:Speaker: Ashutosh Trivedi, University of Colorado Boulder Talk Title: Multi-Mode Systems : LEGO-style Development for Cyber-Physical Systems Series: Center for Cyber-Physical Systems and Internet of Things Abstract: The recent "internet-of-things" (IoT) revolution has led to a profusion of miniaturized and cost-effective components such as microprocessors, wireless communication devices, sensors, and actuators. This has enabled the "LEGO style" design of complex cyber- physical systems. These systems integrate rich continuous dynamics, discrete switching, stochastic behaviors, and the presence of multiple rational agents. Thus the twin problems of reliable and secure design becomes extremely challenging. This necessitates a disciplined approach that guarantees correctness by construction.\n \n In this talk, we will present multi-mode systems a mathematical formalism that captures fundamentals of building complex behaviors from simpler predefined primitives. Multi-mode systems naturally capture discrete switching, continuous dynamics, worst-case, and stochastic disturbances in a simple mathematical framework. We present fundamental results on computation and control of such systems with relevance to diverse areas such as robotic path planning, hierarchical and discrete-event control, and game theory. \n Biography: Ashutosh Trivedi is an assistant professor of computer science at the University of Colorado Boulder. He holds a Ph.D. in computer science from the University of Warwick. Prior to joining the University of Colorado Boulder, Ashutosh worked as an assistant professor of computer science at the Indian Institute of Technology Bombay, and as postdoctoral researcher at the University of Pennsylvania and the University of Oxford. Ashutosh's research interests lies at the intersection of computer science and control theory. His research focuses on applying rigorous mathematical reasoning techniques for the design and analysis of safe and secure cyber -physical systems. Host: Paul Bogdan SEQUENCE:5 DTSTART:20180919T120000 LOCATION:EEB 132 DTSTAMP:20180919T120000 SUMMARY:Multi-Mode Systems: LEGO-style Development for Cyber-Physical Systems UID:EC9439B1-FF65-11D6-9973-003065F99D04 DTEND:20180919T130000 END:VEVENT END:VCALENDAR