@article{bergonzi_quantization-based_2024,

title = {Quantization-based simulation of spiking neurons: theoretical properties and performance analysis},

author = {Mariana Bergonzi and Joaquín Fernández and Rodrigo Castro and Alexandre Muzy and Ernesto Kofman},

url = {https://doi.org/10.1080/17477778.2023.2284143},

doi = {10.1080/17477778.2023.2284143},

issn = {1747-7778},

year  = {2024},

date = {2024-01-01},

urldate = {2025-07-01},

journal = {Journal of Simulation},

volume = {18},

number = {5},

pages = {789–812},

abstract = {In this work we present an exhaustive analysis of the use of Quantized State Systems (QSS) algorithms for the discrete event simulation of Leaky Integrate and Fire models of spiking neurons. Making use of some properties of these algorithms, we first derive theoretical error bounds for the sub-threshold dynamics as well as estimates of the computational costs as a function of the accuracy settings. Then, we corroborate those results on different simulation experiments, where we also study how these algorithms scale with the size of the network and its connectivity. The results obtained show that the QSS algorithms, without any type of optimisation or specialisation, obtain accurate results with low computational costs even in large networks with a high level of connectivity.},

note = {Publisher: Taylor & Francis 

_eprint: https://doi.org/10.1080/17477778.2023.2284143},

keywords = {discontinuity handling, event-driven simulation, Hybrid systems, Quantized State Systems, spiking neural networks},

pubstate = {published},

tppubtype = {article}

}

@article{pecker-marcosig_hybrid_2017,

title = {Hybrid adaptive control for UAV data collection: A simulation-based design to trade-off resources between stability and communication},

author = {Ezequiel Pecker-Marcosig and Juan I. Giribet and Rodrigo Castro},

doi = {10.1109/WSC.2017.8247909},

issn = {08917736},

year  = {2017},

date = {2017-01-01},

journal = {Proceedings - Winter Simulation Conference},

pages = {1704–1715},

abstract = {We present the design of a hybrid control system for an Unmanned Aerial Vehicle (UAV) used for data collection from wireless sensors. We postulate a restrictive scenario where a low-cost processor is in charge of both flying the UAV and resolving data communication. This raises the need for safe trade-off of computing resources between stability and throughput, adapting to unpredictable environment changes. We present a strategy where a supervisory controller implements an adaptive relaxation of the sampling period of the UAV regulation controller to favor communication tasks. To guarantee stability under period switching we update the discrete-time control law with suitable gains. The resulting system comprises continuous, discrete-time and discrete-event dynamics, including event-based adaptation of the discrete-time controller. We show how the DEVS modeling and simulation framework can support a full simulation-based design, verification and validation process, featuring a seamless composition of the underlying hybrid domains.},

note = {ISBN: 9781538634288 

Publisher: Institute of Electrical and Electronics Engineers Inc.},

keywords = {DEVS, Hybrid systems, QSS, UAV},

pubstate = {published},

tppubtype = {article}

}

@article{castro_devs-based_2009,

title = {A DEVS-based end-to-end methodology for hybrid control of embedded networking systems},

author = {Rodrigo Castro and Ernesto Kofman and Gabriel Wainer},

doi = {10.3182/20090916-3-ES-3003.00014},

year  = {2009},

date = {2009-01-01},

pages = {74–79},

abstract = {We present a formal Modeling and Simulation (M&S) methodology for hybrid control of networking systems. The method is used for analysis, design and implementation of Quality of Service (QoS) control systems in Network Processor (NP)-based applications. We apply continuous Control Systems Theory to enforce Admission Control strategies into discrete-event network traffic. This represents a hybrid system modeling problem, that has to be treated formally to guarantee the applicability of the continuous control theoretical results into discrete-event systems. We show that using DEVS (Discrete Event System Specification), in combination with Quantized State Systems (QSS) numerical methods for the approximation of continuous systems, offers numerous advantages: these frameworks provide the means to accurately analyze and design hybrid models for Admission Control and they can be seamlessly integrated into a unified formal framework. It also enables the transition between the DEVS-based simulation and the deployment of the obtained hybrid models into the target networking platform.},

note = {ISBN: 9783902661593},

keywords = {Admission Control, DEVS, Embedded networking, Hybrid systems},

pubstate = {published},

tppubtype = {article}

}