Logo del repository
  1. Home
 
Opzioni

Hybrid Automata and ε-Analysis on a Neural Oscillator

CASAGRANDE, ALBERTO
•
Dreossi T.
•
Piazza C.
2012
  • conference object

Abstract
In this paper we propose a hybrid model of a neural oscillator, obtained by partially discretizing a well-known continuous model. Our construction points out that in this case the standard techniques, based on replacing sigmoids with step functions, is not satisfactory. Then, we study the hybrid model through both symbolic methods and approximation techniques. This last analysis, in particular, allows us to show the differences between the considered approximation approaches. Finally, we focus on approximations via e-semantics, proving how these can be computed in practice.
DOI
10.4204/EPTCS.92.5
Archivio
http://hdl.handle.net/11368/2618035
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84890057303
Diritti
metadata only access
Soggetti
  • hybrid automata

  • model checking

  • approximate semantics...

Visualizzazioni
6
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback