Invited Talks
- Safety Assurance in Neural Network Controlled Systems: A Mixed
Monotone Approach, ACC workshop on formal methods for
systems with neural components, July 2025 [Slides]
- Mixed Monotone Reachability in Dynamical Systems
with application to safety of learning-enabled systems,
Louisiana State University, Department of Mathematics , March 2025 (Host:
Michael Malisoff) [Slides]
- Non-Euclidean Monotone Operator Theory for Robustness of Implicit
Neural Networks, Vector Institute for Artificial Intelligence,
Toronto, Canada , Feb 2025 (Host: Anastasis Kratsios) [Slides]
- Safety Assurance in Learning-enabled Autonomous Systems:
A Mixed Monotone Apporach, Robotic Seminar Series, University
of Colorado Boulder, Oct 2025 [Slides]
- Reachability Analysis of Dynamical Systems: A Mixed Monotone
Contracting Approach, Allerton Conference on
Communication, Control, and Computing , Sep. 2024 (Host: Daniel
Liberzon) [Slides]
- Mixed-monotone Theory for Verification of Autonomous System ,
Guest Lecturer in UIUC Verification of Embedded & Cyber-physical systems,
UIUC (Host: Dr. Huan Zhang) Apr. 2024. [Slides]
- Safety Assurance in Learning-enabled Autonomous Systems ,
Waterloo Data and Artificial Intelligence Institute,
University of Waterloo, Canada, Mar. 2024. [Slides]
- Safety of Autonomous Systems with Learning-enabled Feedbacks ,
Reliable Autonomous System Lab, Massachusetts Institute of
Technology (MIT), Nov. 2023, (Host: Dr. Chuchu Fan) [Slides]
- Reachability Analysis of Control Systems: A Mixed Monotone Approach,
ECEE Department Seminar, University of Colorado Boulder, Oct. 2023 [Slides]
- Interaction-aware interval reachability of neural network
controlled systems ,
2023 Allerton Conference on Communication,
Control, and Computing, Allerton Park, Illinois, Sep.
2023. [Slides]
- Reachability Analysis of Neural Network Controlled Systems: A Mixed Monotone Contracting Approach,
Workshop on Geometry, Topology and Control System Design, Banff Centre for Arts and Creativity, Canada, Jun.
2023. [Video][Slides]
- Weak and Semi-Contraction for Large-Scale Network Systems,
LANS Seminar Talk, Argonne National Laboratory, Apr.
2023. (Host: Dr. Adrian Maldonado) [Slides]
- Exploiting Structure in Feedback Systems with Learning-based Components,
ECEE Seminar Talk, University of Colorado Boulder, Feb.
2023. [Slides]
- Exploiting structure in analysis and design of feedback systems with learning-based components,
Coordinated Science Laboratory, University of Illinois,
Urbana Champaign (UIUC), Jan.
2023. (Host: Dr. Mohamed-Ali Belabbas) [Slides]
- Robustness of Neural Networks via Non-Euclidean
Contraction Theory, Indian Institute of Technology Delhi (virtual), Control Colloquium, Jun. 2022. [Slides]
- Safety and Resilience of Large-scale Networks via
Contraction Theory,
University of California, Riverside, Mechanical Engineering Department, Mar.
2022. [Slides]
- Frequency Synchronization and Multistability in Power Grids,
RSRG Virtual Seminar, California Institute of
Technology, May 2021. (Host: Dr. Steven Low) [Slides]
- Non-Euclidean Contraction and its Extensions with
Applications to Network Systems, School of Electrical and
Computer Engineering, Georgia Institute of Technology, May
2021. (Host: Dr. Samuel Coogan) [Slides]
- Weak and Semi-Contraction for Network Systems,
Mathematical Biology Seminar, University of Iowa,
Apr. 2021. (Host: Dr. Zahra Aminzare) [Slides]
- Stability and Control of Large-scale Nonlinear Networks,
Queen's University Seminar, Queen's University. Apr. 2021. [Slides]
- Synchronization and Multistability in Complex Networks and
Power Grids, Control Theory Seminar, Peking
University. May 2020. (Host: Dr. Wenjun Mei) [Slides]
- Real Analytic Control Systems, ISS seminar
series, Center for Intelligence Machines, McGill University,
Feb. 2014. (Host: Dr. Peter Caines)
- Controllability of Nonlinear Systems, Queen's Graduate
Seminar, Queen's University, June 2013.
Selected Conference Talks
- A Contracting Dynamical Systems Perspective toward Interval Markov Decision Processes,
62nd IEEE Conference on Decision and Control (CDC) Marina Bay Sands, Singapore, Dec.
2023. [Slides]
- Comparative Analysis of Interval Reachability
for Robust Implicit and Feedforward Neural Networks,
61nd IEEE Conference on Decision and Control (CDC) Cancun, Mexico, Dec.
2022. [Slides]
- Robustness Certificates for Implicit Neural Networks: A
Mixed Monotone Contractive Approach,
Learning for Dynamics and Control (L4DC) Stanford University, Jun.
2022. [Slides]
- Resilience of Input Metering in Dynamic Flow Networks,
American Control Conference (ACC), Atlanta, Jun.
2022. [Slides]
- Robust Implicit Neural Networks via Contraction Theory,
Advances in Neural Information Processing
Systems (NeurIPS), Sydney, Australia (Virtual), Dec. 2021. [Slides]
- Robust Implicit Neural Networks via Contraction Theory,
Southeast Control Conference (SECC), Virginia Tech, Nov. 2021. [Slides]
- Synchronization and Multistability in Oscillator Networks and Power Grids,
57th IEEE Conference on Decision and
Control, Miami, Florida, Dec. 2018. [Slides]
- Synchronization in Oscillator Networks and Power Grids,
35th Southern California Control Workshop , UCLA, Nov. 2018.
- On Small-time Local
Controllability, 7th Biennial meeting on Systems and Control Theory, Queen's
University, May 2016. [Slides]
- Control Systems and Locally Convex
Topologies, 6th Biennial meeting on Systems and Control
Theory, University of Waterloo, May 2014. [Slides]
|