Stochastic ergodic control in hybrid systems: A framework for safe autonomy in adversarial environments

IF 2.8 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS
Systems & Control Letters Pub Date : 2026-02-01 Epub Date: 2026-01-20 DOI:10.1016/j.sysconle.2025.106338
Ramen Ghosh
{"title":"Stochastic ergodic control in hybrid systems: A framework for safe autonomy in adversarial environments","authors":"Ramen Ghosh","doi":"10.1016/j.sysconle.2025.106338","DOIUrl":null,"url":null,"abstract":"<div><div>We study the ergodic control of stochastic hybrid systems by <em>shaping their invariant distribution</em>. Given a regime-switching diffusion with feedback, we pose long-run optimal control with <em>convex constraints on the stationary occupation measure</em> to encode safety, fairness, and coverage requirements. Our analysis establishes (i) verifiable conditions ensuring existence and uniqueness of an invariant measure under controlled switching; (ii) a variational formulation on <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> with a <em>Wasserstein–KKT</em> optimality system that links dual multipliers to sensitivities of stationary constraints; and (iii) <em>sharp bifurcations</em> of the optimal invariant law and dual variables as constraint thresholds, switching rates, or noise intensities vary, revealing phase-transition phenomena predicted by large-deviation heuristics. We further develop a simulation-based primal–dual synthesis method that estimates stationary occupancies from long trajectories and provably converges to a KKT point under standard step–size and convexity assumptions. Case studies — marine navigation in adversarial seas, battery–inverter management under stochastic load, and safety–enveloped medical device scheduling — demonstrate distributional guarantees unattainable by transient or average-cost criteria. The results provide a principled route to safe and interpretable autonomy in hybrid systems, with certificates phrased directly at the level of invariant laws.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"209 ","pages":"Article 106338"},"PeriodicalIF":2.8000,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Systems & Control Letters","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0167691125003202","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/1/20 0:00:00","PubModel":"Epub","JCR":"Q3","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

We study the ergodic control of stochastic hybrid systems by shaping their invariant distribution. Given a regime-switching diffusion with feedback, we pose long-run optimal control with convex constraints on the stationary occupation measure to encode safety, fairness, and coverage requirements. Our analysis establishes (i) verifiable conditions ensuring existence and uniqueness of an invariant measure under controlled switching; (ii) a variational formulation on P2 with a Wasserstein–KKT optimality system that links dual multipliers to sensitivities of stationary constraints; and (iii) sharp bifurcations of the optimal invariant law and dual variables as constraint thresholds, switching rates, or noise intensities vary, revealing phase-transition phenomena predicted by large-deviation heuristics. We further develop a simulation-based primal–dual synthesis method that estimates stationary occupancies from long trajectories and provably converges to a KKT point under standard step–size and convexity assumptions. Case studies — marine navigation in adversarial seas, battery–inverter management under stochastic load, and safety–enveloped medical device scheduling — demonstrate distributional guarantees unattainable by transient or average-cost criteria. The results provide a principled route to safe and interpretable autonomy in hybrid systems, with certificates phrased directly at the level of invariant laws.
混合系统中的随机遍历控制:对抗环境中安全自治的框架
通过塑造随机混合系统的不变分布,研究了随机混合系统的遍历控制。给定一个带反馈的状态切换扩散,我们对平稳占用度量提出了具有凸约束的长期最优控制,以编码安全性、公平性和覆盖要求。我们的分析建立了(i)可验证的条件,确保受控切换下不变测度的存在性和唯一性;(ii) P2的变分公式,该公式具有将对偶乘数与平稳约束的敏感性联系起来的Wasserstein-KKT最优性系统;(iii)最优不变律的尖锐分叉和约束阈值、切换率或噪声强度变化的对偶变量,揭示了由大偏差启发式预测的相变现象。我们进一步开发了一种基于模拟的原始对偶综合方法,该方法从长轨迹估计平稳占用,并在标准步长和凸性假设下证明收敛到KKT点。案例研究——在敌对海域的海上航行,随机负载下的电池逆变器管理,以及安全包膜医疗设备调度——证明了通过瞬态或平均成本标准无法实现的分配保证。研究结果为混合系统中的安全和可解释的自主性提供了一条原则性的途径,证书直接在不变定律的层面上表达。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Systems & Control Letters
Systems & Control Letters 工程技术-运筹学与管理科学
CiteScore
4.60
自引率
3.80%
发文量
144
审稿时长
6 months
期刊介绍: Founded in 1981 by two of the pre-eminent control theorists, Roger Brockett and Jan Willems, Systems & Control Letters is one of the leading journals in the field of control theory. The aim of the journal is to allow dissemination of relatively concise but highly original contributions whose high initial quality enables a relatively rapid review process. All aspects of the fields of systems and control are covered, especially mathematically-oriented and theoretical papers that have a clear relevance to engineering, physical and biological sciences, and even economics. Application-oriented papers with sophisticated and rigorous mathematical elements are also welcome.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书