Development of network methodologies for brain data modelling

为了理解复杂的生物行为，生物系统的计算模型的发展变得非常重要[1]。特别是，所谓的“可执行生物学”专注于模仿生物过程行为的可执行计算机算法的设计。事实上，为了描述生物过程，人们可以使用数学和计算模型，模拟生物行为。了解生物系统的行为，例如疾病的基础，可能是建立患者运行时监测算法的基础。生物医学信号监测设备对人的健康系统尤为重要。这是因为，例如，这种设备可以检测到即将到来的心脏病发作的存在，或者暴露在潜在风险中的患者的心脏病危机。因此，这项研究的挑战将是开发新的算法，通过与网络物理系统（CPS）的交互来检测患者的特定关键事件。CPS是物理过程的集成，与计算和通信相结合[2]。研究的目标将是开发ad-hoc算法来处理来自传感器的真实的时间数据，从而检测关键情况。这可以通过将我的算法与物理传感器连接来实现，或者为智能手机和笔记本电脑构建用户可以直接连接的临时应用程序。然后，将通过所实施的算法对收集到的数据进行分析，结果将是确定相关问题的解决方案。这项研究将导致为患者建立一个运行时监测系统。这个博士提案结合了许多不同的方面，可能会引起不同的合作。它是跨学科的，涉及工程学、生物学、医学、计算机科学，它将包括运行时监控、模型检查和形式化方法。[1]J. Fisher和T. Henzinger，“可执行细胞生物学”，《自然生物技术》，第25卷，第110页。1239-1249,2007. [2]S. Haque，S.阿齐兹和M. Rahman，“Review of Cyber-Physical System in Healthcare，”InternationalJournal of Distributed Sensor Networks，p. 20，2014.

Development of computational models of biological systems is becoming extremely important in order tounderstand complex biological behaviours [1]. In particular, the so-called "executable biology" focuses onthe design of executable computer algorithms that mimic the behaviour of biological processes. Indeed, todescribe biological processes one can use mathematical and computational models, simulating biologicalbehaviours. Understanding the behaviour of biological systems, that for example underlie a disease, couldbe fundamental in order to build algorithms for runtime monitoring of patients.Biomedical signal monitoring devices are particularly important for the health system of a person. This isbecause, for example, such devices could be able to detect the presence of an incoming heart attack, or adiabetes crisis for patients exposed to potential risks.The challenge of this research therefore would be to develop new algorithms to detect specific critical eventsfor patients, by interacting with Cyber-Physical Systems (CPS). CPS is the integration of physical processes,jointly combined with computation and communication [2]. The goal of the research will be to develop ad-hoc algorithms to process real time data, coming from thesensors and therefore detect critical situations. This could be done interfacing my algorithm with physicalsensors, or building ad-hoc applications for smartphones and laptops with which the user could interfacedirectly. The data so collected would then be analysed through the algorithm implemented and the outputwould be the identification of a solution for the relevant problem. The research would then lead to buildinga run time monitoring systems for patients.This PhD proposal combines many different aspects and could give rise to different possible collaborations. Itwill be interdisciplinary involving engineering, biology, medicine, computer science and it will includeaspects of run time monitoring, model checking and formal methods.[1] J. Fisher and T. Henzinger, "Executable cell biology," Nature Biotechnology, vol. 25, pp. 1239-1249,2007.[2] S. Haque, S. Aziz and M. Rahman, "Review of Cyber-Physical System in Healthcare," InternationalJournal of Distributed Sensor Networks , p. 20, 2014.