Results 21 to 30 of about 166,028,341 (301)
On the foundations of calculus of variations [PDF]
Transactions of the American Mathematical Society, 1941 The subject of this paper will be variational problems fF(x, t)dt = min in parameter form with fixed endpoints. The existence of rectifiable minimizing arcs has been proved under exceedingly general conditions. However, as soon as one wants to establish differentiability properties of the solutions one uses the Euler equations and must therefore assume
Busemann, Herbert, Mayer, Walther
openaire +2 more sources
Optimal Control Theory: Introduction to the Special Issue
Games, 2021 Optimal control theory is a modern extension of the classical calculus of variations [...]
Ellina Grigorieva
doaj +1 more source
Complex calculus of variations [PDF]
, 2003 summary:In this article, we present a detailed study of the complex calculus of variations introduced in [M. Gondran: Calcul des variations complexe et solutions explicites d’équations d’Hamilton–Jacobi complexes. C.R. Acad. Sci., Paris 2001, t.
Gondran, Michel, Saade, Rita Hoblos
core +1 more source
Exterior Convexity And Classical Calculus Of Variations [PDF]
, 2016 We study the relation between various notions of exterior convexity introduced in [S. Bandyopadhyay, B. Dacorogna and S. Sil, J. Eur. Math. Soc. 17 (2015) 1009-1039.] with the classical notions of rank one convexity, quasiconvexity and polyconvexity.
Swarnendu Sil +3 more
core +1 more source
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
En Route for the Calculus of Variations
Ratio Mathematica, 2019 Optimal control deals with the problem of finding a control law for a given system such that a certain optimality criterion is achieved. An optimal control is an extension of the calculus of variations.
Jan Coufal, Jiří Tobíšek
doaj +1 more source
Solution of Problems in Calculus of Variations Using Parameterization Technique [PDF]
Engineering and Technology Journal, 2014 In this paper a direct method using parameterization technique is applied for solving some problems in calculus of variations. The parameterization technique based on Laguerre and Hermite polynomials is introduced to reduce a variational problem to ...
Fatema Ahmed Sadeq
doaj +1 more source
Towards the substantiation of methods for optimizing the transportation work of locomotives under railway operating conditions [PDF]
E3S Web of Conferences, 2023 An analysis of existing methods for optimizing the transportation work of locomotives in operation is presented, based on a refined formulation and criteria for the problem of optimal control of train movement by locomotives of different types of ...
Ablyalimov O.
doaj +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
EXPTIME tableaux for the coalgebraic mu-calculus [PDF]
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +4 more sources