确保采样线性系统可达性的切换规则综合
计算机科学中的逻辑
2011-11-15 v1 系统与控制
摘要
我们在此考虑以给定周期 进行周期性采样的分段线性动态系统。在每个采样时刻，系统的模式，即线性动态的参数，可以根据切换规则进行切换。此类系统可以被建模为混合自动机的一种特殊形式，称为“切换系统”，即具有无穷实状态空间的自动机。问题在于寻找一个切换规则，以保证系统在下一个采样时刻仍处于给定区域 内，并如此无限延续下去。在本文中，我们将考虑两种方法：一种是将系统抽象为有限离散事件系统形式的间接方法，另一种是在连续状态空间上工作的直接方法。我们的方法依赖于先前的工作，但我们将其专门应用于一个简化的上下文中（线性、周期性切换时刻、无控制输入），这受启发于一个重点案例研究的特征：由电子实验室 SATIE（ENS Cachan）构建的 DC-DC boost 变换器。我们增强后的方法使我们能够成功处理这一现实生活中的实例。
引用
@article{arxiv.1111.3108,
title = {Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems},
author = {Laurent Fribourg and Bertrand Revol and Romain Soulat},
journal= {arXiv preprint arXiv:1111.3108},
year = {2011}
}
备注
In Proceedings INFINITY 2011, arXiv:1111.2678