This paper introduces the Koopman Control Family (KCF), a mathematical framework for
modeling general discrete-time nonlinear control systems with the aim of providing a solid …

This paper aims to extend the framework of optimization and output reachability analysis for
functional expansions known as Chen-Fliess series (CFS). In the author's earlier work, it was …

This paper introduces a simulation preorder among lifted systems, a generalization of finite-
dimensional Koopman approximations (also known as approximate immersions) to systems …

The safety of a connected automated vehicle's (CAV's) motion has two necessary conditions:
stability of the trajectory and conflict avoidance to other road participants. Different …

For safety-critical systems such as autonomous vehicles, power systems, and robotics, it is
important to guarantee the systems operate under given safety constraints. Numerous safety …

A prominent approach to ensure the safety of cyber-physical systems is through the use of
barrier certificates. Barrier certificates are real-valued functions that act as inductive proofs of …

Real-world dynamical systems such as self-driving cars or walking robots exhibit complex
(eg, nonlinear or hybrid) behaviors that often defy traditional linear modeling approaches …