面向混合动力系统的契约设计与不变性属性
图像与视频处理
2024-07-08 v2
摘要
本文确立了验证互联混合系统契约的基本原理。当系统的混合弧在一定时段内符合契约但随后违反时，混合动力系统的组合将面临挑战。本文旨在分析契约的时序满足情况，从而能够在混合时间点上进行不违反契约的组合推理。引入弱满足和强满足契约的概念。这些语义允许对不同复杂度混合系统进行组合推理，这取决于互连的类型，如反馈或级联。结果表明，两种语义均与级联组合兼容，而强语义需要反馈组合。此外，我们展示了如何从弱满足转向强满足契约满足。最后，我们研究了特定类的混合系统，证明相对于契约的前向(pre-)不变性概念可处理反馈组合。本文通过简单数值示例论证了这些结果。
引用
@article{arxiv.2405.07717,
title = {On the Adversarial Robustness of Learning-based Image Compression Against Rate-Distortion Attacks},
author = {Chenhao Wu and Qingbo Wu and Haoran Wei and Shuai Chen and Lei Wang and King Ngi Ngan and Fanman Meng and Hongliang Li},
journal= {arXiv preprint arXiv:2405.07717},
year = {2024}
}