Barrier Certificates for a Computational Model of Epileptic Seizures
Barrier Certificates for a Computational Model of Epileptic Seizures
复制标题
癫痫发作计算模型的屏障证书
DOI：
10.1109/smc53992.2023.10394291
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Ingham J
中科院分区：
文献类型：
--
作者：
Ingham J
屏障证书的概念是近年来在控制理论中发展起来的，用于对动态系统的安全性给出形式化的保证。神经质量模型（Neural mass models，简称NMF）模拟大脑中神经元的聚集活动，并已被用于对癫痫等现象进行建模。为了通过研究控制理论在癫痫中的应用来寻求癫痫的新型治疗方法，我们采用了一种这样的NMM，即Wilson-Cowan（WC）模型，并表明可以在确定性和非确定性情况下自动生成屏障证书。确定性情况下，模型的参数属于不确定性集。
The concept of barrier certificate has been developed recently in control theory to give formal guarantees on safety of a dynamical system. Neural mass models (NMMs) simulate the aggregated activity of neurons in the brain and have been used to model phenomena such as epilepsy. With a view to move towards novel treatments for epilepsy by investigating the application of control theory to epilepsy, we take one such NMM, the Wilson-Cowan (WC) model, and show that it is possible to automatically generate barrier certificates in both deterministic and non-deterministic cases, where the parameters of the model belong to an uncertainty set.