BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CECS - ECPv6.18.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.cecs.uci.edu
X-WR-CALDESC:Events for CECS
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20140309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20141102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20150308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20151101T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20160313T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20161106T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20150924T150000
DTEND;TZID=America/Los_Angeles:20150924T160000
DTSTAMP:20231011T190600Z
CREATED:20231011T190600Z
LAST-MODIFIED:20231011T190600Z
UID:14460-1443106800-1443110400@www.cecs.uci.edu
SUMMARY:When Lyapunov meets Church\, automated synthesis of complex systems emerges
DESCRIPTION:Title: When Lyapunov meets Church\, automated synthesis of complex systems emerges\nSpeaker: Prof. Majid Zamani\, Technische Universität München\, Germany \nDate: Thursday\, September 24\, 2015 \nTime: 3:30 p.m. \nLocation: Engineering Colloquia Room 2430 \nHost: Faryar Jabbari and Solmaz S. Kia \nAbstract: Software plays a crucial role in many everyday applications. Modern vehicles and\nairplanes\, for instance\, use interacting software and hardware components to control steering\, fuel in\njection\, and airbag deployment. These applications are examples of cyber-­‐physical systems (CPS)\, where software components interact tightly with physical systems. Recent advances in device manufacturing\, computation\, storage\, and networking have made tremendous advances in hardware and systems platforms for CPS. However\, the development of core software controllers that run on these systems is still ad hoc and error-­‐prone. Many CPS applications are safety-­‐critical\, and much of the engineering costs today are consumed with ensuring that software works correctly. In this talk\, I will proposes a transformative design process\, in which the controller code is automatically synthesized from higher-­‐level correctness requirements. Requirements for modern CPS applications go beyond conventional requirements in control theory (stability\, synchronization\, and tracking) and\nbeyond traditional protocol design in computer science. Accordingly\, I will propose unified methodologies for automatic controller synthesis by combining techniques from discrete systems theory from computer science with continuous dynamical systems from control theory. The proposed automated synthesis of correct-­‐by-­‐ construction controllers holds the potential to develop complex yet reliable CPS applications while considerably reducing verification and validation costs.\n\n\nBio: Majid Zamani is an assistant professor in the Department of Electrical and \nComputer Engineering at Technische Universität München where he leads the Hybrid Control Systems Group. He received a Ph.D. degree in Electrical Engineering and an MA degree in Mathematics both from University of California\, Los Angeles in 2012\, an M.Sc. degree in Electrical Engineering from Sharif University of Technology in 2007\, and a B.Sc. degree in Electrical Engineering from Isfahan University of Technology in 2005. From September 2012 to December 2013\, he was a postdoctoral researcher in the Delft Centre for Systems and Control at Delft University of Technology. Between December 2013 and May 2014\, he was an assistant professor at Delft University of Technology.nd RSS). He is the Editor-­‐in-­‐Chief of the Springer journal Autonomous Robots.\n\n\nView Details Here
URL:https://www.cecs.uci.edu/event/when-lyapunov-meets-church-automated-synthesis-of-complex-systems-emerges/
LOCATION:CA
CATEGORIES:Seminars at CECS
END:VEVENT
END:VCALENDAR