Results 81 to 90 of about 9,817,544 (211)
Verification of the observer property in discrete event systems [PDF]
The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer
Pena, Patricia N. +5 more
core +1 more source
Modeling, stabilization, and identification processes are significant stages in the process of developing knowledge about chaotic dynamical systems which entail the effective prediction depending on the degree of uncertainty toleration in the forecast ...
Shaymaa Hussain +3 more
doaj +1 more source
Bifurcation and stability in nonlinear discrete systems
This book focuses on bifurcation and stability in nonlinear discrete systems, including monotonic and oscillatory stability. It presents the local monotonic and oscillatory stability and bifurcation of period-1 fixed-points on a specific eigenvector ...
Luo, Albert C J
core +1 more source
Stochastic analysis & discrete quantum systems
We explore the connections between the theories of stochastic analysis and discrete quantum mechanical systems. Naturally these connections include the Feynman-Kac formula, and the Cameron-Martin-Girsanov theorem.
Anastasia Doikou +2 more
doaj +1 more source
Simulation of discrete conveyor systems [PDF]
Most of the conveyors that appear in simulation models tend to be fairly simplistic. The conveyor only provides a means of moving an object from one place to another. It is driven by a single speed motor and very little, if any, control logic is applied during operation. A number of objects or products can be conveyed in this manner with no difficulty.
openaire +2 more sources
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis [PDF]
This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from previous work, so that better ...
Fabian, Martin, +4 more
core +1 more source
Lagrangian multiform structure of discrete and semi-discrete KP systems [PDF]
A variational structure for the potential AKP system is established using the novel formalism of a Lagrangian multiforms. The structure comprises not only the fully discrete equation on the 3D lattice, but also its semi-discrete variants including ...
Frank W Nijhoff
doaj +1 more source
Discrete dynamics of complex systems
This article extends the slaving principle of synergetics to processes with discrete time steps. Starting point is a set of nonlinear difference equations which contain multiplicative noise and which refer to multidimensional state vectors.
Hermann Haken
doaj +1 more source
Computation of H-infinity norm of linear discrete-time periodic systems [PDF]
We propose an efficient an numerically reliable procedure for the computation of H-infinity norm of discrete-time linear periodic systems. The new procedure is general being applicable to both standard as well as descriptor periodic systems with time ...
Varga, Andreas
core
New Tests for the Stability of 2-D Discrete Systems Based on Sufficient Conditions
This paper presents new stability tests for two-dimensional linear shift-invariant discrete systems. The tests are based on the stability criterion for 2-D discrete systems presented by Murray and Delsarte et al.
Apostolos Kanellakis, Ayman Tawfik
doaj +1 more source

