Publications

SHARC: Simulator for Hardware Architecture and Real-time Control
Paul K. Wintz*, Yasin Sonmez*, Paul Griffioen, Mingsheng Xu, Surim Oh, Heiner Litz, Ricardo Sanfelice, and Murat Arcak (*Contributed equally)
28th ACM International Conference on Hybrid Systems: Computation and Control (in press), 2025. 

PDF  

Relaxed Lyapunov Conditions for Compact Sets in Dynamical Systems
Paul K. Wintz and Ricardo G. Sanfelice
2025 American Control Conference (in press), 2025. 

PDF  

Conical Transition Graphs for Analysis of Asymptotic Stability in Hybrid Dynamical Systems
Paul K. Wintz and Ricardo G. Sanfelice
8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024. 

PDF   Slides   BibTex   DOI  

Forward Invariance-Based Hybrid Control Using Uncertified Controllers
Paul K. Wintz and Ricardo G. Sanfelice
62nd IEEE Conference on Decision and Control, 2023. 
  • Shortlisted for the Outstanding Student Paper Prize from the CSS Technical Committee on Hybrid Systems.

PDF   Slides   BibTex   DOI  

Global Asymptotic Stability of Nonlinear Systems while Exploiting Properties of Uncertified Feedback Controllers via Opportunistic Switching
Paul K. Wintz, Ricardo G. Sanfelice, and João P. Hespanha
American Control Conference, 2022. 

PDF   Slides   BibTex   DOI  

Optimal Control of A Noncircular Wheel
Paul K. Wintz
UCSC Masters Thesis, 2020. 

PDF   BibTex  

Second-order Time-delayed Traffic Flow Through a Bottleneck
Paul K. Wintz
Unpublished (AM 214 Class Project), 2018. 

PDF