Analysing neurobiological models using communicating automata

DOI10.1007/S00165-014-0294-YzbMATH Open1342.92024OpenAlexW2089813709MaRDI QIDQ736844FDOQ736844

Authors: Li Su, Rodolfo Gomez, Howard Bowman 

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-014-0294-y

Recommendations

• Spiking neurons and the induction of finite state machines.
• Automated verification of stochastic spiking neural P systems
• SIMULATING LARGE NEURAL ASSEMBLIES OF UNRELIABLE COMPONENTS
• Modelling and verification of weighted spiking neural systems
• A FINITE AUTOMATA MODEL OF SPIKING-BURSTING NEURONS

zbMATH Keywords

model checkingneuronal networksbackpropagationSPINcognitive neurosciencePROMELAvisual attentionAIcommunicating automatageneralized recirculation algorithmplasticity-stability dilemmaUppaal

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Neural networks for/in biological studies, artificial life and related topics (92B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Verification-guided modelling of salience and cognitive load
• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
• Title not available (Why is that?)
• Symbolic model checking for real-time systems
• Global robust stability of delayed neural networks
• Verification, Model Checking, and Abstract Interpretation
• Title not available (Why is that?)
• Adaptive pattern classification and universal recoding. I: Parallel development and coding of neural feature detectors
• A formal framework for viewpoint consistency
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Modelling and analysing neural networks using a hybrid process algebra
• Modelling and verification of weighted spiking neural systems
• Computer modeling in neuroscience: from imperative to declarative programming. Maude modeling in neuroscience.
• Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems
• Fundamentals of mathematical modeling of cognitive digital automata
• Pattern computation in neural communication systems
• The Darwin brain-based automata: synthetic neural models and real-world devices

Uses Software

• LOTOS
• SPIN
• Uppaal

This page was built for publication: Analysing neurobiological models using communicating automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736844)