|
Orbit (control Theory)
The notion of orbit of a control system used in mathematical control theory is a particular case of the notion of orbit in group theory. Definition Let \dot q=f(q,u) be a \ ^\infty control system, where belongs to a finite-dimensional manifold \ M and \ u belongs to a control set \ U. Consider the family =\ and assume that every vector field in is complete. For every f\in and every real \ t, denote by \ e^ the flow of \ f at time \ t. The orbit of the control system \dot q=f(q,u) through a point q_0\in M is the subset _ of \ M defined by :_=\. ;Remarks The difference between orbits and attainable sets is that, whereas for attainable sets only forward-in-time motions are allowed, both forward and backward motions are permitted for orbits. In particular, if the family is symmetric (i.e., f\in if and only if -f\in ), then orbits and attainable sets coincide. The hypothesis that every vector field of is complete simplifies the notations but can be dropped. In this case ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orbit (dynamics)
In mathematics, specifically in the study of dynamical systems, an orbit is a collection of points related by the evolution function of the dynamical system. It can be understood as the subset of phase space covered by the trajectory of the dynamical system under a particular set of initial conditions, as the system evolves. As a phase space trajectory is uniquely determined for any given set of phase space coordinates, it is not possible for different orbits to intersect in phase space, therefore the set of all orbits of a dynamical system is a partition of the phase space. Understanding the properties of orbits by using topological methods is one of the objectives of the modern theory of dynamical systems. For discrete-time dynamical systems, the orbits are sequences; for real dynamical systems, the orbits are curves; and for holomorphic dynamical systems, the orbits are Riemann surfaces. Definition Given a dynamical system (''T'', ''M'', Φ) with ''T'' a group, ''M' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Control Theory
Control theory is a field of mathematics that deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a desired state, while minimizing any ''delay'', ''overshoot'', or ''steady-state error'' and ensuring a level of control stability; often with the aim to achieve a degree of optimality. To do this, a controller with the requisite corrective behavior is required. This controller monitors the controlled process variable (PV), and compares it with the reference or set point (SP). The difference between actual and desired value of the process variable, called the ''error'' signal, or SP-PV error, is applied as feedback to generate a control action to bring the controlled process variable to the same value as the set point. Other aspects which are also studied are controllability and observability. Control theory is used in control system ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orbit (group Theory)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also publishes Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Flow
Vector most often refers to: *Euclidean vector, a quantity with a magnitude and a direction *Vector (epidemiology), an agent that carries and transmits an infectious pathogen into another living organism Vector may also refer to: Mathematics and physics *Vector (mathematics and physics) **Row and column vectors, single row or column matrices **Vector space ** Vector field, a vector for each point Molecular biology *Vector (molecular biology), a DNA molecule used as a vehicle to artificially carry foreign genetic material into another cell ** Cloning vector, a small piece of DNA into which a foreign DNA fragment can be inserted for cloning purposes **Shuttle vector, a plasmid constructed so that it can propagate in two different host species ** Viral vector, a tool commonly used by molecular biologists to deliver genetic materials into cells Computer science *Vector, a one-dimensional array data structure **Distance-vector routing protocol, a class of routing protocols **Do ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Immersed Submanifold
In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions. Formal definition In the following we assume all manifolds are differentiable manifolds of class ''C''''r'' for a fixed , and all morphisms are differentiable of class ''C''''r''. Immersed submanifolds An immersed submanifold of a manifold ''M'' is the image ''S'' of an immersion map ; in general this image will not be a submanifold as a subset, and an immersion map need not even be injective (one-to-one) – it can have self-intersections. More narrowly, one can require that the map be an injection (one-to-one), in which we call it an injective immersion, and define an immersed submanifold to be the image subset ''S'' together with a topology and different ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pushforward (differential)
In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that is a smooth map between smooth manifolds; then the differential of ''φ, d\varphi_x,'' at a point ''x'' is, in some sense, the best linear approximation of ''φ'' near ''x''. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of ''M'' at ''x'' to the tangent space of ''N'' at ''φ''(''x''), d\varphi_x: T_xM \to T_N. Hence it can be used to ''push'' tangent vectors on ''M'' ''forward'' to tangent vectors on ''N''. The differential of a map ''φ'' is also called, by various authors, the derivative or total derivative of ''φ''. Motivation Let \varphi: U \to V be a smooth map from an open subset U of \R^m to an open subset V of \R^n. For any point x in U, the Jacobian of \varphi at x (with respect to the standard coordinates) is the matrix representation of the tot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative. Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to finite coverings ( Lie's third theorem). This correspondence allows one to study the structure and classification of Lie groups in terms of Lie algebras. In physics, Lie groups appear as symmetry groups ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Bracket Of Vector Fields
In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields ''X'' and ''Y'' on a smooth manifold ''M'' a third vector field denoted . Conceptually, the Lie bracket is the derivative of ''Y'' along the flow generated by ''X'', and is sometimes denoted ''\mathcal_X Y'' ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by ''X''. The Lie bracket is an R- bilinear operation and turns the set of all smooth vector fields on the manifold ''M'' into an (infinite-dimensional) Lie algebra. The Lie bracket plays an important role in differential geometry and differential topology, for instance in the Frobenius integrability theorem, and is also fundamental in the geometric theory of nonlinear control systems., nonholonomic systems; , feedback linearization. Defin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frobenius Theorem (differential Topology)
In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial differential equations. In modern geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of ''r'' vector fields mesh into coordinate grids on ''r''-dimensional integral manifolds. The theorem is foundational in differential topology and calculus on manifolds. Introduction In its most elementary form, the theorem addresses the problem of finding a maximal set o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
