García Soto, MiriamPrabhakar, PavithraInstitute of Electrical and Electronics Engineers (IEEE)2026-02-192026-02-192026-01-12M. G. Soto and P. Prabhakar, "A Compositional Algorithm for Computing a Switched System Representation of Neural Network Controllers," 2025 IEEE 64th Conference on Decision and Control (CDC), Rio de Janeiro, Brazil, 2025, pp. 7689-7694, doi: 10.1109/CDC57313.2025.11312749. keywords: {Switched systems;Translation;System verification;Heuristic algorithms;Neural networks;Switches;Stability analysis;Safety;Dynamical systems;Synthetic aperture sonar}10.1109/CDC57313.2025.11312749https://hdl.handle.net/20.500.14352/132679Our broad motivation is to utilize the large body of work on verification techniques for switched affine systems towards verification of neural network-controlled systems. To this end, we explore the problem of computing a switched affine system (SAS) representation of neural network-controlled discrete-time linear dynamical systems by providing a compositional algorithm that computes the piecewise affine (PWA) representation of the neural network. Our algorithm relies on two subroutines - one that computes the PWA representation of a single layer of a neural network, and the other that computes the compositions of PWA representations. We introduce the concept of a composition ordering represented as a binary tree that specifies the order in which the layers of the neural network are composed, and use that to compute the PWA representation of the whole neural network. Our experimental evaluation highlights the critical parameters of the network affecting the runtime complexity. Finally, we illustrate the application of the PWA representation computation toward stability analysis of a neural network-controlled discrete-time linear dynamical system.engconference paperhttps://doi.org/10.1109/CDC57313.2025.11312749https://ieeexplore.ieee.org/document/11312749open accessInformática (Informática)Inteligencia artificial (Informática)Sistemas expertos1203.04 Inteligencia Artificial3304.17 Sistemas en Tiempo Real1207.02 Sistemas de Control3301.18 Estabilidad y Control