2014/09/04 by Mert Baştuğ, Mihály Petreczky, Bastug, Mert +5
Computer Science · Engineering · Physics and Astronomy · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Model Reduction and Neural Networks #Modeling and Simulation Systems #Real-time simulation and control systems #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1409.1444
openalex publication_date 2014/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present a procedure for reducing the number of continuous states of\ndiscrete-time linear switched systems, such that the reduced system has the\nsame behavior as the original system for a subset of switching sequences. The\nproposed method is expected to be useful for abstraction based control\nsynthesis methods for hybrid systems.\n