Journal Articles
M. Guarro,, F. Ferrante,, G. Sanfelice, Ricardo. “A hybrid observer for linear systems under delayed sporadic measurements”, International Journal of Robust and Nonlinear Control, July, 2024.
S. Phillips,, G. Sanfelice, Ricardo. “Pointwise Exponential Stability of State Consensus with Intermittent Communication”, IEEE Transactions on Automatic Control, April, 2024.
A. Nadali,, V. Murali,, A. Trivedi,, M. Zamani. “Neural Closure Certificates”, Proceedings of the AAAI Conference on Artificial Intelligence, March, 2024.
A. Isaly,, M. Ghanbarpour, G. Sanfelice, Ricardo, E. Dixon, Warren. “On the Feasibility and Continuity of Feedback Controllers Defined by Multiple Control Barrier Functions”, IEEE Transactions on Automatic Control, March, 2024.
A. Saoud,, M. Arcak. “Characterization, verification and computation of robust controlled invariants for monotone dynamical systems”, Mathematics of Control, Signals, and Systems, March, 2024.
G. Sanfelice, Ricardo, L. Praly. “Convergence of Nonlinear Observers on R^$ With a Riemannian Metric (Part III)”, IEEE Transactions on Automatic Control, March, 2024.
M. Hustig-Schultz, Dawn, G. Sanfelice, Ricardo. “Uniting Nesterov and heavy ball methods for uniform global asymptotic stability of the set of minimizers”, Automatica, February, 2024.
A. Salamati,, A. Lavaei,, S. Soudjani,, M. Zamani. “Data-driven verification and synthesis of stochastic systems via barrier certificates”, Automatica, January, 2024.
P. Bernard,, G. Sanfelice, Ricardo. “Semiglobal High-Gain Hybrid Observer for a Class of Hybrid Dynamical Systems with Unknown Jump Times”, IEEE Transactions on Automatic Control, January, 2024.
X. Lou,, Y. Li,, G. Sanfelice, Ricardo. “Notions, Stability, Existence, and Robustness of Limit Cycles in Hybrid Dynamical Systems”, IEEE Transactions on Automatic Control, January, 2024.
R. Johnson,, S. Di_Cairano,, R. Sanfelice. “Robust Parameter Estimation for Hybrid Dynamical Systems with Linear Parametric Uncertainty”, Automatica, January, 2024.
F. Galarza-Jimenez,, V. Murali,, M. Zamani. “Compositional Verification for Large-Scale Systems via Closure Certificates”, IEEE Control Systems Letters, January, 2024.
A. Oumer, Mohammed, V. Murali, A. Trivedi, M. Zamani. “Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates”, IEEE Control Systems Letters, January, 2024.
D. Ajeleye,, M. Zamani. “Co-Büchi Control Barrier Certificates for Stochastic Control Systems”, IEEE Control Systems Letters, January, 2024.
Alex Devonport, Forest Yang, Laurent El Ghaoui and Murat Arcak. “Data-Driven Reachability and Support Estimation With Christoffel Functions”, IEEE Transactions on Automatic Control, September, 2023.
L. Burbano, K. Garg, S. Jimenez, A.A. Cardenas, and R.G. Sanfelice. “Online Attack Recovery in Cyber-Physical System”, To appear in IEEE Security and Privacy, July, 2023.
L. Burbano, K. Garg, S. Leudo, A. Cardenas, R. Sanfelice. “Online Attack Recovery in Cyberphysical Systems”, IEEE Security & Privacy, July, 2023.
Adnane Saoud and Murat Arcak. “Characterization, verification and computation of robust controlled invariants for monotone dynamical systems”. Conditionally accepted for publication in Mathematics of Control, Signals, and Systems.
Katherine Schweidel, Peter Seiler and Murat Arcak. “Safe-by-Design Planner-Tracker Synthesis with Unmodeled Input Dynamics”. Submitted to IEEE L-CSS.
Conference Papers & Proceedings
R. Gifford,, F. Galarza-Jimenez, T. Xuan_Phan, Linh, M. Zamani. “Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design”, Proceedings of IEEE, May, 2024.
S. Oh,, M. Xu, A. Khan, Tanvir, B. Kasikci, H. Litz. “UDP: Utility-Driven Fetch Directed Instruction Prefetching”, Proceedings of 51st International Symposium on Computer Architecture (ISCA), July, 2024.
A. Montenegro, Carlos, S. Leudo, R. Sanfelice. “A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems”, Proceedings of ACM, May, 2024.
V. Murali,, A. Trivedi,, M. Zamani,. “Closure Certificates”, Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, May, 2024.
D. Ajeleye,, M. Zamani. “Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees”, IEEE Control Systems Letters, January, 2024.
R. Teel, Andrew, R. Goebel,, G. Sanfelice, Ricardo. “Multi-Channel Hybrid Time Domains and Clustering Protocols for Large-Scale Interconnections”, Proceedings of Proceedings of the IEEE Conference on Decision and Control, December, 2023.
N. Jahanshahi,, M. Zamani. “Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models”, Proceedings of IEEE, December, 2023.
G. Sanfelice, Ricardo, R. Teel, Andrew. “On Invariants for Open Hybrid Systems and their Interconnections”, Proceedings of IEEE, December, 2023.
N. Wang, R. Sanfelice, “HySST: An Asymptotically Near-Optimal Motion Planning Algorithm for Hybrid Systems”, Proceedings of Proceedings of the 62nd IEEE Conference on Decision and Control, December, 2023.
T. Pati, M. Khajenejad, P. Daddala, R. Sanfelice, Z. Yong. “Interval Observers for Hybrid Dynamical Systems with Known Jump Times”, Proceedings of IEEE, December, 2023.
P. Wintz,, R. Sanfelice,. “Forward Invariance-Based Hybrid Control Using Uncertified Controllers (I)”, IEEE, December, 2023.
J.H. Castellanos, M. Maghenem, A.A. Cardenas, R.G. Sanfelice, and J. Zhou. “A Formal Model to Study CPS Safety in an Adversarial Setting”, Proceedings of the 8th IEEE European Symposium on Security and Privacy, July, 2023.
G. Tran, P. Bernard, R. Sanfelice. “Coupling Flow- and Jump-based Observers for Hybrid Systems with Nonlinear Maps and Known Jump Times”, IFAC, July, 2023.
J.H. Castellanos, M. Maghenem, A. Cardenas, R.G. Sanfelice, and J. Zhou “Provable Adversarial Safety in Cyber-Physical Systems”, Proceedings of the 8th IEEE European Symposium on Security and Privacy (EuroS&P), pp. 979-1012, July, 2023.
A. Devonport, P. Seiler, M. Arcak. “Frequency Domain Gaussian Process Models for H Infinity Uncertainties”, Proceedings of Proceedings of Machine Learning Research, June, 2023.
Nathan Wu, Ryan S. Johnson, Ricardo G. Sanfelice. “A Discretization of the Hybrid Gradient Algorithm for Linear Regression with Sampled Hybrid Signals”, Proceedings of 2023 American Control Conference, January, 2023.
Dawn Hustig-Schultz, Katherine Hendrickson, Matthew Hale, Ricardo G. Sanfelice. “A Totally Asynchronous Block-Based Heavy Ball Algorithm for Convex Optimization”. To appear in Proceedings of American Control Conference, 2023.
Santiago Leudo, Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas. “An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks”. To appear in Proceedings of American Control Conference, 2023.
Adeel Akhtar, Ricardo G. Sanfelice. “Global Accelerated Nonconvex Geometric Optimization Methods on SO(3)”. To appear in Proceedings of American Control Conference, 2023.
Masoumeh Ghanbarpour Mamaghani, Axton Isaly, Ricardo G. Sanfelice, Warren E. Dixon. “Optimal Safety for Constrained Differential Inclusions Using Nonsmooth Control Barrier Functions”. To appear in Proceedings of American Control Conference, 2023.
Adnane Saoud, Anas Makdesi, Mohamed Maghenem, Antoine Girard and Murat Arcak. “Complete abstractions of monotone control systems”. Submitted to CDC23.
Paul Griffioen and Murat Arcak. “Data-Driven Reachability Analysis for Gaussian Process State Space Models,” in 2023 IEEE 62nd Conference on Decision and Control (CDC). IEEE, 2023.
Paul Griffioen, Alex Devonport, and Murat Arcak, “Probabilistic Invariance for Gaussian Process State Space Models”. in 5th Annual Learning for Dynamics and Control Conference (L4DC), 2023.
Alex Devonport, Peter Seiler, and Murat Arcak, “Frequency Domain Gaussian Process Models for H∞ Uncertainties”. in 5th Annual Learning for Dynamics and Control Conference (L4DC), 2023.
Book Chapters