Results 21 to 30 of about 32,246 (268)
Energies, 2023 This paper presents a novel approach to tackle the problem of optimal neutral wire grounding in bipolar DC networks including asymmetric loading, which naturally involves mixed-integer nonlinear programming (MINLP) and is challenging to solve. This MINLP
Walter Gil-González +2 more
doaj +1 more source
Recursive Abstractions for Parameterized Systems [PDF]
, 2009 We consider a language of recursively defined formulas about arrays of variables, suitable for specifying safety properties of parameterized systems. We then present an abstract interpretation framework which translates a paramerized system as a symbolic transition system which propagates such formulas as abstractions of underlying concrete states. The
Joxan Jaffar, Andrew E. Santosa
openaire +1 more source
Finite-Time Stabilization of Homogeneous Non-Lipschitz Systems
Mathematics, 2016 This paper focuses on the problem of finite-time stabilization of homogeneous, non-Lipschitz systems with dilations. A key contribution of this paper is the design of a virtual recursive Hölder, non-Lipschitz state feedback, which renders the non ...
Nawel Khelil, Martin J.-D. Otis
doaj +1 more source
IEEE Access, 2019 This paper considers the parameter identification for a class of nonlinear stochastic systems with colored noise. We filter the input-output data by using an estimated noise transfer function and obtain two identification models, one containing the ...
Longjin Wang, Yan He
doaj +1 more source
IET Signal Processing, 2021 Joint Cramér‐Rao lower bound (JCRLB) is very useful for the performance evaluation of joint state and parameter estimation (JSPE) of non‐linear systems, in which the current measurement only depends on the current state.
Xianqing Li +2 more
doaj +1 more source
Test generation from recursive tile systems [PDF]
Software Testing, Verification and Reliability, 2012 SUMMARYThis paper explores the generation of conformance test cases for recursive tile systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion and is very similar to other models like pushdown automata, hyperedge replacement grammars or recursive state machines.
Chédor, Sébastien +2 more
openaire +5 more sources
The Recursive Forward Dynamics of Flexible Mechanical Systems
MATEC Web of Conferences, 2016 Lie groups and Lie algebras are used to study the recursive dynamics of flexible multi-body systems. First the adjoint transformations and adjoint operators of Lie groups and Lie algebras are discussed.
Shao Bing, Yuan Entao
doaj +1 more source
On the Semantic Expressiveness of Iso- and Equi-Recursive Types [PDF]
Logical Methods in Computer ScienceRecursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive data-types (e.g., lists).
Dominique Devriese +2 more
doaj +1 more source
Geometry of the Recursion Operators for the GMV System
Journal of Nonlinear Mathematical Physics, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexandar Yanovski, VILASI, Gaetano
openaire +1 more source
J. Comput. Syst. Sci., 1979 AbstractThe class of ETOL systems is investigated from a structural point of view. The effect of several kinds of recursiveness of symbols is studied and some structural characterizations of known subclasses of LETOL are established.
Grzegorz Rozenberg, Dirk Vermeir
openaire +3 more sources