Select a calendar:
Filter October Events by Event Type:
Events for October 23, 2024
-
The Critical Role of Cyber Infrastructure in City Innovation and Beyond
Wed, Oct 23, 2024 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Dr. Zhenhui (Jessie) Li , Chief Scientist - Yunqi Academy of Engineering
Talk Title: The Critical Role of Cyber Infrastructure in City Innovation and Beyond
Abstract: Cities, humanity’s greatest inventions, offer vast opportunities for innovation in science and technology. The increasing availability of big data paints a promising future for our cities. Over the past decade, my work has focused on applying AI to address real-world city challenges. Recent collaborations with city practitioners have deepened my understanding of these complexities and refined my vision for achieving city intelligence.
In this talk, I will present my work on advanced AI techniques for city transportation problems, e.g., reinforcement learning for traffic signal control. I will then expand on this to discuss the resource-centric concept of city intelligence, using real-world practices to showcase its practical applications. Finally, I will emphasize the urgent need for new cyber infrastructure, vital not only for city innovations but for all scientific disciplines driven by big data and intensive computing.
This lecture satisfies requirements for CSCI 591: Research Colloquium.
**Lecture will be in-person ONLY
Biography: Dr. Zhenhui (Jessie) Li currently serves as the Chief Scientist at the Yunqi Academy of Engineering, a non-profit institution situated in Hangzhou, China. Prior to this role, she held a tenured associate professor position at Pennsylvania State University. She earned her doctoral degree in Computer Science from the University of Illinois at Urbana-Champaign. Her research primarily focuses on advancing computing technologies to harness data for interdisciplinary studies, including those in smart city, environmental science, transportation, and ecology. For further information, you can visit her website at (https://jessielzh.com/).
Host: Machine Learning Center
Location: Ronald Tutor Hall of Engineering (RTH) - 211
Audiences: Everyone Is Invited
Contact: Machine Learning Center
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor.
-
PhD Dissertation Defense - Navid Hashemi
Wed, Oct 23, 2024 @ 01:30 PM - 02:50 PM
Thomas Lord Department of Computer Science
University Calendar
Title: Scaling Control Synthesis and Verification in Autonomy Using Neurosymbolic Methods
Committee Members: Jyotirmoy Deshmukh (Chair), Bhaskar Krishnamachari, Chao Wang, Lars Lindemann, Georgios Fainekos
Date and Time: Wednesday, Oct. 23rd, 2024 - 1:30p - 2:50p
Location: DMC 111
Abstract: As the field of autonomy is embracing the use of neural networks for perception and control, Signal Temporal Logic (STL) has emerged as a popular formalism for specifying the task objectives and safety properties of such autonomous cyber-physical systems (ACPS). There are two important open problems in this research area: (1) how can we effectively train neural controllers in such ACPS applications, when the state dimensionality is higher and when the task objectives are specified over longer time horizons, and (2) how can we verify if the closed-loop system with a given neural controller satisfies given STL objectives. We review completed work in which we show how discrete-time STL (DT-STL) specifications lend themselves to a smooth neuro-symbolic encoding that enables the use of gradient-based methods for control design. We also show how a type of neuro-symbolic encoding of DT-STL specifications can be combined with neural network verification tools to provide deterministic guarantees. We also review how neural network encoding of the environment dynamics can help us combine statistical verification techniques with formal techniques for reachability analysis.Audiences: Everyone Is Invited
Contact: Navid Hashemi
This event is open to all eligible individuals. USC Viterbi operates all of its activities consistent with the University's Notice of Non-Discrimination. Eligibility is not determined based on race, sex, ethnicity, sexual orientation, or any other prohibited factor.
