bioRxiv 预印本· Prakash, R., Sen, S. ·· 15 小时前AI 评分8
参数化植物不确定性下的认证设计区域及其在反对称积分反馈中的应用
Certified Design Regions under Parametric Plant Uncertainty with Application to Antithetic Integral Feedback
AI 导读
研究将参数化植物不确定性下的鲁棒控制器整定表述为全称量化的集合反演问题，用验证范围包络判定Hurwitz符号条件，从而给出确定性平衡点局部指数稳定性的机器可验证证书。
来源：bioRxiv 预印本 · biorxiv.org