文章基本信息

标题：Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems
本地全文：下载
作者：Laurent Fribourg ; Bertrand Revol ; Romain Soulat 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2011
卷号：73
页码：35-48
DOI：10.4204/EPTCS.73.6
出版社：Open Publishing Association
摘要：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 inﬁnite real state space. The problem is to ﬁnd a switching rule that guarantees the system to still be in a given area V at the next sampling time, and so on indefinitely. In this paper, we will consider two approaches: the indirect one that abstracts the system under the form of a ﬁnite discrete event system, and the direct one that works on the continuous state space.
Our methods rely on previous works, but we specialize them to a simplified context (linearity, periodic switching instants, absence of control input), which is motivated by the features of a focused case study: a DC-DC boost converter built by electronics laboratory SATIE (ENS Cachan). Our enhanced methods allow us to treat successfully this real-life example.