Results 11 to 20 of about 416,460 (269)
ITM Web of ConferencesThe preface provides an overview of the III International Workshop “Hybrid Methods of Modeling and Optimization in Complex Systems” (HMMOCS-III 2024), held from December 2-4, 2024, in Krasnoyarsk, Russian Federation.
Stanimirović Predrag +4 more
doaj +1 more source
On the Composition of Hybrid Systems [PDF]
, 1998 Concurrent Systems can be usually specified as Systems of communicating processes obtained by composing sequential processes by means of binary parallel composition Operators. The latter express process interaction in terms of action composition. Their semantics is usually defined by two types of rules. —Synchronization rules that specify how an action
Bornot, S., Sifakis, J.
openaire +1 more source
On the Convergence Rate of Quasi-Newton Methods on Strongly Convex Functions with Lipschitz Gradient
Mathematics, 2023 The main results of the study of the convergence rate of quasi-Newton minimization methods were obtained under the assumption that the method operates in the region of the extremum of the function, where there is a stable quadratic representation of the ...
Vladimir Krutikov +3 more
doaj +1 more source
Theoretical Computer Science, 2003 In this paper we investigate the use of action systems with differential actions in the specification of hybrid systems. As the main contribution we generalize the definition of a differential action, allowing the use of arbitrary relations over model variables and their time derivatives in modelling continuous-time dynamics.
Rönnkö, M. +2 more
openaire +3 more sources
Engineering Science and Technology, an International Journal, 2018 A field programmable gate array (FPGA) controlled four-leg distribution static compensator (FL-DSTATCOM) has been implemented to achieve harmonic alleviation, supply current balancing, compensation of reactive power and current flow in the neutral ...
Azhagesan Dheepanchakkravarthy +4 more
doaj +1 more source
Algorithms, 2023 A number of real-world problems of automatic grouping of objects or clustering require a reasonable solution and the possibility of interpreting the result. More specific is the problem of identifying homogeneous subgroups of objects.
Igor Masich +5 more
doaj +1 more source
Journal of Computer and System Sciences, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LANOTTE, RUGGERO, MAGGIOLO SCHETTINI A.
openaire +3 more sources
A Hybrid Denotational Semantics for Hybrid Systems [PDF]
, 2008 In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded applications. The discrete part is modeled by a program written in an extension of an imperative language and the continuous part is modeled by differential equations.
Olivier Bouissou, Matthieu Martel
openaire +1 more source
Overview of the II International Workshop “Hybrid methods of modeling and optimization in complex systems” (HMMOCS-II 2023) [PDF]
ITM Web of ConferencesThe Overview is devoted to the main results of the II International Workshop “Hybrid methods of modeling and optimization in complex systems” (HMMOCS-II 2023) which was held in Krasnoyarsk, Russia on 28-30 November 2023.
Stanimirović Predrag +2 more
doaj +1 more source
Properties of the Quadratic Transformation of Dual Variables
Algorithms, 2023 We investigate a solution of a convex programming problem with a strongly convex objective function based on the dual approach. A dual optimization problem has constraints on the positivity of variables.
Vladimir Krutikov +5 more
doaj +1 more source