基于符号欧拉法保证混合振荡器的相位同步：布鲁塞尔振子与双足机器人示例
系统与控制
2020-06-18 v1 系统与控制
摘要
相位同步现象于17世纪由惠更斯在观察倚靠同一面墙的两座时钟摆时被证实。该现象更近期表现为自然界中普遍存在的现象，并展现出多种工业应用。然而，系统呈现该现象的确切参数值在一般情况下难以获取，因此寻找形式化充分条件以保证相位同步是有意义的。利用可达性的概念，我们在此给出这样一种形式化方法。更确切地说，我们的方法选取状态空间的一个部分 ，并证明任何始于 的解在固定周期数 内返回 。此外，我们的方法表明该解的各分量此后（几乎）同相。我们解释了该方法如何应用于布鲁塞尔振子反应扩散与双足行走器示例。
引用
@article{arxiv.2006.09993,
title = {Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples},
author = {Jawher Jerray and Laurent Fribourg and Étienne André},
journal= {arXiv preprint arXiv:2006.09993},
year = {2020}
}