Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"differential inclusions"”.
-
Finite-Difference Approximations And Optimal Control Of Differential Inclusions
… for dynamic systems governed by constrained differential inclusions. We develop finite-discrete approximations of differential inclusions by using the implicit Euler scheme and the Runge-Kutta scheme for approximating time derivatives, while an appropriate well-posedness of such …
-
Variational analysis and optimal control of the sweeping process
… where the dynamics is governed by discontinuous differential inclusions with variable right-hand sides. Our approach to necessary optimality conditions is based on the method of discrete approximations and advanced tools of variational analysis and generalized differentiation. The final results …
-
Well-posedness and causality for a class of evolutionary inclusions
We study a class of differential inclusions involving maximal monotone relations, which cover a huge class of problems in mathematical physics. For this purpose we introduce the time derivative as a continuously invertible operator in a suitable Hilbert space. It turns out that this realization is …
-
On simulation based verification of nonlinear nondeterministic hybrid systems
… set of dynamical systems $A$ with non-linear differential inclusions. The algorithm constructs a sequence of shrink concretizations of $A$. Then the reach sets of the concretizations are used to construct an overapproximation of the reach set of $A$. Soundness and Completeness of both …
-
Nonlinear Estimation and Control Methods for Mechanical and Aerospace Systems under Actuator Uncertainty
… sliding mode estimation method using a differential inclusions-based technique.</p>
-
General and Efficient Bayesian Computation through Hamiltonian Monte Carlo Extensions
… Hamiltonian mechanics and of measure-valued differential inclusions.</p><p>Geometrically tempered HMC (GTHMC) presented in Chapter 3 improves HMC’s performance on multi-modal target distributions. The efficiency improvement is achieved through differential geometric techniques, relating a …
-
Uniform verification of safety for parameterized networks of hybrid automata
… automata with dynamics specified as rectangular differential inclusions. The second method computes the set of reachable states for networks composed of a finite number of participants. While this method cannot in general prove safety regardless of the number of participants, it can be used as a …
-
Optimal Control Problems Governed by Nonlinear Partial Differential Equations and Inclusions
… problems constrained by nonlinear partial differential equations (PDE) and inclusions (PDI). There exist statements on the existence of solutions for optimal control problems with linear and semi-linear PDEs with monotone parts. The theory for non-monotone PDEs resp. the related optimal …