# Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

@inproceedings{Fribourg2011SynthesisOS, title={Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems}, author={Laurent Fribourg and Bertrand Revol and Romain Soulat}, booktitle={INFINITY}, year={2011} }

- Published 2011 in INFINITY
DOI:10.4204/EPTCS.73.6

We consider here systems with piecewise linear dynamics that are periodically sampled with a given period τ . At each sampling time, the mode of the system, i.e., the parameters of the linear dynamics, can be switched, according to a switching rule. Such systems can be modelled as a special form of hybrid automata, called “switched systems”, that are automata with an infinite real state space. The problem is to find a switching rule that guarantees the system to still be in a given area V at… CONTINUE READING