Saber Jafarpour

Research Assistant Professor
Department of Electrical, Computer, and Energy Engineering
University of Colorado Boulder
Email:
saber.jafarpour@colorado.edu

Home Research Publications Teaching Talks C.V. Google Scholar



I am a Research Assistant Professor at the University of Colorado Boulder. Before that, I was a Postdoctoral Research Fellow in Institute for Robotics and Intelligent Machines at the Georgia Institute of Technology working with Sam Coogan and a Postdoctoral Research Fellow with the Center for Control, Dynamical Systems, and Computation at the University of California, Santa Barbara, working with Francesco Bullo. I did my PhD in the Department of Mathematics and Statistics at Queen's University under supervison of Andrew Lewis. I am broadly interested in the intersection of control theory and autonomy, with applications in robotics and cyber-physcial systems. I have been conducting research in the following areas:
  • Safety assurance of learning-enabled systems
  • Performance of optimization and learning algorithms
  • Resilience of large-scale autonomous systems
  • Geometric control of nonlinear systems

Links: Scopus, IEEE Xplore,
Orcid ID: 0000-0002-7614-2940,
My photo


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.