Finite-State Independence
Sign Up to like & getrecommendations! Published in 2017 at "Theory of Computing Systems"
DOI: 10.1007/s00224-017-9821-6
Abstract: In this work we introduce a notion of independence based on finite-state automata: two infinite words are independent if no one helps to compress the other using one-to-one finite-state transducers with auxiliary input. We prove… read more here.
Keywords: state; finite state; state independence;
Aggregation-based minimization of finite state automata
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-019-00363-5
Abstract: We present a minimization algorithm for non-deterministic finite state automata that finds and merges bisimulation-equivalent states. The bisimulation relation is computed through partition aggregation, in contrast to existing algorithms that use partition refinement. The algorithm… read more here.
Keywords: state; aggregation; algorithm; state automata ... See more keywords
Characteristic invariants in Hennessy–Milner logic
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00376-5
Abstract: In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$ φ 0 and a characteristic invariant $$\upchi _{_I}$$ χ I for an… read more here.
Keywords: state; milner logic; hennessy milner; finite state ... See more keywords
Evolutionary design method of probabilistic finite state machine for swarm robots aggregation
Sign Up to like & getrecommendations! Published in 2018 at "Artificial Life and Robotics"
DOI: 10.1007/s10015-018-0496-0
Abstract: This paper proposes to use evolutionary computations to determine the parameters of probabilistic finite state machine controllers for swarm robots. The robots are evolved to perform an aggregation task. This problem was formulated as an… read more here.
Keywords: finite state; swarm robots; probabilistic finite; state machine ... See more keywords
Structural Classification of Methods for Synthesis of a Microprogram Finite-State Machine with Datapath of Transitions
Sign Up to like & getrecommendations! Published in 2019 at "Cybernetics and Systems Analysis"
DOI: 10.1007/s10559-019-00121-y
Abstract: The authors propose to represent methods of synthesis of a microprogram finite-state machine with datapath of transitions in the form of a structure whose blocks correspond to elements of a mathematical model of the finite-state… read more here.
Keywords: synthesis microprogram; methods synthesis; state machine; state ... See more keywords
Information Confidentiality Using Quantum Spinning, Rotation and Finite State Machine
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Theoretical Physics"
DOI: 10.1007/s10773-018-3872-6
Abstract: Traditional and modern cryptosystems purely rely on mathematics and their algorithms based on fundamental process of factoring large integers into their primes, which is said to be intractable. But this type of cryptography vulnerable to… read more here.
Keywords: quantum; information; quantum spinning; spinning rotation ... See more keywords
Contractive Approximations in Risk-Sensitive Average Semi-Markov Decision Chains on a Finite State Space
Sign Up to like & getrecommendations! Published in 2022 at "Journal of Optimization Theory and Applications"
DOI: 10.1007/s10957-021-01968-y
Abstract: This work concerns with semi-Markov decision chains evolving on a finite state space. The controller has a positive and constant risk sensitivity coefficient, and the performance of a control policy is measured by the risk-sensitive… read more here.
Keywords: markov decision; finite state; risk sensitive; semi markov ... See more keywords
Enhanced fuzzy finite state machine for human activity modelling and recognition
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Ambient Intelligence and Humanized Computing"
DOI: 10.1007/s12652-020-01917-z
Abstract: A challenging key aspect of modelling and recognising human activity is to design a model that can deal with the uncertainty in human behaviour. Several machine learning and deep learning techniques are employed to model… read more here.
Keywords: machine; fuzzy finite; enhanced fuzzy; human activity ... See more keywords
Space-time accurate finite-state dynamic inflow modeling for aeromechanics of rotorcraft
Sign Up to like & getrecommendations! Published in 2019 at "Aerospace Science and Technology"
DOI: 10.1016/j.ast.2019.105454
Abstract: Abstract Wake inflow modeling is a crucial issue in the development of efficient and high-fidelity simulation tools for rotorcraft flight dynamics and aeroelasticity. This paper proposes a space-time accurate, finite-state, dynamic wake inflow modeling suitable… read more here.
Keywords: finite state; space time; inflow modeling; wake inflow ... See more keywords
An innovative finite state automata based approach for fault direction estimation in transmission lines
Sign Up to like & getrecommendations! Published in 2017 at "Measurement"
DOI: 10.1016/j.measurement.2016.09.046
Abstract: Abstract In this work finite state automata or finite state machine based directional protection scheme is proposed for transmission lines. Phase angle of positive sequence current is used as input to finite state automata based… read more here.
Keywords: finite state; fault; state automata; fault direction ... See more keywords
The survival probability of critical and subcritical branching processes in finite state space Markovian environment
Sign Up to like & getrecommendations! Published in 2019 at "Stochastic Processes and their Applications"
DOI: 10.1016/j.spa.2018.07.016
Abstract: Let $(Z_n)_{n\geqslant 0}$ be a branching process in a random environment defined by a Markov chain $(X_n)_{n\geqslant 0}$ with values in a finite state space $\mathbb X$ starting at $X_0=i \in\mathbb X$. We extend from… read more here.
Keywords: branching processes; finite state; state space; environment ... See more keywords