Select a calendar:
Filter August Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for August 29, 2016
-
Seminars in Biomedical Engineering
Mon, Aug 29, 2016 @ 12:30 PM - 01:50 PM
Alfred E. Mann Department of Biomedical Engineering
Conferences, Lectures, & Seminars
Speaker: Cesar Blanco, PhD, Sr Dir R&D, Regulatory, and Quality, USC Alfred Mann Institute
Talk Title: TBA
Location: Olin Hall of Engineering (OHE) - 122
Audiences: Everyone Is Invited
Contact: Mischalgrace Diasanta
-
Cyber-Physical Systems Seminar
Mon, Aug 29, 2016 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Prof. Pierluigi Nuzzo, USC
Talk Title: Cyber-Physical System Design Using Contracts
Series: Cyber-Physical Systems (CPS)
Abstract: The realization of complex cyber-physical systems is creating design and verification challenges that will soon become insurmountable with today's engineering practices. While model-based design tools are already facilitating several design tasks, harnessing the complexity of the Internet-of-Things scenario is only deemed possible within a unifying methodology. This methodology should help interconnect different tools, possibly operating on different system representations, to enable scalable design space exploration and early detection of requirement inconsistencies.
In this talk, I show how a contract-based approach provides a formal foundation for a cyber-physical system design methodology which can address the above challenges and encompass both horizontal and vertical integration steps. I use assume-guarantee contracts and their algebra (e.g., composition, conjunction, and refinement) to support the entire design process and enable concurrent development of system architectures and control algorithms. In the methodology, the design is carried out as a sequence of refinement steps from a high-level specification to an implementation built out of a library of components at the lower level. Top level system requirements are represented as contracts, by leveraging a set of formal languages, including mixed integer-linear constraints and temporal logic. Contracts are then refined by combining synthesis and optimization-based methods. I propose a set of optimization-based algorithms for efficient selection of cost effective architectures under safety, reliability, and performance constraints over a large, mixed discrete continuous design space. I demonstrate the effectiveness of the approach on industrial design examples, including aircraft electric power distribution and environmental control systems, showing, for instance, that optimal selection of industrial-scale power system architectures can be performed in a few minutes. Finally, I conclude by presenting future research directions towards a full-fledged integrated framework for system design.
Biography: Pierluigi Nuzzo is an Assistant Professor at the Department of Electrical Engineering of the University of Southern California, Los Angeles. He received the Ph.D. in Electrical Engineering and Computer Sciences (EECS) from the University of California at Berkeley in 2015. He also holds a M.Sc. degree in Electrical Engineering from the University of Pisa and the Sant'Anna School of Advanced Studies, Pisa, Italy. Between August 2015 and August 2016, he was a Postdoctoral Scholar at U.C. Berkeley. Before joining U.C. Berkeley, he was a Researcher at IMEC, Leuven, Belgium, and the University of Pisa, working on the design of energy efficient A/D converters, frequency synthesizers for reconfigurable radio, and design methodologies for mixed-signal integrated circuits.
Pierluigi's research interests include: methodologies and tools for the design of cyber-physical systems and mixed-signal systems; contracts, interfaces, and compositional methods for embedded system design and requirement engineering; the application of automated formal methods and optimization theory to problems in embedded and cyber-physical systems and electronic design automation. He was a recipient of the Best Submission in the Design Automation Conference (DAC) and International Solid-State Circuits Conference (ISSCC) Design Competition in 2006, and the Best Paper Award from the International Conference on Cyber-Physical Systems (ICCPS) in 2016. His awards and honors also include the U.C. Berkeley EECS Ph.D. Fellowship in 2008, the U.C. Berkeley Outstanding Graduate Student Instructor Award in 2013, the IBM Ph.D. Fellowship in 2012 and 2014, and the U.C. Berkeley EECS David J. Sakrison Memorial Prize in 2016 for his doctoral research.
Host: Prof. Paul Bogdan
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Annie Yu
-
Microsoft Info Session
Mon, Aug 29, 2016 @ 06:00 PM - 07:30 PM
Viterbi School of Engineering Career Connections
Workshops & Infosessions
Meet the Company Presentation!
Location: Seeley G. Mudd Building (SGM) - 101
Audiences: All Viterbi
Contact: RTH 218 Viterbi Career Connections
