Sökning: "formal invariant"
Hittade 5 avhandlingar innehållade orden formal invariant.
1. Residue fixed point index and wildly ramified power series
Sammanfattning : This thesis concerns discrete dynamical systems. These are systems where the dynamics is modeled by iterated functions. There are several applications of discrete dynamical system e.g. LÄS MER
2. Symmetries and conservation laws
Sammanfattning : Conservation laws play an important role in science. The aim of this thesis is to provide an overview and develop new methods for constructing conservation laws using Lie group theory. The derivation of conservation laws for invariant variational problems is based on Noether’s theorem. LÄS MER
3. Knots and Surfaces in Real Algebraic and Contact Geometry
Sammanfattning : This thesis consists of a summary and three articles. The thesis is devoted to the study of knots and surfaces with additional geometric structures compared to the classical smooth structure. LÄS MER
4. Model-driven Analysis and Verification of Automotive Embedded Systems
Sammanfattning : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. LÄS MER
5. Partitioning and Control for Dynamical Systems Evolving on Manifolds
Sammanfattning : With the development and integration of cyber-physical and safety-critical systems, control systems are expected to achieve tasks that include logic rules, receptive decision-making, safety constraints, and so forth. For example, in a persistent surveillance application, an unmanned aerial vehicle might be required to "take photos of areas A and B infinitely often, always avoid unsafe region C, and return to the charging point when the battery level goes low. LÄS MER