Logo: University of Southern California

Events Calendar



Select a calendar:



Filter August Events by Event Type:



Events for August 23, 2017

  • Computer Science General Faculty Meeting

    Wed, Aug 23, 2017 @ 12:00 PM - 02:00 PM

    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 TBD.

    Audiences: Invited Faculty Only

    Posted By: Assistant to CS chair

    OutlookiCal
  • Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems

    Wed, Aug 23, 2017 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical Engineering

    Conferences, Lectures, & Seminars


    Speaker: Davide Bresolin, Assistant Professor, University of Padova, Italy, and Luca Geretti, Research Fellow, University of Verona, Italy

    Talk Title: Formal Verification of Nonlinear Hybrid Systems using Ariadne

    Abstract: In embedded systems design there is often the need to model complex systems having a mixed discrete and continuous behavior that cannot be characterized faithfully using either discrete or continuous models only. Such systems consist of a discrete control part that operates in a continuous environment and are named hybrid systems. Unfortunately, most of the verification problems for hybrid systems, like reachability analysis, turn out to be undecidable. Because of this, many approximation techniques and tools to estimate the reachable set have been proposed in the literature. However, most of the tools are unable to handle nonlinear dynamics and constraints, and do not perform conservative numerical rounding. In this seminary we present an open-source framework for hybrid system verification, called Ariadne, which exploits approximation techniques based on the theory of computable analysis for implementing formal verification algorithms.

    Biography: Davide Bresolin received the Ph.D. degree in computer science from the University of Udine, Udine, Italy, in 2007. He is an Assistant Professor with the Mathematics Department, University of Padova, Italy. From 2007 to 2013, he was a Research Fellow with the Department of Computer Science, University of Verona, Verona, Italy, where he collaborated with the Electronic Systems Design Group (ESD) and the ALTAIR Robotics Group. From 2013 to 2016 he was an Assistant Professor with the Computer Science and Engineering Department, University of Bologna, Bologna, Italy. His research activity is focused on formal verification of cyber-physical and embedded systems using hybrid automata and temporal logics, on automata theory, and on temporal representation and reasoning using interval-based temporal logics.

    Luca Geretti received the Laurea degree in electrical engineering and the Ph.D. degree in computer engineering from the University of Udine, Udine, Italy, in 2005 and 2009, respectively. He was a Research Fellow with the Department of Computer Science, University of Verona, Verona, Italy, between 2009 and 2011. He was a Research Fellow with the Department of Electrical Engineering, University of Udine, Udine, Italy, between 2012 and 2015. He is currently a Research Fellow with the Department of Computer Science, University of Verona, Verona, Italy. His current research interests are in the fields of formal verification of cyber-physical systems using hybrid automata, and of parallel and distributed computing.


    Host: Pierluigi Nuzzo

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - EEB 132

    Audiences: Everyone Is Invited

    Posted By: Estela Lopez

    OutlookiCal
  • USC Graduate Engineering Info Session: Kochi, India

    Wed, Aug 23, 2017 @ 03:00 PM - 04:30 PM

    Viterbi School of Engineering Graduate Admission

    Workshops & Infosessions


    This event will be hosted by Sudha Kumar, Director of the USC India Office, and special guest Kelly Goulis, Senior Associate Dean for graduate programs at the USC Viterbi School of Engineering. Candidates with a strong academic background and a Bachelor's degree in engineering, computer science, applied mathematics, or physical science (such as physics, biology, or chemistry) are welcome to attend

    Each information session will include a presentation on:

    - Master's & Ph.D. Programs in Engineering and Computer Science
    - How to Apply
    - Scholarships and Funding
    - Student Life at USC and in Los Angeles
    -Application Tips

    There will also be sufficient time for questions during the information session. In order to guarantee seating availability, we request completion of the online registration form using the Registration link below

    Register to Attend

    Location: Kochi Marriott Hotel, Lulu Int’l Shopping Mall Pvt. Ltd., 34/1111,N.H. 47 Edappally, Kochi 682 024

    Audiences: Everyone Is Invited

    Posted By: USC Viterbi Graduate & Professional Programs

    OutlookiCal
  • Aerospace & Mechanical Engineering Seminar

    Wed, Aug 23, 2017 @ 03:30 PM - 04:30 PM

    Aerospace and Mechanical Engineering

    Conferences, Lectures, & Seminars


    Speaker: Allison Anderson, University of Colorado - Boulder

    Talk Title: TBA

    Host: Department of Aerospace and Mechanical Engineering

    Audiences: Everyone Is Invited

    Posted By: Ashleen Knutsen

    OutlookiCal