Solution Concepts and Existence Results for Hybrid Systems with Continuous-time Inputs

Read full text
Authors: W. P. M. H. Heemels, Romain Postoyan, P. Bernard, K. J. A. Scheres, Ricardo G. Sanfelice
Cited by: 0

Abstract

In many scenarios, it is natural to model a plant's dynamical behavior using a hybrid dynamical system influenced by exogenous continuous-time inputs. While solution concepts and analytical tools for existence and completeness are well established for autonomous hybrid systems, corresponding results for hybrid dynamical systems involving continuous-time inputs are generally lacking. This work aims to address this gap. We first formalize notions of a solution for such systems. We then provide conditions that guarantee the existence and forward completeness of solutions. Moreover, we leverage results and ideas from viability theory to present more explicit conditions in terms of various tangent cone formulations. Variants are provided that depend on the regularity of the exogenous input signals.

Fields of Study & Subjects

Formal Methods in Verification Nonlinear Differential Equations Analysis Stability and Control of Uncertain Systems

Publication details

Journal / source
arXiv (Cornell University)
Publication date
16 January 2026
Document type
Preprint