Open AccessBook
Algebraic Structure Theory of Sequential Machines
Reads0
Chats0
About:
The article was published on 1966-01-01 and is currently open access. It has received 571 citations till now. The article focuses on the topics: Algebraic structure.read more
Citations
More filters
Proceedings ArticleDOI
Nonlinear Model Decomposition for Fault Detection and Isolation System Design
TL;DR: The structural decomposition presented here is achieved through special mathematical tools, namely the algebra of functions, which are presented and the computational aspects are deeply investigated.
Proceedings ArticleDOI
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study
Johannes Kloos,Robert Eschbach +1 more
TL;DR: An approach based on DSLs, compositional construction of Mealy machines and a proof technique are demonstrated as a solution to three problems of model-based risk-oriented testing on testing a highly con¿gurable, safety-critical system from the railway domain.
Journal ArticleDOI
Realization of Stochastic Automata
H.N. El-Ghoroury,S.C. Gupta +1 more
TL;DR: Using the convex combination of random binary variables, stochastic vectors and stoChastic matrices, the realization of stochastics automata as randomly fed deterministic automata is systematically realized.
Proceedings ArticleDOI
Identification of structured automata for test evaluation
K.El. Maadani,J.-C. Geffroy +1 more
TL;DR: Presents an original approach to the evaluation of test sequences applied to sequential circuits represented by structured-functional models based on formal identification of the internal modules of the circuit studied.
Journal ArticleDOI
Global linearization approach to nonlinear control systems: a brief tutorial overview
TL;DR: An algebraic approach based on differential 1-forms, developed for the study of nonlinear control systems, is described and comment on the necessary assumptions made, and the effectiveness and limitations of the approach are demonstrated.