scientific article; zbMATH DE number 3254909

Cited in

(76)

Testing from a stochastic timed system with a fault model
Improving performance in flexible manufacturing systems
Applications of automata and graphs: Labeling-operators in Hilbert space. I
An axiom system for sequence-based specification
Resolution-based approach to compatibility analysis of interacting automata
Transition matrices in the measurement and control of synchronous sequential machines
The synchronization problem in protocol testing and its complexity
Fuzzy neural networks
Checking experiments for sequential machines
Finite automata and S-R models
On deriving test suites for nondeterministic finite state machines with time-outs
FSM-based testing from user defined faults adapted to incremental and mutation testing
Polynomial complete problems in automata theory
Establishing certain bounds concerning finite automata
ptype: probabilistic type inference
Koopman operator approach for computing structure of solutions and observability of nonlinear dynamical systems over finite fields
The semicircular law of free probability as noncommutative multivariable operator theory
Adaptive experiments for state identification in finite state machines with timeouts
Analysis of periodic linear systems over finite fields with and without Floquet transform
Developing a software system for automata-based code generation
Checking sequences for distributed test architectures
Methods of constructing universal tests for finite-state automata
EURACE: A massively parallel agent-based model of the European economy
Random matrices and graphs
Fuzzy star functions, probabilistic automata, and their approximation by non-probabilistic automata
Maximin, Minimax, and composite sequential machines
Time-varying sequential machines
Time-varying linear sequential machines. I
Zur Theorie endlicher Automaten
Transition graphs of affine transformation on vector spaces over finite fields
Asynchronous automata
Input-output modeling and identification of linear automata
Monadic Sequence Testing and Explicit Test-Refinements
Towards deriving test sequences by model checking
Model partitions and compact test case suites
Hardness of deriving invertible sequences from finite state machines
On the complexity of existence of homing sequences for nondeterministic finite state machines
Applications of automata and graphs: Labeling operators in Hilbert space. II.
Evaluation and Comparison of Inferred Regular Grammars
Minimizing Coordination Channels in Distributed Testing
MODIFIED TRANSITION MATRIX AND FAULT TESTING IN SEQUENTIAL LOGIC CIRCUITS UNDER RANDOM STIMULI WITH A SPECIFIED MEASURE OF CONFIDENCE
The control problem for a cascade coupling of automata
Ring testing of discrete devices implementing polynomtal forms
Estimation of the length of the shortest diagnostic word for a finite automaton
Comparative analysis of automata with a common input alphabet
PROBABILISTIC FINITE STATE SYSTEM IDENTIFICATION
Simplified analysis of finite automata
Fault detection in cascaded automata
Weak equivalence of automata
Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs
A study on the extended unique input/output sequence
Hardness and inapproximability of minimizing adaptive distinguishing sequences
On special properties of a composition of automata
Deriving Homing Sequences for Finite State Machines with Timed Guards
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
Reversion of outputs of fuzzy discrete systems
Adaptive tests derivation for nondeterministic automata
CRYPTANALYTIC CONCEPT OF FINITE AUTOMATON INVERTIBILITY WITH FINITE DELAY
On the regularity of sets of multi-accepted strings of a non-deterministic finite automaton
Fuzzy linear automata testing
Products of Automata and the Problem of Covering
Analysis and synthesis of abstract automata
Periodically externally hereditary permutational automata
Finite synchronous automata
Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices
Complexity of automatic sequences
On homomorphic images of transition graphs
A survey on observability of Boolean control networks
scientific article; zbMATH DE number 7723593 (Why is no real title available?)
Lower bounds on lengths of checking sequences
On linear representation, complexity and inversion of maps over finite fields
Mathematical analysis for interacting multi functional extreme learning machines
Mathematical models of functional extreme learning machines: operator-algebraic and free-probabilistic approaches
Experiments with fuzzy finite state machines
Experiments with nonstationary bilinear finite state machines
Bounded sequence testing from deterministic finite state machines

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5541342)