Gronwall inequality for hybrid systems

The Gronwall inequality, a well-known and useful result both for continuous-time and discrete-time signals, is extended to hybrid signals, namely those that combine continuous time and discrete time. An application of the result to establishing a bounded energy bounded state property for hybrid systems with inputs is provided.