Compact Hardware Synthesis of Stochastic Spiking Neural Networks
Sign Up to like & getrecommendations! Published in 2019 at "International journal of neural systems"
DOI: 10.1142/s0129065719500047
Abstract: Spiking neural networks (SNN) are able to emulate real neural behavior with high confidence due to their bio-inspired nature. Many designs have been proposed for the implementation of SNN in hardware, although the realization of… read more here.
Keywords: compact hardware; stochastic spiking; neural networks; synthesis stochastic ... See more keywords
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Control Systems Letters"
DOI: 10.48550/arxiv.2203.05903
Abstract: Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, however, existing methods are unable to synthesize complex behaviors… read more here.
Keywords: dynamic models; control; formal control; control synthesis ... See more keywords