Output feedback stabilization of non-uniformly observable systems by means of a switched Kalman-like observer
我们建议探索切换方法,以恢复卡尔曼类观测器的一些性质,用于可能存在可观测性奇异性的状态仿射系统的输出反馈稳定。对于非一致可观测系统,类卡尔曼观测器的自校正增益矩阵趋于奇异。我们表明,在状态仿射系统的情况下,可观察的目标,它可以通过动态监测系统的可观察性,并切换控制时,它变得关键。
2022-11-16 math.OC
Decentralized Control of Stochastically Switched Linear System with Unreliable Communication
University of Southern California(南加州大学);University of California, Berkeley(加州大学伯克利分校)
本文研究了由全局和局部设备及控制器组成的网络控制系统,通过构建动态规划和策略分解,得到控制器的最优策略,以最小化二次成本。
2018-02-02 cs.SY eess.SY math.OC
Detectability and Observer Design for Switched Differential Algebraic Equations
University of Kaiserslautern(凯泽斯劳滕大学);LAAS – CNRS(法国国家科学研究中心图卢兹实验室);University of Groningen(格罗宁根大学)
本文研究了切换线性微分代数方程的可检测性及其在观测器合成中的应用,提出区间可检测性概念,并展示了如何利用该概念设计状态估计器。
2019-03-30 cs.SY eess.SY math.DS
Hybrid Control of ADT Switched Linear Systems subject to Actuator Saturation
North Carolina State University(北卡罗来纳州立大学);University of Rhode Island(罗德岛大学)
本文提出了一种针对具有执行器饱和的ADT切换线性系统的混合输出反馈控制方法,通过死区表示处理饱和非线性,并结合模式依赖的动态输出反馈控制器与监督重置机制,确保系统在ADT切换下的指数稳定性与扰动衰减性能。
2026-02-20 cs.SY eess.SY math.OC
Stabilization of 2D discrete switched systems with state delays under asynchronous switching
School of Automation, Nanjing University of Science and Technology(南京理工大学自动化学院)
针对控制器切换滞后于系统切换的异步切换问题,采用驻留时间方法设计状态反馈控制器,实现具有状态时滞和范数有界不确定性的Roesser型二维离散切换系统的鲁棒指数镇定。
2012-07-09 cs.SY eess.SY math.DS
Using data informativity for online stabilization of unknown switched linear systems
本文研究离散切换线性系的数据驱动切换控制器设计。执行初始化阶段,而不是访问完整的系统动态,在此期间,为每个模式收集状态和输入的无噪声测量。在一定的测量条件下,我们为切换系统设计了一个稳定的切换控制器。准确地说,控制器在识别系统的活动模式和应用预定的稳定反馈之间切换。我们证明,如果系统切换根据一定的规格,该控制器稳定的闭环系统。一个网络的例子上的模拟说明了我们的方法。
2022-09-12 math.OC
Stabilization of Networked Control Systems with Sparse Observer-Controller Networks
University of Rochester(罗切斯特大学);University of Central Florida(中佛罗里达大学)
针对任意拓扑的线性时不变网络化控制系统,提出基于李雅普诺夫直接法的稳定性条件,并据此设计低复杂度算法以构建稀疏观测器控制网络。
2014-01-23 cs.SY eess.SY math.OC
Observer-Based Controller Design for Systems on Manifolds in Euclidean Space
School of Electrical Engineering, Korea Advanced Institute of Science and Technology(韩国科学技术院电气工程学院)
本文提出在欧几里得空间中通过嵌入和横截稳定性设计观察者及基于观察者的控制器,使非线性系统在manifold上的控制更简便,方法在刚体系统上验证。
2018-06-16 cs.SY eess.SY math.OC
Observer-Based Sampled-Data Stabilisation of Switched Systems with Lipschitz Nonlinearities and Dwell-Time
Tel Aviv University(特拉维夫大学);University of Bergamo(贝加莫大学);Politecnico di Milano(米兰理工大学);University of Trento(特伦托大学)
研究了具有不确定Lipschitz非线性的线性仿射切换系统在驻留时间约束下的稳定化问题,采用基于状态观测器的采样数据切换律,利用Lyapunov-Metzler不等式设计切换律,推导了闭环系统全局渐近稳定性的时变LMI条件,并讨论了LMI的可行性。
2026-04-28 math.OC
Adaptive Koopman-Based Models for Holistic Controller and Observer Design
Heinz Nixdorf Institute, Paderborn University(海因茨·尼克斯多夫研究所,帕德博恩大学)
本文提出一种运行中自适应的数据驱动Koopman模型,用于整体设计状态空间控制器与观测器,并在测试台架上验证了强系统变化下的卓越控制性能。
2023-11-30 cs.SY eess.SY math.OC
Graph-Based Conditions for Feedback Stabilization of Switched and LPV Systems
本文提出基于图论和路径完备李雅普诺夫函数的新条件,通过LMI设计切换线性系统的鲁棒和模式依赖分段线性反馈控制器,实现镇定。
2023-06-20 cs.SY eess.SY math.OC
Towards a Global Controller Design for Guaranteed Synchronization of Switched Chaotic Systems
Jadavpur University(贾达普大学);University of Southampton(南安普顿大学)
本文基于保证稳定性Lyapunov理论,结合鲁棒控制与切换线性系统概念,推导出切换主从非线性混沌系统的同步充分条件,并通过线性矩阵不等式简化计算以实现同步控制。
2016-11-29 cs.NA math.CA math.DS
Feedback Stabilization of Switched Systems: Memory is not needed
Federal University of Ceará(塞阿拉联邦大学);Aeronautics Institute of Technology(航空技术学院);Politecnico di Torino(都灵理工大学);Université Paris-Saclay(巴黎萨克雷大学)
本文通过构造证明,对于切换线性系统,若存在利用完整状态和切换信号历史的镇定控制器,则必存在无记忆且一次齐次的镇定控制器,从而验证了静态反馈足以镇定的长期假设。
2026-05-30 math.OC
Low-Complexity Quantized Switching Controllers using Approximate Bisimulation
Université Joseph Fourier(约瑟夫·傅立叶大学)
针对增量稳定切换系统,提出基于近似双仿真的符号模型计算方法,设计离线预计算的量化切换控制器,并利用代数决策图和非确定性减少存储需求。
2013-02-09 cs.SY eess.SY math.OC
Analysis and Synthesis of Switched Optimization Algorithms
University of Stuttgart(斯图加特大学)
本文提出了一种具有认证指数收敛速率的离散时间优化算法,能够有效应对通信网络中的时间延迟和切换动态问题。
2026-03-10 cs.SY eess.SY math.OC
Impact of packet dropouts on the performance of optimal controllers and observers
我们调查的影响,由于在通信网络中的非理想性的最优导出的控制器和观察员的性能在极大极小意义上的数据包丢失。这些数据包丢失的离散约束切换信号通过有向图建模。我们考虑时间最优控制和估计,最小能量和燃料优化和LQR问题的系统受到丢包,原来是组合的,并计算算法的最坏情况下的性能,这些优化问题。为了减少求解这些组合问题的计算负担,对开关信号施加了偏序。验证所提出的方法是在一组随机生成的系统。最后,通过将每个最优控制问题的最坏情况性能与底层网络相关联,可以在可用通信网络的集合中进行优化。
2020-06-21 cs.SY eess.SY math.OC
Feedback stabilization of switched systems under arbitrary switching: A convex characterization
Aeronautics Institute of Technology (ITA)(巴西空军理工学院);Politecnico di Torino(都灵理工大学);Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des Signaux et Systèmes(巴黎萨克雷大学、法国国家科学研究中心、中央苏佩莱克学院、信号与系统实验室)
针对离散时间切换线性系统,基于新颖图结构提出线性矩阵不等式层次条件,刻画反馈镇定,涵盖模式依赖与模式独立情形,并给出显式分段线性与记忆依赖控制器。
2026-06-24 cs.SY eess.SY math.OC
Quantized Output Feedback Stabilization of Switched Linear Systems
Kyoto University(京都大学)
本文研究通过量化输出反馈稳定连续时间切换线性系统,利用多Lyapunov函数和平均驻留时间性质设计编码策略,并在每次切换时调整'缩放'参数。
2014-03-19 cs.SY eess.SY math.OC
Finite Approximations of Switched Homogeneous Systems for Controller Synthesis
我们证明了使用一个新的,面向控制的概念,有限状态近似的一类特定的混合动力系统。具体地说,我们考虑的问题,设计一个稳定的二元输出反馈切换控制器的不稳定齐次二阶系统。本说明中提出的建设性的方法,除了产生一个明确的结构的混合动力装置的确定性有限状态近似模型,使我们能够有效地建立一个可用的上限的近似质量,并导致一个离散最优化问题,其解决方案立即提供了一个可证明的正确的设计控制器的原始系统。所得到的控制器包括一个有限状态观测器的植物和相应的全状态反馈切换控制律。
2010-02-06 math.OC
Accelerated Stabilization of Switched Linear MIMO Systems using Generalized Homogeneity
IRDL, UMR CNRS 6027, Bretagne INP, ENSTA, Institut Polytechnique de Paris, Univ. Brest, Univ. Bretagne Sud(法国布雷斯特大学、南布列塔尼大学);Inria, Univ. Lille, CNRS, UMR 9189 - CRIStAL
本文提出利用广义同质性框架和隐式李雅普诺夫函数,实现切换线性MIMO系统的加速有限时间稳定化,并通过数值实验验证了方法的有效性。
2026-02-09 cs.SY eess.SY math.OC
Feedback stabilization of dynamical systems with switched delays
ICTEAM Institute, Université catholique de Louvain(卢森堡天主教大学 ICTEAM 研究所);University of L’Aquila(拉奎拉大学)
针对无线多跳通信网络引起的切换传播时滞,将问题建模为无约束切换系统,提出任意精度的近似稳定性分析方法,并证明稳定性验证的NP难性。
2012-07-21 cs.SY eess.SY math.OC
$L_1/\ell_1$-to-$L_1/\ell_1$ analysis of linear positive impulsive systems with application to the $L_1/\ell_1$-to-$L_1/\ell_1$ interval observation of linear impulsive and switched systems
本文研究了在线性正脉冲系统中,基于最小和范围驻留时间约束的渐近稳定性和混合$L_1/\ell_1$增益的充分条件,并将其转化为无限维线性规划问题,通过求和平方规划进行求解。这些条件被用于构建线性脉冲和切换系统的$L_1/\ell_1$到$L_1/\ell_1$区间观测器的构造性充分条件,通过求解无限维优化问题提取合适的观测器增益,并通过示例进行说明。
2018-10-12 cs.SY eess.SY math.OC
An integrated design of robust decentralized observer and controller for load frequency control
本文针对多区域电力系统全局优化需求,提出基于单步LMI的$H_\infty$优化集成设计方法,同步设计分散LFC观测器与控制器,结合特征值配置提升瞬态性能,经三区域系统仿真验证优于传统方案。
2024-09-16 cs.ET cs.SY eess.SY
Safety Verification of Output Feedback Controllers for Nonlinear Systems
Department of Computer Science, University of Oxford(牛津大学计算机科学系)
本文针对可线性化非线性系统,利用高增益观测器设计安全控制器,通过推导轨迹距离界证明其收敛性,并构造最大安全不变集以保证安全性。
2016-03-21 cs.SY eess.SY math.OC
Robust performance for switched systems with constrained switching and its application to weakly hard real-time control systems
本文提出了一个基于耗散性理论和线性矩阵不等式的框架,用于分析和设计具有约束切换的切换系统的鲁棒二次性能控制器,并成功应用于不确定弱硬实时控制系统。
2024-11-13 cs.SY eess.SY math.OC
$\mathcal{L}_1$ Adaptive Control for Switching Reference Systems: Application to Flight Control
本文提出了一个框架的设计和分析的$\mathcal{L}_1$自适应控制器与切换参考系统。开关参考系统的使用允许在操作包线上调度所需的行为,这在航空航天应用中经常需要。分析使用切换参考系统,假设完美的知识的不确定性,并使用相应的非自适应控制器。在此切换参考系统稳定的前提下,证明了具有未知参数和干扰的闭环系统和$\mathcal{L}_1$自适应控制器可以任意接近此参考系统.运输类飞机在进场阶段的短周期动力学仿真说明了理论结果。
2021-01-01 cs.SY eess.SY math.OC
Data-driven mode detection and stabilization of unknown switched linear systems
本文研究未知切换线性系统的数据驱动稳定化问题,基于线性矩阵不等式设计在线切换控制器,通过在线测量进行模式检测与稳定化,在平均驻留时间假设下保证闭环系统的实际稳定性。
2024-07-26 math.OC
Observer-Based Controllers for Incrementally Quadratic Nonlinear Systems with Disturbances
基于滑模控制器的非线性系统鲁棒全局镇定是一个具有挑战性的课题。本文研究了具有外部干扰的增量式二次非线性系统的基于扰动的镇定控制器设计问题。在系统模型中考虑的非线性满足增量二次约束,其特征在于增量乘子矩阵,并包含许多常见的非线性。观测器和控制器增益矩阵的同时搜索被配制成线性矩阵不等式的可行性问题,对于两个参数化(即,块对角参数化和块反三角参数化)。实现基于前馈反馈控制器的闭环系统被证明是输入到状态稳定的外部干扰。利用所提出的基于连续时间扰动器的控制器,对全局Lipschitz系统构造了具有时间正则化的事件触发控制器,使得闭环系统无Zeno且输入到状态实际稳定.
2020-06-03 math.OC
Convergence Analysis and Design of Multi-block ADMM via Switched Control Theory
Northeastern University(东北大学)
本文通过切换控制理论分析多块ADMM的收敛性,提出线性矩阵不等式条件以确保任意序列下的收敛性,并通过半正定规划验证了方法的有效性。
2018-03-03 cs.SY eess.SY math.OC
Designing MPC controllers by reverse-engineering existing LTI controllers
Cambridge University Engineering Department(剑桥大学工程系)
提出一种逆向工程方法,将现有线性时不变输出反馈控制器转化为约束输出反馈模型预测控制器,在约束未激活时保持相同行为,并探索设计自由度以利用MPC的约束处理和冗余管理能力。
2011-09-13 cs.SY eess.SY math.OC
Decentralized Observer Design for Virtual Decomposition Control
Tampere University(坦佩雷大学)
在本文中,我们将速度观测器的设计到虚拟分解控制(VDC)策略的$n$ -自由度开链机器人机械手。从VDC策略下降,所提出的设计是基于将$n$ -DoF机械手分解为子系统,即,刚性连杆和关节,对于这些刚性连杆和关节,可以在本地实现分散的观测器-观测器实现。类似于VDC,合并的干扰观测器的设计是基于无源性的,我们表明,它实现了半幂指数收敛的跟踪误差。基于观测器和控制器误差动态特性,利用李雅普诺夫函数进行了收敛性分析。所提出的设计证明在一个2自由度的开链机器人机械手在垂直平面的仿真研究。
2021-05-27 cs.RO cs.SY eess.SY
Internal and String Stability of an Observer-based Controller for Vehicle Platooning under the MPF Topology
针对MPF拓扑下采用CTHS策略的车辆编队,本文提出基于分布式观测器的控制器,通过简化设计推导弦稳条件,结合启发式搜索与类二分算法求解参数及时距最小值,性能优于传统PID控制器。
2024-05-14 math.OC
Switching Control of Linear Time-Varying Networked Control Systems with Sparse Observer-Controller Networks
针对具有任意拓扑结构的线性时变网络控制系统,利用多个二次型李雅普诺夫函数的分段二次型切换镇定方法,给出了一组稳定性条件.我们使用这组稳定性条件提供了一种新的迭代低复杂度的算法,必须更新和优化离散时间的稀疏的控制器控制器网络的设计,对于一个给定的植物网络与任意拓扑结构。我们采用分布式观测器,利用其他子系统的输出,以提高每个观测器的稳定性。为了避免控制器和观测器增益的无界增长,我们对增益的范数施加了限制。
2018-04-02 math.OC
Non-overshooting output shaping for switched linear systems under arbitrary switching using eigenstructure assignment
University of Melbourne(墨尔本大学)
本文提出了一种在任意切换下实现切换线性系统无超调输出跟踪的控制设计方法,通过特征结构分配确保系统稳定性并提供可行的子系统分配方案。
2025-04-01 cs.SY eess.SY math.OC
Mode-Prefix-Based Control of Switched Linear Systems with Applications to Fault Tolerance
本文针对切换线性系统提出基于模式前缀的最优控制器设计方法,将容错控制问题转化为凸优化,并在战斗机故障模型上验证了其有效性。
2025-06-14 math.OC
Observer-Based Fault-Tolerant Spacecraft Attitude Tracking Using Sequential Lyapunov Analyses
航天器姿态跟踪问题的执行器故障和不确定性之间的惯性,外部干扰,特别是,状态估计。连续滑模姿态控制器的设计使用的姿态和角速度估计从一个任意稳定的独立观测器。严格的分析表明,控制器确保整个闭环系统的鲁棒稳定性,只要观测器产生的状态估计一致最终有界的估计误差。此外,一个顺序的李雅普诺夫分析是利用获得一个收敛序列的分析,连续更紧密的上界的稳态跟踪误差。因此,我们的研究结果可以用来预测稳态性能界限给定选定的增益或方便增益选择给定的稳态性能界限。数值算例表明了所提出的理论的实用性。
2021-02-19 cs.SY eess.SY math.OC
Decentralized formation control with connectivity maintenance and collision avoidance under limited and intermittent sensing
University of Florida(佛罗里达大学)
本文提出了一种去中心化切换控制器,使动态代理在保持网络连通性和避免碰撞的同时实现全局编队收敛。
2013-10-01 cs.SY eess.SY math.OC
Stability Analysis of Trajectories on Manifolds with Applications to Observer and Controller Design
本文通过完全提升分析给出黎曼流形上轨迹局部指数稳定的充要条件,并应用于欧拉-拉格朗日系统的控制器与观测器设计,揭示曲率影响并简化内禀观测器分析。
2023-06-21 math.OC
Novel Multi-objective Switched Model Predictive Control with Feasibility and Stability Guarantees
针对多目标控制需求,本文提出具备递推可行性与稳定性保证的标称、鲁棒两种新型多目标切换模型预测控制框架,数值实验验证其性能优于标准模型预测控制方法。
2025-11-15 cs.SY eess.SY math.OC
On Observer-based Asymptotic Stabilization of Non-uniformly Observable Systems via Hybrid and Smooth Control: a Case Study
针对在目标平衡点不可观测的二阶双线性仿射系统,提出一种基于切换观测器和分段常数收敛参考信号的确定性等价混合控制器,实现半全局渐近镇定,并通过汽车控制案例的数值仿真验证其有效性。
2023-09-20 cs.SY eess.SY math.OC
Output Feedback Controllers Based on a Bank of High-Gain Observers: Robustness Analysis Against Measurement Noise
研究了测量噪声存在下一类未知非线性系统的多高增益观测器输出反馈控制问题。众所周知,当系统输出受到噪声污染时,单个高增益观测器(HGO)不能提供令人满意的性能。更具体地,当输出测量被噪声污染时,在HGO中的状态估计的收敛速度和稳态估计误差的界之间存在折衷。在所提出的方案中,输出反馈控制器利用状态估计从由一组阻尼器提供的信息的适当组合获得。所提出的策略能够减轻测量噪声的破坏性影响并加快收敛过程,并且它这样做是因为它引入了额外的设计参数。基于MHGO控制器的性能恢复能力和闭环系统的稳定性进行了讨论。对水下机器人系统和机械系统进行了仿真,以评估基于MHGO的控制器的性能。最后,将基于MHGO的控制器与基于传统HGO、带切换增益的HGO和多观测器方法的控制器进行了比较,表明了基于MHGO的控制器的优越性。
2019-03-05 math.OC
Robust reliable control of uncertain 2D discrete switched systems with state delays
研究了一类由Roesser型模型表示的具有状态时滞的不确定2D离散切换系统的鲁棒可靠控制问题。假设参数不确定性是范数有界的。首先,建立了具有状态时滞的离散2D系统指数稳定的时滞相关的充分条件。然后,平均停留时间的概念扩展到2D切换系统,和一个可靠的状态反馈控制器的线性矩阵不等式(LMIs),使得所得到的闭环系统是指数稳定的所有容许的不确定性和执行器故障。停留时间的方法是用于稳定性分析和控制器设计。最后,一个例子来证明所提出的方法的有效性。
2012-10-09 math.DS math.OC
Fixed-Time and Arbitrarily Fast Exponential Stabilization of Discrete-Time Switched Linear Systems
Universit\' e Paris-Saclay, CNRS, CentraleSup\` e lec, Laboratoire des signaux et syst\` e mes, 91190 Gif-sur-Yvette, France;Department of Electrical Engineering, Federal University of Cear\' a (UFC), Fortaleza, 60020-181, CE, Brazil
本文研究了离散时间切换线性控制系统的固定时间稳定性,通过几何方法推导出在指定步数内稳定条件,提出模式依赖和模式无关两种控制方法,并通过结构分解简化分析与设计,证明固定时间和任意快速指数稳定等价性。
2026-04-29 math.OC
Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems
我们研究离散时间线性切换系统的可镇定性,当控制器的唯一控制动作是切换信号时,并且当控制器可以实时访问系统的状态时。尽管它们表面上很简单,但确定这样的系统是否是可稳定的似乎是一个非常具有挑战性的问题,并且基本的例子已经知道很久了,其中的可稳定性问题是开放的。我们提供了新的结果,使我们能够绑定所谓的稳定半径,这是离散时间线性切换系统的稳定性的特点。这些结果使我们能够计算显着改进的显式下界的稳定半径为上述例子。作为一个副产品,我们表现出这个问题的不连续性,这带来了理论上的理解,其复杂性。
2021-05-19 math.OC
A Path-Complete Approach for Optimal Control of Switched Systems
UCLouvain(鲁汶大学)
本文提出了一种基于路径完备图的框架,用于构建切换系统价值函数的可计算上界,并通过数值示例验证了其有效性。
2026-02-04 cs.SY eess.SY math.OC
Efficient Lyapunov-Based Stabilizability and Detectability Tests: From LTI to LPV Systems
在本技术说明中,我们将线性时不变(LTI)系统的著名的基于Lyapunov的稳定性和可检测性测试推广到离散时间(DT)多面体线性参数变化(LPV)系统的背景下。要做到这一点,我们利用的数学结构的类的多二次李雅普诺夫函数,这使我们能够制定条件的形式的线性矩阵不等式(LMI)。我们的结果不同于现有的条件,我们采用较弱的假设控制器/观测器的参数依赖性和我们的方法不需要明确地将这些增益,这使得新的条件计算要求较低。有趣的是,我们的研究结果也有重要的影响,现有的控制器和观测器的综合技术的基础上多QLF。事实上,我们表明,现有的观察员合成结果比预期的更强,在这个意义上,他们是必要的一个更大的一类观察员。此外,我们还介绍了新的控制器的合成条件,并说明我们的结果通过数值案例研究。
2023-03-19 cs.SY eess.SY math.OC
Observer-Based State Feedback Controller for a Mindlin Plate Model in port-Hamiltonian framework
Université Marie et Louis Pasteur, SUPMICROTECH, CNRS, institut FEMTO-ST(玛丽和路易·巴斯德大学,SUPMICROTECH,法国国家科学研究中心,FEMTO-ST研究所)
本文将早期的集中观测器状态反馈控制设计方法扩展到二维边界控制的Mindlin板模型。首先引入并离散化二维端口哈密顿Mindlin板模型,然后通过可控性分解识别可控模式,并设计状态反馈和观测器增益,使控制器严格正实,从而保证闭环系统的稳定性。
2026-04-28 math.OC
Controller Synthesis for Safety and Reachability via Approximate Bisimulation
Laboratoire Jean Kuntzmann Universit\'e de Grenoble B.P. 53, 38041 Grenoble, France
本文利用近似双模拟抽象方法,针对安全性和可达性规范设计控制器,通过抽象控制器综合与具体化过程保证正确性,并给出与最优控制器的距离估计。
2011-06-16 cs.LO cs.SY eess.SY
Data-driven stabilization of switched and constrained linear systems
本文针对未知切换线性系统,基于Lyapunov-Metzler不等式提出数据驱动双线性规划方法,直接设计可镇定控制器并保证H2/H∞性能,同时通过松弛方法降低计算成本,无需各模态可镇定性。
2025-06-04 cs.SY eess.SY math.DS
Towards ISS disturbance attenuation for randomly switched systems
研究了随机切换系统的输入-状态稳定性问题。我们提供了初步的结果处理的随机版本的ISS无控制输入的随机切换系统的充分条件,并与援助的通用公式,我们设计的ISS干扰衰减控制器时,控制输入。两种类型的开关信号被认为是:第一个是由一个统计缓慢的开关条件,第二类半马尔可夫过程。
2007-11-22 math.OC
Approximately bisimilar symbolic models for incrementally stable switched systems
切换系统是一种重要的建模范式,它忠实地描述了许多软件与物理世界交互的工程系统。尽管在切换系统的稳定性和稳定化方面取得了相当大的进展,但技术的不断发展要求我们在不同的,也许更复杂的目标方面取得类似的进展。本文介绍了一种特殊的方法来解决这些不同的目标的基础上建设的近似等价(bisiliminary)的符号模型切换系统。本文的主要贡献在于表明,在标准的假设下,确保增量稳定的切换系统(即存在一个共同的李雅普诺夫函数,或多个李雅普诺夫函数与停留时间),它是可能的,以构建一个有限的符号模型,是近似双相似的原始切换系统的精度,可以选择先验。为了支持所提出的方法的计算优点,我们使用符号模型来合成控制器的两个例子的切换系统,包括升压DC-DC转换器。
2008-07-31 math.OC
Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal
在本文中,我们研究的问题,稳定切换线性系时,只有有限的信息的状态和模式的系统,这发生在许多应用涉及网络切换系统(如网络物理系统,物联网等)。首先,我们证明了任意切换的切换线性系,即,在对开关信号没有约束的情况下,通常不能以有限的数据速率稳定。然后,利用这一结果,我们限制我们的注意力系统满足一个相当温和的慢开关的假设,在这个意义上说,开关信号有一个平均停留时间有界远离零。我们表明,在此假设下,切换线性系,在经典意义下是稳定的保持稳定与有限的数据速率。一个实用的编码器控制器,稳定系统,并证明其适用性的数值例子。
2020-09-10 math.OC
Stabilizing Randomly Switched Systems
研究了一类随机切换系统在切换信号作用下的稳定性分析和镇定问题。切换信号被建模为一个跳跃随机(不一定是马尔可夫)过程独立的系统状态,它选择,在每个时刻,从一个家庭的系统的主动子系统。当子系统不具有控制输入且不要求每个子系统都稳定时,建立了切换系统随机稳定(几乎必然、平均和概率)的充分条件.当子系统是仿射控制时,利用这些条件设计稳定反馈控制器。分析是借助于多个类李雅普诺夫函数进行的,分析结果与非线性系统反馈镇定的普遍公式一起构成了我们控制设计的主要工具
2008-06-09 math.OC
Boundary Output Feedback Stabilization for a Novel Magnetizable Piezoelectric Beam Model
针对两端自由可磁化压电梁强耦合PDE模型同位控制器的局限性,首次设计非同位边界输出反馈控制器与观测器,通过Lyapunov函数证明其一致指数稳定性,为有限差分模型降阶奠定基础。
2024-03-12 math.AP math.OC