Modeling and analyzing spike timing dependent plasticity with linear hybrid automata

Kurzanzeige
dc.contributor.authorBey, Alina
dc.contributor.authorLeue, Stefan
dc.date.accessioned2012-06-27T07:42:32Zdeu
dc.date.available2012-06-27T07:42:32Zdeu
dc.date.issued2011deu
dc.description.abstractWe propose a model for synaptic plasticity according to the Spike Timing Dependent Plasticity (STDP) theory using Linear Hybrid Automata (LHA). We first present a compositional LHA model in which each component corresponds to some process in STDP. We then abstract this model into a monolithic LHA model in order to enable formal analysis using hybrid model checking. We discuss how the avail- ability of an LHA model as well as its formal analysis using the tool PHAVer can support a better understanding of the dynamics of STDP.eng
dc.description.versionpublished
dc.identifier.ppn367344084deu
dc.identifier.urihttp://kops.uni-konstanz.de/handle/123456789/19615
dc.language.isoengdeu
dc.legacy.dateIssued2012-06-27deu
dc.relation.ispartofseriesTechnical Report, Chair for Software Engineering, University of Konstanz ; soft-11-03deu
dc.rightsterms-of-usedeu
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/deu
dc.subject.ddc004deu
dc.titleModeling and analyzing spike timing dependent plasticity with linear hybrid automataeng
dc.typeWORKINGPAPERdeu
dspace.entity.typePublication
kops.citation.bibtex
@techreport{Bey2011Model-19615,
  year={2011},
  series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-03},
  title={Modeling and analyzing spike timing dependent plasticity with linear hybrid automata},
  author={Bey, Alina and Leue, Stefan}
}
kops.citation.iso690BEY, Alina, Stefan LEUE, 2011. Modeling and analyzing spike timing dependent plasticity with linear hybrid automatadeu
kops.citation.iso690BEY, Alina, Stefan LEUE, 2011. Modeling and analyzing spike timing dependent plasticity with linear hybrid automataeng
kops.citation.rdf
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/19615">
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Bey, Alina</dc:creator>
    <dc:language>eng</dc:language>
    <dc:creator>Leue, Stefan</dc:creator>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/19615"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:issued>2011</dcterms:issued>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-06-27T07:42:32Z</dc:date>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/19615/1/Leue_Modeling.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-06-27T07:42:32Z</dcterms:available>
    <dc:contributor>Bey, Alina</dc:contributor>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/19615/1/Leue_Modeling.pdf"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:title>Modeling and analyzing spike timing dependent plasticity with linear hybrid automata</dcterms:title>
    <dcterms:abstract xml:lang="eng">We propose a model for synaptic plasticity according to the Spike Timing Dependent Plasticity (STDP) theory using Linear Hybrid Automata (LHA). We first present a compositional LHA model in which each component corresponds to some process in STDP. We then abstract this model into a monolithic LHA model in order to enable formal analysis using hybrid model checking. We discuss how the avail- ability of an LHA model as well as its formal analysis using the tool PHAVer can support a better understanding of the dynamics of STDP.</dcterms:abstract>
    <dc:rights>terms-of-use</dc:rights>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
  </rdf:Description>
</rdf:RDF>
kops.description.openAccessopenaccessgreen
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-196156deu
kops.submitter.emailoleg.kozlov@uni-konstanz.dedeu
relation.isAuthorOfPublicationa8b78784-739d-4ec1-9ad6-7814a8f1cbf5
relation.isAuthorOfPublicationa0cf1380-ebf9-403b-a02e-6e97bae25ef6
relation.isAuthorOfPublication.latestForDiscoverya8b78784-739d-4ec1-9ad6-7814a8f1cbf5

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Leue_Modeling.pdf
Größe:
804.89 KB
Format:
Adobe Portable Document Format
Leue_Modeling.pdf
Leue_Modeling.pdfGröße: 804.89 KBDownloads: 107

Lizenzbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
license.txt
Größe:
1.92 KB
Format:
Plain Text
Beschreibung:
license.txt
license.txtGröße: 1.92 KBDownloads: 0

Sammlungen

Informatik und Informationswissenschaft: Publikationen