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.
Barrier Certificates for a Computational Model of Epileptic Seizures / Ingham, John F.; Wang, Yujiang; Zuliani, Paolo; Soudjani, Sadegh. - (2023). (Intervento presentato al convegno 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) tenutosi a Honolulu, Oahu, HI, USA) [10.1109/smc53992.2023.10394291].
Barrier Certificates for a Computational Model of Epileptic Seizures
Zuliani, Paolo;
2023
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
