{'fraction_non_alphanumeric': 0.013377926421404682, 'fraction_numerical': 0.0, 'mean_word_length': 5.510869565217392, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Hybrid system stability and robustness verification using linear matrix inequalities

This paper addresses issues concerning exponential stability and robustness of hybrid systems. Stability conditions using Lyapunov techniques are given. The search for the Lyapunov functions is formulated as a linear matrix inequality (LMI) problem for hybrid systems with affine as well as non-linear vector fields. It is shown how the Lyapunov approach most advantageously also can be used to guarantee stability despite the presence of model uncertainties. Several examples are given to illustrate the theory.