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
