使用重叠符号模型进行组合抽象和安全合成
摘要：非线性离散时间系统的抽象和安全综合的组合方法 基于一般类别的离散时间非线性系统，我们开发了一种组合方法来进行抽象和安全综合。我们的方法可以通过组合一组符号子系统来定义一个符号抽象，这些子系统在某种程度上是重叠的，即它们可以共享一些公共状态变量。我们使用这种重叠的符号子系统开发了组合安全综合技术。我们提供了在不同系统分解获得的抽象和控制器之间的比较，包括保守性和计算复杂性方面。数值实验表明，所提出的符号控制综合方法相对于集中式方法可以显著降低复杂性，同时相对于使用非重叠子系统的组合方法可以减少保守性。
作者：Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
论文ID：1704.07124
分类：Systems and Control
分类简称：cs.SY
提交时间：2021-04-09