In April 2016 Manchester eScholar was replaced by the University of Manchester’s new Research Information Management System, Pure. In the autumn the University’s research outputs will be available to search and browse via a new Research Portal. Until then the University’s full publication record can be accessed via a temporary portal and the old eScholar content is available to search and browse via this archive.

Neuro-DYVERSE: building hybrid systems neuroscience

E.M. Navarro-LĂłpez

In: 10th AIMS Conference on Dynamical Systems,,Differential Equations and Applications; 07 Jul 2014-11 Jul 2014; Madrid. 2014.

Access to files

Full-text and supplementary files are not available from Manchester eScholar. Use our list of Related resources to find this item elsewhere. Alternatively, request a copy from the Library's Document supply service.

Abstract

Tools from control engineering, formal methods of computer science and network science hold the promise of transforming the course of computational neuroscience. In this talk, we will explore how these tools can be combined in a framework called Neuro-DYVERSE. Neuro-DYVERSE is a work in progress and aims towards a further understanding of the adaptive dynamical processes involved in the formation and consolidation of memory in the human brain. In neuroscience, this is known as neuroplasticity: the brain's ability to change due to experience or damage. The dynamical behaviour of networks of billions of neurons is still poorly understood, as is its relationship to the emergence of learning and memory. Pre-existing models are still fairly limited. The multi-scale complexity of the problem requires the combination of paradigms from different fields, mainly: hybrid systems, control engineering, automated verification, dynamical systems and network science. Neuro-DYVERSE is built upon the computational-mathematical framework DYVERSE. DYVERSE stands for the DYnamically-driven VERification of Systems with Energy considerations, and focuses on hybrid systems models and tools capturing the mixture of continuous dynamics with discontinuities – that is, abrupt changes or transitions. This work leads towards a new branch of computational neuroscience: hybrid systems neuroscience, to coin a term.

Bibliographic metadata

Type of resource:
Content type:
Type of conference contribution:
Publication date:
Author(s) list:
Conference title:
10th AIMS Conference on Dynamical Systems,,Differential Equations and Applications
Conference venue:
Madrid
Conference start date:
2014-07-07
Conference end date:
2014-07-11
Abstract:
Tools from control engineering, formal methods of computer science and network science hold the promise of transforming the course of computational neuroscience. In this talk, we will explore how these tools can be combined in a framework called Neuro-DYVERSE. Neuro-DYVERSE is a work in progress and aims towards a further understanding of the adaptive dynamical processes involved in the formation and consolidation of memory in the human brain. In neuroscience, this is known as neuroplasticity: the brain's ability to change due to experience or damage. The dynamical behaviour of networks of billions of neurons is still poorly understood, as is its relationship to the emergence of learning and memory. Pre-existing models are still fairly limited. The multi-scale complexity of the problem requires the combination of paradigms from different fields, mainly: hybrid systems, control engineering, automated verification, dynamical systems and network science. Neuro-DYVERSE is built upon the computational-mathematical framework DYVERSE. DYVERSE stands for the DYnamically-driven VERification of Systems with Energy considerations, and focuses on hybrid systems models and tools capturing the mixture of continuous dynamics with discontinuities – that is, abrupt changes or transitions. This work leads towards a new branch of computational neuroscience: hybrid systems neuroscience, to coin a term.

Institutional metadata

University researcher(s):

Record metadata

Manchester eScholar ID:
uk-ac-man-scw:231024
Created by:
Navarro Lopez, Eva
Created:
12th August, 2014, 14:45:45
Last modified by:
Navarro Lopez, Eva
Last modified:
12th August, 2014, 14:45:45

Can we help?

The library chat service will be available from 11am-3pm Monday to Friday (excluding Bank Holidays). You can also email your enquiry to us.