Select a calendar:
Filter February Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for February 22, 2017
-
Computer Science General Faculty Meeting
Wed, Feb 22, 2017 @ 12:00 PM - 02:00 PM
Thomas Lord Department of Computer Science
Receptions & Special Events
Bi-Weekly regular faculty meeting for invited full-time Computer Science faculty only. Event details emailed directly to attendees.
Location: Ronald Tutor Hall of Engineering (RTH) - 526
Audiences: Invited Faculty Only
Contact: Assistant to CS chair
-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Wed, Feb 22, 2017 @ 02:00 PM - 03:30 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Sanjit A. Seshia , Professor, University of California, Berkeley
Talk Title: Formal Inductive Synthesis for Cyber-Physical Systems
Abstract: Cyber-physical systems are computational systems tightly integrated with physical processes. Examples include modern automobiles,fly-by-wire aircraft, software-controlled medical devices, robots, and many more. In recent times, these systems have exploded in complexity due to the growing amount of software and networking integrated into physical environments via real-time control loops. At the same time, they typically must be designed with strong verifiable guarantees.
In this talk, I will describe how formal inductive synthesis --- algorithmic synthesis from examples with formal guarantees --- can be brought to bear on some important problems in the modeling, design, and analysis of cyber-physical systems. Both theory and industrial case studies will be discussed, with a special focus on the automotive domain.
Biography: Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in cyber-physical systems, computer security, electronic design automation, and synthetic biology. His Ph.D. thesis work on the UCLID verifier and decision procedure helped pioneer the area of satisfiability modulo theories (SMT) and SMT-based verification. He is co-author of a widely-used textbook on embedded systems and has led the development of technologies for cyber-physical systems education based on formal methods. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE) from the White House, an Alfred P. Sloan Research Fellowship, the Frederick Emmons Terman Award for contributions to electrical engineering and computer science education, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.
Host: Pierluigi Nuzzo
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132
Audiences: Everyone Is Invited
Contact: Estela Lopez
-
MHI CommNetS seminar
Wed, Feb 22, 2017 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Dr. Ram Vasudevan, University of Michigan
Talk Title: Infinite Dimensional Optimization for Safety Critical Human-in-the-Loop Systems
Series: CommNetS
Abstract: A predominant portion of healthcare spending is devoted to the medical care of unintentional injuries, such as those arising from car accidents or falls. By incorporating automation to predict the likelihood of injury and to design and verify personalized treatment, the burden on healthcare professionals, and thus the overall cost of treatment, can be greatly reduced. Unfortunately, the adoption of automation has been forestalled due to a lack of computationally tractable tools able to identify models of human interaction with the environment and machines, analyze extracted models for perceived threats to determine when aid is required, and synthesize strategies to increase safety in unforeseen circumstances. To address these issues as part of an emerging systems theory for Human-in-the-Loop Systems (HLS), this talk will describe two new techniques each relying upon a new algorithmic framework for infinite dimensional optimization.
The first technique is a provably convergent hybrid optimal control algorithm that can automatically identify an individual-specific model of locomotion. When applied to a nine person motion capture walking experiment, the models identified by the algorithm revealed morphological and neurological pathologies. The second technique is a scalable convex programming approach for simultaneous reachable set computation and personalized controller synthesis for safety critical HLS. For locomotion, this approach determines a likelihood for falling while constructing an optimal feedback control law to reduce the risk of injury. This tool is able to tractable predict those who are greatest risk of falling in a completely non-invasive manner.
Biography: Ram Vasudevan is an assistant professor in Mechanical Engineering at the University of Michigan with appointments in the University of Michigan Transportation Research Institute and the University of Michigan's Robotics Program. He received a BS in Electrical Engineering and Computer Sciences and an Honors Degree in Physics in May 2006, an MS degree in Electrical Engineering in May 2009, and a PhD in Electrical Engineering in December 2012 all from the University of California, Berkeley. Subsequently, he worked as a postdoctoral associate in the Locomotion Group at MIT from 2012 till 2014 before joining the University of Michigan in 2015. His research interests include dynamical systems, optimization, and robotics especially to applications involving human interaction with Cyber Physical Systems.
Host: Prof. Insoon Yang
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Annie Yu
