Merging States and Synchronization Problem
نویسنده
چکیده
In this paper we introduce the notion of merging states and merging systems and we use it for the classification of finite deterministic automata without initial and final states. We investigate the dependencies between the structure of an automaton described by merging systems and maximal lengths of minimal synchronizing words for automata which structures belong to the given class of merging systems. Numerical results for certain classes of automata are presented. We also give some properties of merging systems themselves. The work is motivated by the famous, unsolved Černý Conjecture. The aim of this paper is to propose the use of merging systems in the research on the Conjecture. AMS classification: 68Q45.
منابع مشابه
Synchronization analysis of complex dynamical networks with hybrid coupling with application to Chua’s circuit
Complex dynamic networks have been considered by researchers for their applications in modeling and analyzing many engineering issues. These networks are composed of interconnected nodes and exhibit complex behaviors that are resulted from interactions between these nodes. Synchronization, which is the concept of coordinated behavior between nodes, is the most interested behavior in these netwo...
متن کاملEfficient Synchronization of State-based CRDTs
Data consistency often needs to be sacrificed in order to ensure high-availability in large scale distributed systems. Conflict-free Replicated Data Types (CRDTs) relax consistency by enabling query and update operations to be performed locally at any replica without synchronization. Consistency is achieved by background synchronization operations. In state-based CRDTs replicas synchronize by p...
متن کاملSynchronization for Complex Dynamic Networks with State and Coupling Time-Delays
This paper is concerned with the problem of synchronization for complex dynamic networks with state and coupling time-delays. Therefore, larger class and more complicated complex dynamic networks can be considered for the synchronization problem. Based on the Lyapunov-Krasovskii functional, a delay-independent criterion is obtained and formulated in the form of linear matrix inequalities (LMIs)...
متن کاملAttitude Synchronization Control in Satellite Formation Flying in the Presence of States Measurement Errors
This paper presents a novel attitude synchronization framework for tracking control of multiple identical/heterogeneous satellites in formation flying with connected communication graph. The main contribution of the paper is considering sensors' measurement error to derive control gains. Moreover, the proposed strategy need no angular velocity communication. Nevertheless, the tracking synchroni...
متن کاملFinite Time Mix Synchronization of Delay Fractional-Order Chaotic Systems
Chaos synchronization of coupled fractional order differential equation is receiving increasing attention because of its potential applications in secure communications and control processing. The aim of this paper is synchronization between two identical or different delay fractional-order chaotic systems in finite time. At first, the predictor-corrector method is used to obtain the solutions ...
متن کامل