具有事件触发状态测量的降压转换器的构造正确控制综合
系统与控制
2019-03-14 v1
摘要
在本文中,我们阐述了一种用于带事件触发测量的功率转换器的构造正确切换控制器。事件触发测量方案对高频功率转换器有益,因其需要相对低速的采样硬件且对未建模的开关瞬态不敏感。尽管在此应用中提供闭环系统行为的保证至关重要,但现成的基于抽象的技术无法直接用于在此设置下综合控制器,因为控制器不能总是即时获取当前状态。因此,切换动作必须基于略微过时的测量。为应对此挑战,我们将过时测量作为额外状态变量引入,并投影掉不可达的真实状态以构造信念空间抽象。分析了该信念空间抽象所保持的性质。最后,将一种基于抽象的综合方法应用于此抽象。我们在带事件触发采样器的恒定导通时间降压电压调节器对象上演示了该控制器。仿真验证了控制器的有效性。
引用
@article{arxiv.1903.05275,
title = {Correct-by-construction control synthesis for buck converters with event-triggered state measurement},
author = {Liren Yang and Xiaofan Cui and Al-Thaddeus Avestruz and Necmiye Ozay},
journal= {arXiv preprint arXiv:1903.05275},
year = {2019}
}
备注
To appear in the Proc. American Control Conference (ACC), Philadelphia, PA, July 2019