On the tuning of the computation capability of spiking neural membrane systems with communication on request
Spiking neural P systems (abbreviated as SNP systems) are models of computation that
mimic the behavior of biological neurons. The spiking neural P systems with communication …
mimic the behavior of biological neurons. The spiking neural P systems with communication …
Asynchronous spiking neural P systems with local synchronization of rules
T Wu, L Zhang, Q Lyu, Y Jin - Information Sciences, 2022 - Elsevier
Asynchronous spiking neural P (AsynSN P) systems are a class of distributed and parallel
computational models working in a non-synchronized mode, inspired by the mechanism of …
computational models working in a non-synchronized mode, inspired by the mechanism of …
Finite state machine based modelling of discrete control algorithm in LAD diagram language with use of new generation engineering software
In the paper there is described a process of modeling the discrete control system for a
chemical reactor. In the design of the control algorithm there was used Finite State Machine …
chemical reactor. In the design of the control algorithm there was used Finite State Machine …
Universality of Büchi automata: analysis with graph neural networks
C Stammet, U Ultes-Nitsche, A Fischer - IEEE Access, 2023 - ieeexplore.ieee.org
The universality check of Büchi automata is a foundational problem in automata-based
formal verification, closely related to the complementation problem, and is known to be …
formal verification, closely related to the complementation problem, and is known to be …
Learning an explainable trajectory generator using the automaton generative network (AGN)
Symbolic reasoning is a key component for enabling practical use of data-driven planners in
autonomous driving. In that context, deterministic finite state automata (DFA) are often used …
autonomous driving. In that context, deterministic finite state automata (DFA) are often used …
[PDF][PDF] Algorithm design for deterministic finite automata for a given regular language with prefix strings
R Singh, G Goyal - Journal of Scientific Research, 2022 - publications.scrs.in
The field of automata theory is one of the most important areas in the field of Computer
Science and Engineering that deals with how efficiently a problem can be solved on a model …
Science and Engineering that deals with how efficiently a problem can be solved on a model …
DeepDFA: Automata Learning through Neural Probabilistic Relaxations
E Umili, R Capobianco - ECAI 2024, 2024 - ebooks.iospress.nl
In this work, we introduce DeepDFA, a novel approach to identifying Deterministic Finite
Automata (DFAs) from traces, harnessing a differentiable yet discrete model. Inspired by …
Automata (DFAs) from traces, harnessing a differentiable yet discrete model. Inspired by …
Analyzing B\" uchi Automata with Graph Neural Networks
C Stammet, P Dotti, U Ultes-Nitsche… - arXiv preprint arXiv …, 2022 - arxiv.org
B\" uchi Automata on infinite words present many interesting problems and are used
frequently in program verification and model checking. A lot of these problems on B\" uchi …
frequently in program verification and model checking. A lot of these problems on B\" uchi …
SYN Flood DoS Detection System Using Time Dependent Finite Automata
N AlDossary, S AlQahtani, R Alzaher - International Journal of …, 2023 - koreascience.kr
Network intrusion refers to any unauthorized penetration or activity on a computer network.
This upsets the confidentiality, integrity, and availability of the network system. One of the …
This upsets the confidentiality, integrity, and availability of the network system. One of the …