Results 51 to 60 of about 9,817,544 (211)
Modular nonblocking verification using conflict equivalence [PDF]
, 2006 This paper proposes a modular approach to verifying whether a large discrete event system is nonconflicting. The new approach avoids computing the synchronous product of a large set of finite-state machines.
Malik, Robi, Flordal, Hugo, Malik, Malik
core +1 more source
Nonlinear light propagation in fs laser-written waveguide arrays
MATEC Web of Conferences, 2013 We report on recent achievements in the field of nonlinear light propagation in fs laser-written waveguide lattices. Particular emphasis is thereby given on discrete solitons in such systems.
Szameit A., Nolte S.
doaj +1 more source
Integrated fault estimation and accommodation design for discrete-time Takagi-Sugeno fuzzy systems with actuator faults [PDF]
, 2011 This paper addresses the problem of integrated robust fault estimation (FE) and accommodation for discrete-time Takagi–Sugeno (T–S) fuzzy systems. First, a multiconstrained reduced-order FE observer (RFEO) is proposed to achieve FE for discrete-time ...
Zhang, Ke +8 more
core +1 more source
Nonlocal Improvement of Controls in Nonlinear Discrete Systems
Известия Иркутского государственного университета: Серия "Математика", 2017 A nonlinear optimal control problem for discrete system with both control function and control parameters (parameters are at the system's right side and at the initial condition) is considered.
O. V. Morzhin
doaj +1 more source
, 2005 Input-testate stability (ISS) of a parameterized familyof discrete-time time-varying nonlinear systems isinvestigated. A converse Lyapunov theorem for such systems is developed.
Laila, Dina Shona +2 more
core +1 more source
Stochastic stability and stabilization of discrete-time singular Markovian jump systems with partially unknown transition probabilities [PDF]
, 2014 This paper considers the stochastic stability and stabilization of discrete-time singular Markovian jump systems with partially unknown transition probabilities.
Qingling Zhang +7 more
core +1 more source
On the Kinks in Discrete Systems
MathematicsWe use perturbation theory to study kinks in nonlinear Klein–Gordon (ϕ4 and sine-Gordon) chains and in a discrete series-connected Josephson transmission line. The expansion parameter is the ratio of the lattice period to the kink width.
Eugene Kogan
doaj +1 more source
Learning the language of QCD jets with transformers
Journal of High Energy Physics, 2023 Transformers have become the primary architecture for natural language processing. In this study, we explore their use for auto-regressive density estimation in high-energy jet physics, which involves working with a high-dimensional space.
Thorben Finke +3 more
doaj +1 more source
Discrete abstractions of hybrid systems [PDF]
Proceedings of the IEEE, 2000 A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful to abstract a system in a way that preserves the properties being analysed while hiding the details that are of no interest.
Rajeev Alur +3 more
openaire +3 more sources
Discrete-event systems subject to unknown sensor attacks
, 2022 This work is set in the context of supervisory control of discrete-event systems under partial observation. Attackers that are able to insert or erase occurrences of particular output symbols can tamper with the supervisor’s observation and by doing so ...
Michel Rodrigo das Chagas Alves +2 more
core +1 more source