{'fraction_non_alphanumeric': 0.018092105263157895, 'fraction_numerical': 0.0, 'mean_word_length': 5.761111111111111, '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}}
Optimization-Based Approaches for Affine Abstraction and Model Discrimination of Uncertain Nonlinear Systems

This paper presents novel optimization-based approaches for affine abstraction and model discrimination of uncertain nonlinear systems in the form of nonlinear (basis) functions with uncertain coefficients. First, we propose a mesh- based affine abstraction method to conservatively approximate the uncertain nonlinear functions in the sense of the inclusion of all possible trajectories by two affine hyperplanes in each bounded subregion of the state space. As the affine abstraction is an over-approximation of the original system, any model invalidation guarantees for the abstraction also hold for the original system. Next, we extend existing methods to solve the (passive) model discrimination problem for the piecewise affine interval models obtained from abstraction by leveraging model invalidation. It is shown that the model invalidation and discrimination problems can be recast as the feasibility of a mixed- integer linear program (MILP). Finally, the efficiency of the approach is illustrated with numerical examples motivated by intent/formation identification of autonomous swarm systems.