Back to Search
Start Over
Synchronizing Boolean networks asynchronously.
- Source :
-
Journal of Computer & System Sciences . Sep2023, Vol. 136, p249-279. 31p. - Publication Year :
- 2023
-
Abstract
- The asynchronous automaton of a Boolean network f : { 0 , 1 } n → { 0 , 1 } n , considered in many applications, is the finite deterministic automaton where the set of states is { 0 , 1 } n , the alphabet is [ n ] , and the action of letter i on a state x consists in either switching the i th component if f i (x) ≠ x i or doing nothing otherwise. In this paper, we ask for the existence of synchronizing words for this automaton, and their minimal length, when f is the and-net over an arc-signed digraph G on [ n ] : for every i ∈ [ n ] , f i (x) = 1 if and only if x j = 1 (x j ≠ 0) for every positive (negative) arc from j to i. Our main result is that if G is strongly connected and has no positive cycles, then either there exists a synchronizing word of length at most 10 (5 + 1) n or G is a cycle and there are no synchronizing words. We also give complexity results showing that the situation is much more complex if one of the two hypothesis made on G is removed. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ROBOTS
*ASYNCHRONOUS learning
*VOCABULARY
*HYPOTHESIS
*BOOLEAN networks
Subjects
Details
- Language :
- English
- ISSN :
- 00220000
- Volume :
- 136
- Database :
- Academic Search Index
- Journal :
- Journal of Computer & System Sciences
- Publication Type :
- Academic Journal
- Accession number :
- 163699490
- Full Text :
- https://doi.org/10.1016/j.jcss.2023.04.001