Showing math.OCShow all
2 papers · 1 filter
math.OC2025
Converse Theorems for Certificates of Safety and Stability
Pol Mestres, Jorge Cortés
Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a…
math.OC2024
Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
Xu Shang, Jorge Cortés, Yang Zheng
Koopman operator theory and Willems' fundamental lemma both can provide (approximated) data-driven linear representation for nonlinear systems. However, choosing lifting functions…