Logo: University of Southern California

Events Calendar

Select a calendar:

Filter January Events by Event Type:

Events for January 16, 2018

  • Formal Methods for Building a Multi-Robot Task Server

    Tue, Jan 16, 2018 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical and Computer Engineering

    Conferences, Lectures, & Seminars

    Speaker: Rupak Majumdar, Max Planck Institute for Software Systems

    Talk Title: Formal Methods for Building a Multi-Robot Task Server

    Series: Center for Cyber-Physical Systems and Internet of Things

    Abstract: In this talk, I will talk about synthesis challenges that arose in our attempts to build Antlab, an end-to-end system that takes streams of user task requests and executes them using collections of robots. In Antlab, each request is specified declaratively in linear temporal logic extended with quantifiers over robots. The user does not program robots individually, nor know how many robots are available at any time or the precise state of the robots. The Antlab runtime system manages the set of robots, schedules robots to perform tasks, automatically synthesizes robot motion plans from the task specification, and manages the co-ordinated execution of the plan.

    We are using Antlab as an end-to-end application of formal methods in cyber-physical systems.I will describe techniques to bridge the gap between continuous and discrete worlds,and hierarchical synthesis tools based on repeated re-planning and dynamic conflict resolution.On the theoretical side, I will describe compositional synthesis for continuous systems and some new classes of synthesis problems.On the practical side, I will describe ongoing work in using natural language for declarative specifications of tasks.

    This talk represents joint work with Brendon Boldt, Eva Darulova, Rayna Dimitrova, Ivan Gavran, Kaushik Mallik, Vinayak Prabhu, Indranil Saha, Anne-Kathrin Schmuck, Sadegh Soudjani, and Damien Zufferey.

    Biography: Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems. Previously, he was a faculty member at the University of California, Los Angeles.His research interests are in the verification and control of reactive, real-time, hybrid, and probabilistic systems, software verification and programming languages, logic, and automata theory. He received the President's Gold Medal from IIT, Kanpur, the Leon O. Chua award from UC Berkeley, an NSF CAREER award, a Sloan Foundation Fellowship, an ERC Synergy award, and "Most Influential Paper" awards from PLDI and POPL.

    Host: Professor Paul Bogdan

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

    Audiences: Everyone Is Invited

    Contact: Talyia White

  • Epstein Institute Seminar, ISE 651

    Tue, Jan 16, 2018 @ 03:30 PM - 04:50 PM

    Daniel J. Epstein Department of Industrial and Systems Engineering

    Conferences, Lectures, & Seminars

    Speaker: Dr. Mayank Kejriwal, USC Information Sciences Institute (ISI)

    Talk Title: Building Domain-Specific Search Engines for Investigative Decision Support

    Host: Prof. Carl Kesselman

    More Information: January 16, 2018.pdf

    Location: Ethel Percy Andrus Gerontology Center (GER) - 206

    Audiences: Everyone Is Invited

    Contact: Grace Owh

  • Introduction to Viterbi Gateway Workshop

    Tue, Jan 16, 2018 @ 04:00 PM - 05:00 PM

    Viterbi School of Engineering Career Connections

    Workshops & Infosessions

    Take part in a live tutorial to help you navigate Viterbi Career Gateway, a powerful job & internship search tool available ONLY to Viterbi students.

    Location: Ronald Tutor Hall of Engineering (RTH) - 211

    Audiences: All Viterbi

    Contact: RTH 218 Viterbi Career Connections

  • Undergraduate Team Aircraft Design Competition Kickoff

    Tue, Jan 16, 2018 @ 07:00 PM - 08:00 PM

    Viterbi School of Engineering Student Organizations

    Workshops & Infosessions

    Looking for project experience to show a potential employer? Come to the kickoff event for this new student design team and learn how you can get involved. The team will compete in a 1-semester competition hosted by the American Institute for Aeronautics and Astronautics (AIAA). All majors are welcome.

    Note: Please RSVP to be updated on location when it is determined.

    Read more about the competition

    RSVP for the event

    Location: TBD - Please RSVP

    Audiences: Everyone Is Invited

    Contact: American Institute of Aeronautics and Astronautics

  • Information Session #1

    Tue, Jan 16, 2018 @ 08:00 PM - 09:00 PM

    Viterbi School of Engineering Student Organizations

    Student Activity

    Come learn more about our sorority! We will show a brief presentation on the different events that we do, have pizza, and introduce ourselves!

    Location: Grace Ford Salvatori Hall Of Letters, Arts & Sciences (GFS) - 113

    Audiences: Everyone Is Invited

    Contact: Alpha Omega Epsilon USC