Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics

TL;DR

This paper introduces a method to reduce the complexity of linear switched systems by limiting discrete dynamics, maintaining behavior for specific switching sequences, aiding in hybrid system control synthesis.

Contribution

The paper proposes a novel reduction technique that preserves system behavior for selected switching sequences, facilitating hybrid system control design.

Findings

Reduces system complexity while maintaining behavior for certain sequences

Applicable to hybrid system control synthesis

Enhances abstraction-based control methods

Abstract

We present a procedure for reducing the number of continuous states of discrete-time linear switched systems, such that the reduced system has the same behavior as the original system for a subset of switching sequences. The proposed method is expected to be useful for abstraction based control synthesis methods for hybrid systems.