# Jargon Party

Some Definitions and References for terms I used frequently

Preamble: Today like most days, I was throwing around phrases like bio-mimetic system and multi-mechanism differential game.These words have meanings beyond their buzzword value and I realize those meanings are often lost to listeners. Below is a quick attempt define them publicly, and to provide basic references.

Non-Linear System

a in which the change of the output is not to the change of the input. Nonlinear problems are of interest to , , , , and many other because most systems are inherently nonlinear in nature. Nonlinear , describing changes in variables over time, may appear chaotic, unpredictable, or counterintuitive, contrasting with much simpler .

Differential Equation

a that relates some with its . In applications, the functions usually represent physical quantities, the derivatives represent their rates of change, and the equation defines a relationship between the two. Because such relations are extremely common, differential equations play a prominent role in many disciplines including , , , and .

In , differential equations are studied from several different perspectives, mostly concerned with their solutions — the set of functions that satisfy the equation. Only the simplest differential equations are solvable by explicit formulas; however, some properties of solutions of a given differential equation may be determined without finding their exact form.

Event Driven Differential Equation

a set of Differential equations with actions at discrete events are used to model piecewise differential equations with jump discontinuities, or impacts and collisions such as a bouncing ball. They can also model hybrid systems with both continuous and discrete dynamics. The discrete dynamics can come from sampled or digital processes, such as a digital controller controlling a continuous process, or the discrete dynamics can represent modes such as a chemical reactor following a recipe.

Hybrid System

a that exhibits both continuous and discrete dynamic behavior — a system that can both flow (described by a ) and jump (described by a or ). Often, the term “hybrid dynamical system” is used, to distinguish over hybrid systems such as those that combine and , or electrical and mechanical drivelines. A hybrid system has the benefit of encompassing a larger class of systems within its structure, allowing for more flexibility in modeling dynamic phenomena.

In general, the state of a hybrid system is defined by the values of the continuous variables and a discrete mode. The state changes either continuously, according to a , or discretely according to a control graph. Continuous flow is permitted as long as so-called invariants hold, while discrete transitions can occur as soon as given jump conditions are satisfied. Discrete transitions may be associated with events.

Differential Game

In , differential games are a group of problems related to the modeling and analysis of conflict in the context of a . More specifically, a or variables evolve over time according to a . Early analyses reflected military interests, considering two actors — the pursuer and the evader — with diametrically opposed goals. More recent analyses have reflected engineering or economic considerations.

Differential games are related closely with problems. In an optimal control problem there is single control u(t) and a single criterion to be optimized; differential game theory generalizes this to two controls u(t),v(t) and two criteria, one for each player. Each player attempts to control the state of the system so as to achieve its goal; the system responds to the inputs of all players.

Hybrid Differential Games

combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features of hybrid systems and discrete games, but only deterministic differential equations. Differential games, instead, provide differential equations with input by both players, but not the luxury of hybrid games, such as mode switches and discrete or alternating interaction. This paper augments differential game logic with modalities for the combined dynamics of differential hybrid games. It shows how hybrid games subsume differential games and introduces differential game invariants and differential game variants for proving properties of differential games inductively.

Multi-Player Differential Game

Game theory is the study of decision problems in which there are multiple decision makers, and the quality of a decision maker’s choice depends on that choice as well as the choices of others. While game theory has been studied predominantly as modeling paradigm in the mathematical social sciences, there is a strong connection to control systems in that a controller can be viewed as a decision-making entity. Accordingly, game theory is relevant in settings in which there are multiple interacting controllers

A Multi-Player is a differential game in which there are n controllers representing individual stakeholders and/or groups of stakeholders acting with independently modeled goals or object functions defined over the system state and their actions.

In the literature many multi-player differential games are simply collapsed into two player differential games in order to reduce complexity; this is often done by collapsing agents into cartels or subpopulations cooperating to optimize a shared objective. In practice, multi-stakeholder ecosystems require multi-player differential games to adequately captured interaction effects between their respective strategies.

Source: Self

Multi-Mechanism Differential Game

a differential game in which there is more than one mechanism through which the players may affect the state of the game. Multi-mechanism differential games are generally Hybrid Differential games because strategies must include decision over which set of mechanism two employ which are almost require discrete switching policies.

When considering equilibria multi-mechanism games, it does not suffice to consider the mechanisms stability independently as there are well known results in hybrid systems that indicate that two stable systems composed under a switching policy can be driven unstable.

Source: Self

Subpopulation Models

In Computational Biology:

Due to the ubiquity of structured population heterogeneity, the analysis of subpopulation characteristics and causal differences between subpopulations is crucial for a holistic understanding of biological processes.

In Public Infrastructure and Social Systems:

We extend this model to a metapopulation framework in which large subpopulations (i.e., cities) are represented as nodes in a metagraph whose links represent the transportation infrastructure connecting them (i.e., roads)

Policy or Dynamic Strategy

A state dependent policy or a dynamic strategy is a mathematical characterization of the way an agent or subpopulation makes decisions in a differential game. In its general form, this can be expressed as the the argument of a utility maximization over some time horizon, though in practice it may be best defined using heuristics.

Interpreting behavior as strategic with respect some unknown private optimization objective is a method for inferring behavior models from data without resorting to restrictive assumptions about rationality with respect to some global objective such as profit maximization.

Source: self

Bio-Mimetic System and Bio-Inspired Design

Biomimetics or biomimicry is the imitation of the models, systems, and elements of nature for the purpose of solving complex problems.

Bionics or biologically inspired engineering is the application of biological methods and systems found in to the study and design of systems and modern .

In the field of , the study of bionics has produced , , and . was also motivated by bionics ideas but it took the idea further by simulating evolution and producing well-optimized solutions that had never appeared in nature.

Natural systems have had a great deal of theoretical modeling and empirical validation; as a result they serve as ideal starting points when attempting to create differential equations, and differential games models with well defined analytical and emergent properties. Systems are often hybrid dynamical systems, with spatially distributed distributed state, and well-modeled multi-agent view at both the individual and subpopulation levels.

Source: Self

Separation of Time Scales

the idea of time-scale separation, in which part of a system is assumed to be operating sufficiently fast compared to the rest that it may be assumed to have reached a steady state. This allows, in principle, the fast components to be eliminated, resulting in a simplified description of the system’s behavior.

Thus, traditionally, there were three aspects of a system: fine scale, dynamic, and fixed. A glass of water on a table with an ice cube in it might be treated by considering the movement and melting of the ice cube, the average over molecular vibrations, and the fixed structure of the glass. At longer time scales, the water will evaporate, the glass will flow, the table may rot, but this is not important at a particular scale (or a range of scales) of observation.

Engineering Design

a methodical series of steps that engineers use in creating functional products and processes. The process is highly — parts of the process often need to be repeated many times before another can be entered — though the part(s) that get iterated and the number of such cycles in any given project may vary.

…It is a process (often iterative) in which the basic sciences, mathematics, and engineering sciences are applied to convert resources optimally to meet a stated objective. Among the fundamental elements of the are the establishment of objectives and criteria, synthesis, analysis, construction, testing and evaluation.

One framing of the engineering design process delineates the following stages: research, conceptualization, feasibility assessment, establishing design requirements, preliminary design, detailed design, production planning and tool design, and production.

The steps tend to get articulated, subdivided, and/or illustrated in different ways, but they generally reflect certain core principles regarding the underlying concepts and their respective sequence and interrelationship.

Abstractions and Mathematical Models

a conceptual process where general and are derived from the usage and classification of specific examples, literal (“real” or “”) signifiers, , or other methods.

“An abstraction” is the outcome of this process — a concept that acts as a super-categorical noun for all subordinate concepts, and connects any related concepts as a group, field, or category.

All Engineering Designs are Abstractions; they tend to include both ontological or structural descriptions of things, followed by appropriately mathematical models conforming to those structures. In established engineering disciplines the ontological or structural aspects are often taken as a given, but in emerging engineering disciplines careful attention to ontology and taxonomy is critical prior to the application of mathematical models.

Source: Self

Mathematical models can take many forms, including , , , or . These and other types of models can overlap, with a given model involving a variety of abstract structures. In general, mathematical models may include . In many cases, the quality of a scientific field depends on how well the mathematical models developed on the theoretical side agree with results of repeatable experiments. Lack of agreement between theoretical mathematical models and experimental measurements often leads to important advances as better theories are developed.

Hidden and Unobservable States

In , observability is a measure of how well internal states of a can be inferred from knowledge of its external outputs.

hidden refers to the state sequence through which the model passes, not to the parameters of the model

Initial Conditions

In and particularly in , an initial condition, in some contexts called a seed value, is a value of an evolving variable at some point in time designated as the initial time (typically denoted t = 0).

Chaos theory is a branch of focusing on the behavior of that are highly sensitive to . “Chaos” is an interdisciplinary theory stating that within the apparent randomness of , there are underlying patterns, constant , repetition, , , , and reliance on programming at the initial point known as sensitive dependence on initial conditions.

Reachable States or Configuration Space

A state x1 is called reachable at time t1 if for some finite initial time t0 there exists an input u(t) that transfers the state x(t) from the origin at t0 to x1.

A system is reachable at time t1 if every state x1 in the state-space is reachable at time t1.

In , the parameters that define the configuration of a system are called , and the vector space defined by these coordinates is called the configuration space of the . It is often the case that these parameters satisfy mathematical constraints, such that the set of actual configurations of the system is a manifold in the space of generalized coordinates. This is called the configuration manifold of the system.

When working on mechanism design problems associated with differential games it is important to pay attention to both the configuration spaces implied by the mechanisms as well as the system’s sensitivity to initial conditions by evaluating the reachable spaces implied by the mechanisms and the proposed initial conditions without making addition assumptions about the strategies players will adopt.

Source: Self

Boundary Conditions

In , in the field of , a boundary value problem is a differential equation together with a set of additional constraints, called the boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satisfies the boundary conditions.

Boundary value problems arise in several branches of physics as any physical differential equation will have them. Problems involving the , such as the determination of , are often stated as boundary value problems. A large class of important boundary value problems are the . The analysis of these problems involves the of a .

To be useful in applications, a boundary value problem should be . This means that given the input to the problem there exists a unique solution, which depends continuously on the input. Much theoretical work in the field of is devoted to proving that boundary value problems arising from scientific and engineering applications are in fact well-posed.

While most discussions of boundary value problems are focused on partial differential equations and solutions distributed over fields, the concept may be used to define any interactions between an other-wise closed system and its outside-world relatively speaking. Such mathematical formulation help avoid trial equilibrium solutions in models with external driving processes. Many social systems, and mechanism design problems, the external driving processes are stochastic processes which often have relationships to the internal state variables.

For example, a boundary process for a market price of a commodity may be a random variable defining the percent change in a state. Adoption processes, and intervals between discrete events often serve to model boundaries between states inside the model and phenomena outside of the model.

Source: Self

Stochastic Process

In and related fields, a stochastic or random process is a usually defined as a collection of . Historically, the random variables were associated with or indexed by a set of numbers, usually viewed as points in time, giving the interpretation of a stochastic process representing numerical values of some system changing over , such as the growth of a population, an fluctuating due to , or the movement of a . Stochastic processes are widely used as of systems and phenomena that appear to vary in a random manner. They have applications in many disciplines including such as , , , , and as well as and fields such as , , , , and . Furthermore, seemingly random changes in have motivated the extensive use of stochastic processes in finance

Lyapunov Function or Generalized Energy Function

In the theory of (ODEs), Lyapunov functions are scalar functions that may be used to prove the stability of an of an ODE. Named after the , Lyapunov functions (also called the Lyapunov’s second method for stability) are important to of and . A similar concept appears in the theory of general state space , usually under the name Foster–Lyapunov functions.

For certain classes of ODEs, the existence of Lyapunov functions is a necessary and sufficient condition for stability. Whereas there is no general technique for constructing Lyapunov functions for ODEs, in many specific cases the construction of Lyapunov functions is known. For instance, functions suffice for systems with one state; the solution of a particular provides Lyapunov functions for linear systems; and can often be used to construct Lyapunov functions for .

Lyapunov function may be interpreted as generalized energy functions for arbitrary state space dynamical systems. When doing mechanism design or other systems with digital states whose state transition functions are declared rather than observed, one can start with a Lyapunov function, which the designer considers to be a measure of energy within the system, then constrain the mechanism design to include only state transitions which satisfy Lyapunov’s second method, thus ensuring analytical stability of the resulting system. This method does not prevent external actors from pumping energy into the system, but it does allow energy conservation to be asserted preventing a class of attacks whereby an agent perturbs the state of the system, in order to extract profits from the control action. Agent may still profit from other agents actions in response to the perturbation.

Source: Self

Analytical Stability

In , stability theory addresses the stability of solutions of and of trajectories of under small perturbations of initial conditions.

Analytical Stability is defined in contrast to the colloquial use of stability to refer to a set of historical observations about a signal which was over the period of observation remaining within some bounds of an apparent equilibrium. Unlike empirical stability, analytical stability implies future stability but does so by leveraging a formal abstraction for which such stability properties may be proven through real analysis. Strong methods for such proofs rely on Lyapunov functions.

Source: Self