Analysing neurobiological models using communicating automata

DOI10.1007/S00165-014-0294-YMaRDI QIDQ736844zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1728659 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 5949231 (Why is no real title available?)
• scientific article; zbMATH DE number 1951185 (Why is no real title available?)
• scientific article; zbMATH DE number 1928583 (Why is no real title available?)
• scientific article; zbMATH DE number 1911276 (Why is no real title available?)
• scientific article; zbMATH DE number 820521 (Why is no real title available?)
• A formal framework for viewpoint consistency
• Adaptive pattern classification and universal recoding. I: Parallel development and coding of neural feature detectors
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• Formal Methods for the Design of Real-Time Systems
• Global robust stability of delayed neural networks
• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
• Symbolic model checking for real-time systems
• Verification, Model Checking, and Abstract Interpretation
• Verification-guided modelling of salience and cognitive load

Cited in

(7)

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

Describes a project that uses

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)