Logo: University of Southern California

Events Calendar

Select a calendar:

Filter August Events by Event Type:

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

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • 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

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • 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

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File