学习事件驱动的切换线性系统
系统与控制
2021-11-11 v1 机器学习
系统与控制
摘要
我们提出了一种基于自动机理论的学习算法,用于辨识切换逻辑为事件驱动的黑盒切换线性系统。切换系统由一个确定性有限自动机(FA)表示,其节点标签为子系统矩阵。在已知矩阵维数与事件集合、并可访问两个预言机(能在给定输入上模拟系统,以及在给定错误假设自动机时提供反例)的条件下,我们给出了一种输出未知 FA 的算法。我们的算法首先利用预言机获取系统在给定事件输入序列上运行的节点标签,随后扩展 Angluin 的 -算法以确定接受该给定 FA 语言的自动机。我们在一组基准示例上展示了学习算法的性能。
引用
@article{arxiv.2009.12831,
title = {Learning event-driven switched linear systems},
author = {Atreyee Kundu and Pavithra Prabhakar},
journal= {arXiv preprint arXiv:2009.12831},
year = {2021}
}