Results 31 to 40 of about 57,997 (153)
Differential Dynamic Logic for Hybrid Systems
Journal of Automated Reasoning, 2008 AbstractHybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce a dynamic logic for hybrid ...
openaire +1 more source
Parametric Inequalities for s-Convex Stochastic Processes via Caputo Fractional Derivatives
AxiomsThis paper establishes a general parametric integral identity involving (n+1)-times differentiable stochastic processes, formulated entirely in terms of stochastic k-Caputo fractional derivatives.
Ymnah Alruwaily +4 more
doaj +1 more source
Доповiдi Нацiональної академiї наук УкраїниThe paper observes the similarity between the stochastic optimal control over discrete dynamical systems and the lear ning multilayer neural networks. It focuses on contemporary deep networks with nonconvex nonsmooth loss and activation functions.
V.I. Norkin
doaj +1 more source
Time-varying Projected Dynamical Systems with Applications to Feedback Optimization of Power Systems
, 2018 This paper is concerned with the study of continuous-time, non-smooth dynamical systems which arise in the context of time-varying non-convex optimization problems, as for example the feedback-based optimization of power systems. We generalize the notion
Bolognani, Saverio +4 more
core +1 more source
Physical Review ResearchIdentifying nonlinear dynamical systems characterized by nonlinear parameters presents significant challenges in deriving mathematical models that enhance understanding of physical phenomena.
Siva Viknesh +3 more
doaj +1 more source
Sub-Riemannian geometry of non-differentiable bundles [PDF]
, 2018 We show that the Chow`s Theorem and an analogue of the Ball-Box Theorem from smooth Sub-Riemannian geometry holds true for a class of non-differentiable tangent subbundles that satisfy a geometric condition. In the final section of the paper we also give
Türeli, S
core
Locally conformal symplectic manifolds
International Journal of Mathematics and Mathematical Sciences, 1985 A locally conformal symplectic (l. c. s.) manifold is a pair (M2n,Ω) where M2n(n>1) is a connected differentiable manifold, and Ω a nondegenerate 2-form on M such that M=⋃αUα (Uα- open subsets). Ω/Uα=eσαΩα, σα:Uα→ℝ, dΩα=0.
Izu Vaisman
doaj +1 more source
Chaos Theory and Applications, 2023 Chaos, comprehended characteristically, is the mathematical property of a dynamical system which is a deterministic mathematical model in which time can be either continuous or discrete as a variable.
Dumitru Baleanu, Yeliz Karaca
doaj
Fixed-Time Stability, Uniform Strong Dissipativity, and Stability of Nonlinear Feedback Systems
MathematicsIn this paper, we develop new necessary and sufficient Lyapunov conditions for fixed-time stability that refine the classical fixed-time stability results presented in the literature by providing an optimized estimate of the settling time bound that is ...
Wassim M. Haddad +2 more
doaj +1 more source
On automorphism groups of Toeplitz subshifts
Discrete Analysis, 2017 On automorphism groups of Toeplitz subshifts, Discrete Analysis 2017:11, 19 pp. A discrete dynamical system is a space $X$ with some kind of structure, together with a map $\sigma\colon X\to X$ that preserves the structure.
Sebastian Donoso +3 more
doaj +1 more source