News:
Sep. 2024: Invited talk at the
60th Annual Allerton Conference on Communication, Control, and
Computing.
July 2024: I am co-organizing the workshop From Formal
Methods to Data-Driven Verification and Control during CDC
2024 in Milan on December 15th (other organizers: Abolfazl
Lavaei, Lars Lindemann, and Chuchu Fan).
Sep. 2024: Our preprint Probabilistic Reachability Analysis of Stochastic Control Systems is available on arXiv! (Joint work with
Zishun Liu and Yongxin Chen)
Sept. 2024: Our paper Monotonicity and contraction on polyhedral cones
is accepted
for publication in IEEE Transactions on Automatic Control !
Aug. 2024: Our paper Efficient Interaction-Aware Interval Analysis of
Neural Network Feedback Loops is accepted for publication
in IEEE Transactions on Automatic Control !
July 2024: Our paper
Forward Invariance in Neural Network Controlled Systems
is accepted for publications in IEEE Control Systems Letters !
I joined Department of Electrical and Computer Engineering at
Univerity of Colorado Boulder as a Research Assistant Professor
July 2023: Our paper A contracting dynamical system
perspective toward interval markov decision processes is accepted
for presentation at 62th IEEE Conference on Decision and Control
in Marina Bay Sands, Singapore!
July 2023: Our paper Contraction-guided adaptive partitioning for reachability analysis of neural network controlled systems is accepted
for presentation at 62th IEEE Conference on Decision and Control
in Marina Bay Sands, Singapore!
Mar. 2023: Our paper Interval Reachability of Nonlinear Dynamical
Systems with Neural Network Controllers is accepted
for presentation at 5th Annual Learning for Dynamics
and Control Conference (L4DC)!
Aug. 2022: Our paper Comparative Analysis of Interval Reachability for
Robust Implicit and Feedforward Neural Networks is accepted
for presentation at 61th IEEE Conference on Decision and Control
in Cancun, Mexico!
Aug. 2022: Our paper Non-Euclidean Monotone Operator Theory with
Applications to Recurrent Neural Networks is accepted
for presentation at 61th IEEE Conference on Decision and Control
in Cancun, Mexico!
Jun. 2022: Our paper Robust Training and Verification of Implicit Neural
Networks: a non-Euclidean Contractive Approach is accepted
for poster presentation at the ICML workshop on Formal
Verification of Machine Learning (WFVML 2022) in Baltimore, Maryland!
Mar. 2022: Our work Robustness Certificates for Implicit Neural
Networks: A Mixed Monotone Contractive Approach is accepted
for presentation
at 4th Learning for Dynamics
and Control Conference (Oral Presentation: Top 10 precent
of submitted papers)
Jan. 2022: Our work Resilience of Input Metering in Dynamic Flow
Networks is accepted for presentation at 2022 American Control Conference
(ACC) in Atlanta!
Sep. 2021: Our paper,
Robust Implicit Networks via Non-Euclidean Contractions is
accepted in NeurIPS 2021!.
July 2021: Our paper, Distributed
and Time-Varying Primal-Dual Dynamics via Contraction
Analysis, is accepted for publication in IEEE Transactions on
Automatic Control!
July 2021: Our paper,
From Contraction Theory to Fixed Point Algorithms on Riemannian and
non-Euclidean Spaces, is accepted for presentation at 60th
IEEE Conference on Decision and Control , Austin, Texas, USA!
Apr. 2021: We posted two manuscripts on arXiv:
Non-Euclidean Contraction Theory for Robust Nonlinear Stability and
Non-Euclidean Contraction Theory for Monotone and Positive Systems.
Apr. 2021: Our paper,
Flow and Elastic Networks on the n-Torus: Geometry, Analysis and
Computation, is accepted for publication in SIAM Review
(Research Spotlight) .
Mar. 2021: Our paper,
Singular Perturbation and Small-signal Stability for Inverter Networks, is accepted for publication in IEEE Transactions on Control of
Network Systems !
Mar. 2021: Our paper,
Weak and Semi-Contraction for Network Systems and Diffusively-Coupled
Oscillators, is accepted for publication in IEEE Transactions on Automatic Control.
|