Theory and computation of disturbance invariant sets for discrete-time linear systems

Directory of Open Access Journals (Sweden)

Ilya Kolmanovsky

1998-01-01

. One purpose of the paper is to unite and extend in a rigorous way disparate results from the prior literature. In addition there are entirely new results. Specific contributions include: exploitation of the Pontryagin set difference to clarify conceptual matters and simplify mathematical developments, special properties of maximal invariant sets and conditions for their finite determination, algorithms for generating concrete representations of maximal invariant sets, practical computational questions, extension of the main results to general Lyapunov stable systems, applications of the computational techniques to the bounding of state and output response. Results on Lyapunov stable systems are applied to the implementation of a logic-based, nonlinear multimode regulator. For plants with disturbance inputs and state-control constraints it enlarges the constraint-admissible domain of attraction. Numerical examples illustrate the various theoretical and computational results.

Blind phase retrieval for aberrated linear shift-invariant imaging systems

International Nuclear Information System (INIS)

Yu, Rotha P; Paganin, David M

2010-01-01

We develop a means to reconstruct an input complex coherent scalar wavefield, given a through focal series (TFS) of three intensity images output from a two-dimensional (2D) linear shift-invariant optical imaging system with unknown aberrations. This blind phase retrieval technique unites two methods, namely (i) TFS phase retrieval and (ii) iterative blind deconvolution. The efficacy of our blind phase retrieval procedure has been demonstrated using simulated data, for a variety of Poisson noise levels.

Linear quadratic optimization for positive LTI system

Science.gov (United States)

Muhafzan, Yenti, Syafrida Wirma; Zulakmal

2017-05-01

Nowaday the linear quadratic optimization subject to positive linear time invariant (LTI) system constitute an interesting study considering it can become a mathematical model of variety of real problem whose variables have to nonnegative and trajectories generated by these variables must be nonnegative. In this paper we propose a method to generate an optimal control of linear quadratic optimization subject to positive linear time invariant (LTI) system. A sufficient condition that guarantee the existence of such optimal control is discussed.

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2011-01-01

This paper proposes an LMI-based algorithm for abstracting dynamical systems by timed automata, which enables automatic formal verification of linear systems. The proposed abstraction is based on partitioning the state space of the system using positive invariant sets, generated by Lyapunov...... functions. This partitioning ensures that the vector field of the dynamical system is transversal to all facets of the cells, which induces some desirable properties of the abstraction. The algorithm is based on identifying intersections of level sets of quadratic Lyapunov functions, and determining...

Analysis and identification of time-invariant systems, time-varying systems, and multi-delay systems using orthogonal hybrid functions theory and algorithms with Matlab

CERN Document Server

Deb, Anish; Sarkar, Gautam

2016-01-01

This book introduces a new set of orthogonal hybrid functions (HF) which approximates time functions in a piecewise linear manner which is very suitable for practical applications. The book presents an analysis of different systems namely, time-invariant system, time-varying system, multi-delay systems---both homogeneous and non-homogeneous type- and the solutions are obtained in the form of discrete samples. The book also investigates system identification problems for many of the above systems. The book is spread over 15 chapters and contains 180 black and white figures, 18 colour figures, 85 tables and 56 illustrative examples. MATLAB codes for many such examples are included at the end of the book.

Linear analysis of rotationally invariant, radially variant tomographic imaging systems

International Nuclear Information System (INIS)

Huesmann, R.H.

1990-01-01

This paper describes a method to analyze the linear imaging characteristics of rotationally invariant, radially variant tomographic imaging systems using singular value decomposition (SVD). When the projection measurements from such a system are assumed to be samples from independent and identically distributed multi-normal random variables, the best estimate of the emission intensity is given by the unweighted least squares estimator. The noise amplification of this estimator is inversely proportional to the singular values of the normal matrix used to model projection and backprojection. After choosing an acceptable noise amplification, the new method can determine the number of parameters and hence the number of pixels that should be estimated from data acquired from an existing system with a fixed number of angles and projection bins. Conversely, for the design of a new system, the number of angles and projection bins necessary for a given number of pixels and noise amplification can be determined. In general, computing the SVD of the projection normal matrix has cubic computational complexity. However, the projection normal matrix for this class of rotationally invariant, radially variant systems has a block circulant form. A fast parallel algorithm to compute the SVD of this block circulant matrix makes the singular value analysis practical by asymptotically reducing the computation complexity of the method by a multiplicative factor equal to the number of angles squared

Quasi-invariant modified Sobolev norms for semi linear reversible PDEs

International Nuclear Information System (INIS)

Faou, Erwan; Grébert, Benoît

2010-01-01

We consider a general class of infinite dimensional reversible differential systems. Assuming a nonresonance condition on linear frequencies, we construct for such systems almost invariant pseudo-norms that are close to Sobolev-like norms. This allows us to prove that if the Sobolev norm of index s of the initial data z 0 is sufficiently small (of order ε) then the Sobolev norm of the solution is bounded by 2ε over a very long time interval (of order ε −r with r arbitrary). It turns out that this theorem applies to a large class of reversible semi-linear partial differential equations (PDEs) including the nonlinear Schrödinger (NLS) equation on the d-dimensional torus. We also apply our method to a system of coupled NLS equations which is reversible but not Hamiltonian. We also note that for the same class of reversible systems we can prove a Birkhoff normal form theorem, which in turn implies the same bounds on the Sobolev norms. Nevertheless the techniques that we use to prove the existence of quasi-invariant pseudo-norms are much more simple and direct

Construction of time-dependent dynamical invariants: A new approach

International Nuclear Information System (INIS)

Bertin, M. C.; Pimentel, B. M.; Ramirez, J. A.

2012-01-01

We propose a new way to obtain polynomial dynamical invariants of the classical and quantum time-dependent harmonic oscillator from the equations of motion. We also establish relations between linear and quadratic invariants, and discuss how the quadratic invariant can be related to the Ermakov invariant.

Global Stability of Polytopic Linear Time-Varying Dynamic Systems under Time-Varying Point Delays and Impulsive Controls

Directory of Open Access Journals (Sweden)

M. de la Sen

2010-01-01

Full Text Available This paper investigates the stability properties of a class of dynamic linear systems possessing several linear time-invariant parameterizations (or configurations which conform a linear time-varying polytopic dynamic system with a finite number of time-varying time-differentiable point delays. The parameterizations may be timevarying and with bounded discontinuities and they can be subject to mixed regular plus impulsive controls within a sequence of time instants of zero measure. The polytopic parameterization for the dynamics associated with each delay is specific, so that (q+1 polytopic parameterizations are considered for a system with q delays being also subject to delay-free dynamics. The considered general dynamic system includes, as particular cases, a wide class of switched linear systems whose individual parameterizations are timeinvariant which are governed by a switching rule. However, the dynamic system under consideration is viewed as much more general since it is time-varying with timevarying delays and the bounded discontinuous changes of active parameterizations are generated by impulsive controls in the dynamics and, at the same time, there is not a prescribed set of candidate potential parameterizations.

Linear Invariant Tensor Interpolation Applied to Cardiac Diffusion Tensor MRI

Science.gov (United States)

Gahm, Jin Kyu; Wisniewski, Nicholas; Kindlmann, Gordon; Kung, Geoffrey L.; Klug, William S.; Garfinkel, Alan; Ennis, Daniel B.

2015-01-01

Purpose Various methods exist for interpolating diffusion tensor fields, but none of them linearly interpolate tensor shape attributes. Linear interpolation is expected not to introduce spurious changes in tensor shape. Methods Herein we define a new linear invariant (LI) tensor interpolation method that linearly interpolates components of tensor shape (tensor invariants) and recapitulates the interpolated tensor from the linearly interpolated tensor invariants and the eigenvectors of a linearly interpolated tensor. The LI tensor interpolation method is compared to the Euclidean (EU), affine-invariant Riemannian (AI), log-Euclidean (LE) and geodesic-loxodrome (GL) interpolation methods using both a synthetic tensor field and three experimentally measured cardiac DT-MRI datasets. Results EU, AI, and LE introduce significant microstructural bias, which can be avoided through the use of GL or LI. Conclusion GL introduces the least microstructural bias, but LI tensor interpolation performs very similarly and at substantially reduced computational cost. PMID:23286085

Phylogenetic mixtures and linear invariants for equal input models.

Science.gov (United States)

Casanellas, Marta; Steel, Mike

2017-04-01

The reconstruction of phylogenetic trees from molecular sequence data relies on modelling site substitutions by a Markov process, or a mixture of such processes. In general, allowing mixed processes can result in different tree topologies becoming indistinguishable from the data, even for infinitely long sequences. However, when the underlying Markov process supports linear phylogenetic invariants, then provided these are sufficiently informative, the identifiability of the tree topology can be restored. In this paper, we investigate a class of processes that support linear invariants once the stationary distribution is fixed, the 'equal input model'. This model generalizes the 'Felsenstein 1981' model (and thereby the Jukes-Cantor model) from four states to an arbitrary number of states (finite or infinite), and it can also be described by a 'random cluster' process. We describe the structure and dimension of the vector spaces of phylogenetic mixtures and of linear invariants for any fixed phylogenetic tree (and for all trees-the so called 'model invariants'), on any number n of leaves. We also provide a precise description of the space of mixtures and linear invariants for the special case of [Formula: see text] leaves. By combining techniques from discrete random processes and (multi-) linear algebra, our results build on a classic result that was first established by James Lake (Mol Biol Evol 4:167-191, 1987).

Explicit/multi-parametric model predictive control (MPC) of linear discrete-time systems by dynamic and multi-parametric programming

KAUST Repository

Kouramas, K.I.; Faí sca, N.P.; Panos, C.; Pistikopoulos, E.N.

2011-01-01

This work presents a new algorithm for solving the explicit/multi- parametric model predictive control (or mp-MPC) problem for linear, time-invariant discrete-time systems, based on dynamic programming and multi-parametric programming techniques

Partial Synchronization Manifolds for Linearly Time-Delay Coupled Systems

OpenAIRE

Steur, Erik; van Leeuwen, Cees; Michiels, Wim

2014-01-01

Sometimes a network of dynamical systems shows a form of incomplete synchronization characterized by synchronization of some but not all of its systems. This type of incomplete synchronization is called partial synchronization. Partial synchronization is associated with the existence of partial synchronization manifolds, which are linear invariant subspaces of C, the state space of the network of systems. We focus on partial synchronization manifolds in networks of system...

On the invariance of world time reference system

International Nuclear Information System (INIS)

Asanov, G.S.

1978-01-01

A universal reference system is studied. It is shown that time differentiation acquires an invariant meaning in the covariant theory of a curved space-time. All the principal covariant equations of the Einstein gravitational field theory can be interpreted successively relative to a universal reference system, whose base congruence is the S-congruence. The Lorentz calibration conditions determine the base tetrades of the universal reference system with an accuracy to rigid spatial rotations with constant coefficients. The use of rigid tetrades eliminates the ambiguity in the interpretation of the value of the energy momentum of a gravitational field

Off-Line Robust Constrained MPC for Linear Time-Varying Systems with Persistent Disturbances

Directory of Open Access Journals (Sweden)

P. Bumroongsri

2014-01-01

Full Text Available An off-line robust constrained model predictive control (MPC algorithm for linear time-varying (LTV systems is developed. A novel feature is the fact that both model uncertainty and bounded additive disturbance are explicitly taken into account in the off-line formulation of MPC. In order to reduce the on-line computational burdens, a sequence of explicit control laws corresponding to a sequence of positively invariant sets is computed off-line. At each sampling time, the smallest positively invariant set containing the measured state is determined and the corresponding control law is implemented in the process. The proposed MPC algorithm can guarantee robust stability while ensuring the satisfaction of input and output constraints. The effectiveness of the proposed MPC algorithm is illustrated by two examples.

On Similarity Invariance of Balancing for Nonlinear Systems

NARCIS (Netherlands)

Scherpen, Jacquelien M.A.

1995-01-01

A previously obtained balancing method for nonlinear systems is investigated on similarity in variance by generalization of the observations on the similarity invariance of the linear balanced realization theory. For linear systems it is well known that the Hankel singular values are similarity

Compressive System Identification in the Linear Time-Invariant framework

KAUST Repository

Toth, Roland

2011-12-01

Selection of an efficient model parametrization (model order, delay, etc.) has crucial importance in parametric system identification. It navigates a trade-off between representation capabilities of the model (structural bias) and effects of over-parametrization (variance increase of the estimates). There exists many approaches to this widely studied problem in terms of statistical regularization methods and information criteria. In this paper, an alternative ℓ 1 regularization scheme is proposed for estimation of sparse linear-regression models based on recent results in compressive sensing. It is shown that the proposed scheme provides consistent estimation of sparse models in terms of the so-called oracle property, it is computationally attractive for large-scale over-parameterized models and it is applicable in case of small data sets, i.e., underdetermined estimation problems. The performance of the approach w.r.t. other regularization schemes is demonstrated in an extensive Monte Carlo study. © 2011 IEEE.

Linear complexity for multidimensional arrays - a numerical invariant

DEFF Research Database (Denmark)

Gomez-Perez, Domingo; Høholdt, Tom; Moreno, Oscar

2015-01-01

Linear complexity is a measure of how complex a one dimensional sequence can be. In this paper we extend the concept of linear complexity to multiple dimensions and present a definition that is invariant under well-orderings of the arrays. As a result we find that our new definition for the proce...

ORACLS: A system for linear-quadratic-Gaussian control law design

Science.gov (United States)

Armstrong, E. S.

1978-01-01

A modern control theory design package (ORACLS) for constructing controllers and optimal filters for systems modeled by linear time-invariant differential or difference equations is described. Numerical linear-algebra procedures are used to implement the linear-quadratic-Gaussian (LQG) methodology of modern control theory. Algorithms are included for computing eigensystems of real matrices, the relative stability of a matrix, factored forms for nonnegative definite matrices, the solutions and least squares approximations to the solutions of certain linear matrix algebraic equations, the controllability properties of a linear time-invariant system, and the steady state covariance matrix of an open-loop stable system forced by white noise. Subroutines are provided for solving both the continuous and discrete optimal linear regulator problems with noise free measurements and the sampled-data optimal linear regulator problem. For measurement noise, duality theory and the optimal regulator algorithms are used to solve the continuous and discrete Kalman-Bucy filter problems. Subroutines are also included which give control laws causing the output of a system to track the output of a prescribed model.

The Dynamical Invariant of Open Quantum System

OpenAIRE

Wu, S. L.; Zhang, X. Y.; Yi, X. X.

2015-01-01

The dynamical invariant, whose expectation value is constant, is generalized to open quantum system. The evolution equation of dynamical invariant (the dynamical invariant condition) is presented for Markovian dynamics. Different with the dynamical invariant for the closed quantum system, the evolution of the dynamical invariant for the open quantum system is no longer unitary, and the eigenvalues of it are time-dependent. Since any hermitian operator fulfilling dynamical invariant condition ...

Exact invariants in the form of momentum resonances for particle motion in one-dimensional, time-dependent potentials

International Nuclear Information System (INIS)

Goedert, J.; Lewis, H.R.

1984-01-01

A momentum-resonance ansatz of Lewis and Leach was used to study exact invariants for time-dependent, one-dimensional potentials. This ansatz provides a framework for finding invariants admitted by a larger class of time-dependent potentials that was known previously. For a potential that admits an exact invariant in this resonance form, we have shown how to construct the invariant as a functional of the potential in terms of the solution of a definite linear algebraic system of equations. We have found a necessary and sufficient condition on the potential for the existence of an invariant with a given number of resonances. There exist more potentials that admit invariants with two resonances than were previously known and we have found an example in parametric form of such a potential. We have also found examples of potentials that admit invariants with three resonances

Non-linear time series analysis on flow instability of natural circulation under rolling motion condition

International Nuclear Information System (INIS)

Zhang, Wenchao; Tan, Sichao; Gao, Puzhen; Wang, Zhanwei; Zhang, Liansheng; Zhang, Hong

2014-01-01

Highlights: • Natural circulation flow instabilities in rolling motion are studied. • The method of non-linear time series analysis is used. • Non-linear evolution characteristic of flow instability is analyzed. • Irregular complex flow oscillations are chaotic oscillations. • The effect of rolling parameter on the threshold of chaotic oscillation is studied. - Abstract: Non-linear characteristics of natural circulation flow instabilities under rolling motion conditions were studied by the method of non-linear time series analysis. Experimental flow time series of different dimensionless power and rolling parameters were analyzed based on phase space reconstruction theory. Attractors which were reconstructed in phase space and the geometric invariants, including correlation dimension, Kolmogorov entropy and largest Lyapunov exponent, were determined. Non-linear characteristics of natural circulation flow instabilities under rolling motion conditions was studied based on the results of the geometric invariant analysis. The results indicated that the values of the geometric invariants first increase and then decrease as dimensionless power increases which indicated the non-linear characteristics of the system first enhance and then weaken. The irregular complex flow oscillation is typical chaotic oscillation because the value of geometric invariants is at maximum. The threshold of chaotic oscillation becomes larger as the rolling frequency or rolling amplitude becomes big. The main influencing factors that influence the non-linear characteristics of the natural circulation system under rolling motion are thermal driving force, flow resistance and the additional forces caused by rolling motion. The non-linear characteristics of the natural circulation system under rolling motion changes caused by the change of the feedback and coupling degree among these influencing factors when the dimensionless power or rolling parameters changes

When to call a linear system nonnegative

NARCIS (Netherlands)

Nieuwenhuis, J.W.

1998-01-01

In this paper we will consider discrete time invariant linear systems that allow for an input-state-output representation with a finite dimensional state space, and that have a finite number of inputs and outputs. The basic issue in this paper is when to call these systems nonnegative. An important

Time-warp invariant pattern detection with bursting neurons

International Nuclear Information System (INIS)

Gollisch, Tim

2008-01-01

Sound patterns are defined by the temporal relations of their constituents, individual acoustic cues. Auditory systems need to extract these temporal relations to detect or classify sounds. In various cases, ranging from human speech to communication signals of grasshoppers, this pattern detection has been found to display invariance to temporal stretching or compression of the sound signal ('linear time-warp invariance'). In this work, a four-neuron network model is introduced, designed to solve such a detection task for the example of grasshopper courtship songs. As an essential ingredient, the network contains neurons with intrinsic bursting dynamics, which allow them to encode durations between acoustic events in short, rapid sequences of spikes. As shown by analytical calculations and computer simulations, these neuronal dynamics result in a powerful mechanism for temporal integration. Finally, the network reads out the encoded temporal information by detecting equal activity of two such bursting neurons. This leads to the recognition of rhythmic patterns independent of temporal stretching or compression

Window observers for linear systems

Directory of Open Access Journals (Sweden)

Utkin Vadim

2000-01-01

Full Text Available Given a linear system x ˙ = A x + B u with output y = C x and a window function ω ( t , i.e., ∀ t , ω ( t ∈ {0,1 }, and assuming that the window function is Lebesgue measurable, we refer to the following observer, x ˆ = A x + B u + ω ( t L C ( x − x ˆ as a window observer. The stability issue is treated in this paper. It is proven that for linear time-invariant systems, the window observer can be stabilized by an appropriate design under a very mild condition on the window functions, albeit for linear time-varying system, some regularity of the window functions is required to achieve observer designs with the asymptotic stability. The corresponding design methods are developed. An example is included to illustrate the possible applications

Networked control of discrete-time linear systems over lossy digital communication channels

Science.gov (United States)

Jin, Fang; Zhao, Guang-Rong; Liu, Qing-Quan

2013-12-01

This article addresses networked control problems for linear time-invariant systems. The insertion of the digital communication network inevitably leads to packet dropout, time delay and quantisation error. Due to data rate limitations, quantisation error is not neglected. In particular, the case where the sensors and controllers are geographically separated and connected via noisy, bandwidth-limited digital communication channels is considered. A fundamental limitation on the data rate of the channel for mean-square stabilisation of the closed-loop system is established. Sufficient conditions for mean-square stabilisation are derived. It is shown that there exists a quantisation, coding and control scheme to stabilise the unstable system over packet dropout communication channels if the data rate is larger than the lower bound proposed in our result. An illustrative example is given to demonstrate the effectiveness of the proposed conditions.

Non-linear entropy functionals and a characteristic invariant of symmetry group actions on infinite quantum systems

International Nuclear Information System (INIS)

Hudetz, T.

1989-01-01

We review the development of the non-Abelian generalization of the Kolmogorov-Sinai(KS) entropy invariant, as initated by Connes and Stormer and completed by Connes, Narnhofer and Thirring only recently. As an introduction and motivation, the classical KS theory is reformulated in terms of Abelian W * -algebras. Finally, we describe simple physical applications of the developed characteristic invariant to space-time symmetry group actions on infinite quantum systems. 42 refs. (Author)

Dynamical invariants for variable quadratic Hamiltonians

International Nuclear Information System (INIS)

Suslov, Sergei K

2010-01-01

We consider linear and quadratic integrals of motion for general variable quadratic Hamiltonians. Fundamental relations between the eigenvalue problem for linear dynamical invariants and solutions of the corresponding Cauchy initial value problem for the time-dependent Schroedinger equation are emphasized. An eigenfunction expansion of the solution of the initial value problem is also found. A nonlinear superposition principle for generalized Ermakov systems is established as a result of decomposition of the general quadratic invariant in terms of the linear ones.

ORACLS- OPTIMAL REGULATOR ALGORITHMS FOR THE CONTROL OF LINEAR SYSTEMS (CDC VERSION)

Science.gov (United States)

Armstrong, E. S.

1994-01-01

This control theory design package, called Optimal Regulator Algorithms for the Control of Linear Systems (ORACLS), was developed to aid in the design of controllers and optimal filters for systems which can be modeled by linear, time-invariant differential and difference equations. Optimal linear quadratic regulator theory, currently referred to as the Linear-Quadratic-Gaussian (LQG) problem, has become the most widely accepted method of determining optimal control policy. Within this theory, the infinite duration time-invariant problems, which lead to constant gain feedback control laws and constant Kalman-Bucy filter gains for reconstruction of the system state, exhibit high tractability and potential ease of implementation. A variety of new and efficient methods in the field of numerical linear algebra have been combined into the ORACLS program, which provides for the solution to time-invariant continuous or discrete LQG problems. The ORACLS package is particularly attractive to the control system designer because it provides a rigorous tool for dealing with multi-input and multi-output dynamic systems in both continuous and discrete form. The ORACLS programming system is a collection of subroutines which can be used to formulate, manipulate, and solve various LQG design problems. The ORACLS program is constructed in a manner which permits the user to maintain considerable flexibility at each operational state. This flexibility is accomplished by providing primary operations, analysis of linear time-invariant systems, and control synthesis based on LQG methodology. The input-output routines handle the reading and writing of numerical matrices, printing heading information, and accumulating output information. The basic vector-matrix operations include addition, subtraction, multiplication, equation, norm construction, tracing, transposition, scaling, juxtaposition, and construction of null and identity matrices. The analysis routines provide for the following

Testing a linear time invariant model for skin conductance responses by intraneural recording and stimulation.

Science.gov (United States)

Gerster, Samuel; Namer, Barbara; Elam, Mikael; Bach, Dominik R

2018-02-01

Skin conductance responses (SCR) are increasingly analyzed with model-based approaches that assume a linear and time-invariant (LTI) mapping from sudomotor nerve (SN) activity to observed SCR. These LTI assumptions have previously been validated indirectly, by quantifying how much variance in SCR elicited by sensory stimulation is explained under an LTI model. This approach, however, collapses sources of variability in the nervous and effector organ systems. Here, we directly focus on the SN/SCR mapping by harnessing two invasive methods. In an intraneural recording experiment, we simultaneously track SN activity and SCR. This allows assessing the SN/SCR relationship but possibly suffers from interfering activity of non-SN sympathetic fibers. In an intraneural stimulation experiment under regional anesthesia, such influences are removed. In this stimulation experiment, about 95% of SCR variance is explained under LTI assumptions when stimulation frequency is below 0.6 Hz. At higher frequencies, nonlinearities occur. In the intraneural recording experiment, explained SCR variance is lower, possibly indicating interference from non-SN fibers, but higher than in our previous indirect tests. We conclude that LTI systems may not only be a useful approximation but in fact a rather accurate description of biophysical reality in the SN/SCR system, under conditions of low baseline activity and sporadic external stimuli. Intraneural stimulation under regional anesthesia is the most sensitive method to address this question. © 2017 The Authors. Psychophysiology published by Wiley Periodicals, Inc. on behalf of Society for Psychophysiological Research.

Incremental Closed-loop Identification of Linear Parameter Varying Systems

DEFF Research Database (Denmark)

Bendtsen, Jan Dimon; Trangbæk, Klaus

2011-01-01

, closed-loop system identification is more difficult than open-loop identification. In this paper we prove that the so-called Hansen Scheme, a technique known from linear time-invariant systems theory for transforming closed-loop system identification problems into open-loop-like problems, can be extended...

Invariant imbedding equations for linear scattering problems

International Nuclear Information System (INIS)

Apresyan, L.

1988-01-01

A general form of the invariant imbedding equations is investigated for the linear problem of scattering by a bounded scattering volume. The conditions for the derivability of such equations are described. It is noted that the possibility of the explicit representation of these equations for a sphere and for a layer involves the separation of variables in the unperturbed wave equation

Invariant boxes and stability of some systems from biomathematics and chemical reactions

International Nuclear Information System (INIS)

Pavel, N.H.

1984-08-01

A general theorem on the flow-invariance of a time-dependent rectangular box with respect to a differential system is first recalled [''Analysis of some non-linear problems'' in Banach Spaces and Applications, Univ. of Iasi (Romania) (1982)]. Then a theorem applicable to the study of some differential systems from biomathematics and chemical reactions is given and proved. The theorem can be applied to enzymatic reactions, the chemical mechanism in the Belousov reaction, and the kinetic system for the chemical scheme of Hanusse of two processes with three intermediate species [in Pavel, N.H., Differential Equations, Flow-invariance and Applications, Pitman Publishing, Ltd., London (to appear)]. Next, the matrices A for which the corresponding linear system x'=Ax is component-wise positive asymptotically stable are characterized. In the Appendix a partial answer to an open problem regarding the preservation of both continuity and dissipativity in the extension of functions to a Banach space is given

ORACLS- OPTIMAL REGULATOR ALGORITHMS FOR THE CONTROL OF LINEAR SYSTEMS (DEC VAX VERSION)

Science.gov (United States)

Frisch, H.

1994-01-01

This control theory design package, called Optimal Regulator Algorithms for the Control of Linear Systems (ORACLS), was developed to aid in the design of controllers and optimal filters for systems which can be modeled by linear, time-invariant differential and difference equations. Optimal linear quadratic regulator theory, currently referred to as the Linear-Quadratic-Gaussian (LQG) problem, has become the most widely accepted method of determining optimal control policy. Within this theory, the infinite duration time-invariant problems, which lead to constant gain feedback control laws and constant Kalman-Bucy filter gains for reconstruction of the system state, exhibit high tractability and potential ease of implementation. A variety of new and efficient methods in the field of numerical linear algebra have been combined into the ORACLS program, which provides for the solution to time-invariant continuous or discrete LQG problems. The ORACLS package is particularly attractive to the control system designer because it provides a rigorous tool for dealing with multi-input and multi-output dynamic systems in both continuous and discrete form. The ORACLS programming system is a collection of subroutines which can be used to formulate, manipulate, and solve various LQG design problems. The ORACLS program is constructed in a manner which permits the user to maintain considerable flexibility at each operational state. This flexibility is accomplished by providing primary operations, analysis of linear time-invariant systems, and control synthesis based on LQG methodology. The input-output routines handle the reading and writing of numerical matrices, printing heading information, and accumulating output information. The basic vector-matrix operations include addition, subtraction, multiplication, equation, norm construction, tracing, transposition, scaling, juxtaposition, and construction of null and identity matrices. The analysis routines provide for the following

ON THE STABILIZATION OF THE LINEAR HYBRID SYSTEM STRUCTURE

Directory of Open Access Journals (Sweden)

Kirillov

2014-11-01

Full Text Available The linear control hybrid system, consisting of a fi- nite set of subsystems (modes having different dimensions, is considered. The moments of reset time are determined by some complementary function – evolutionary time. This function satisfies the special complementary ordinary differential equation. The mode stabilization problem is solved for some class of piecewise linear controls. The method of stabilization relies on the set of invariant planes, the existence of which is due to the special form of the hybrid system.

Closed-loop Identification for Control of Linear Parameter Varying Systems

DEFF Research Database (Denmark)

Bendtsen, Jan Dimon; Trangbæk, Klaus

2014-01-01

, closed- loop system identification is more difficult than open-loop identification. In this paper we prove that the so-called Hansen Scheme, a technique known from linear time-invariant systems theory for transforming closed-loop system identification problems into open-loop-like problems, can...

Analysis of Time and Space Invariance of BOLD Responses in the Rat Visual System

DEFF Research Database (Denmark)

Bailey, Christopher; Sanganahalli, Basavaraju G; Herman, Peter

2012-01-01

Neuroimaging studies of functional magnetic resonance imaging (fMRI) and electrophysiology provide the linkage between neural activity and the blood oxygenation level-dependent (BOLD) response. Here, BOLD responses to light flashes were imaged at 11.7T and compared with neural recordings from...... for general linear modeling (GLM) of BOLD responses. Light flashes induced high magnitude neural/BOLD responses reproducibly from both regions. However, neural/BOLD responses from SC and V1 were markedly different. SC signals followed the boxcar shape of the stimulation paradigm at all flash rates, whereas V1...... signals were characterized by onset/offset transients that exhibited different flash rate dependencies. We find that IRF(SC) is generally time-invariant across wider flash rate range compared with IRF(V1), whereas IRF(SC) and IRF(V1) are both space invariant. These results illustrate the importance...

Status of time reversal invariance

International Nuclear Information System (INIS)

Henley, E.M.

1989-01-01

Time Reversal Invariance is introduced, and theories for its violation are reviewed. The present experimental and theoretical status of Time Reversal Invariance and tests thereof will be presented. Possible future tests will be discussed. 30 refs., 2 figs., 1 tab

Object matching using a locally affine invariant and linear programming techniques.

Science.gov (United States)

Li, Hongsheng; Huang, Xiaolei; He, Lei

2013-02-01

In this paper, we introduce a new matching method based on a novel locally affine-invariant geometric constraint and linear programming techniques. To model and solve the matching problem in a linear programming formulation, all geometric constraints should be able to be exactly or approximately reformulated into a linear form. This is a major difficulty for this kind of matching algorithm. We propose a novel locally affine-invariant constraint which can be exactly linearized and requires a lot fewer auxiliary variables than other linear programming-based methods do. The key idea behind it is that each point in the template point set can be exactly represented by an affine combination of its neighboring points, whose weights can be solved easily by least squares. Errors of reconstructing each matched point using such weights are used to penalize the disagreement of geometric relationships between the template points and the matched points. The resulting overall objective function can be solved efficiently by linear programming techniques. Our experimental results on both rigid and nonrigid object matching show the effectiveness of the proposed algorithm.

Time-optimal feedback control for linear systems

International Nuclear Information System (INIS)

Mirica, S.

1976-01-01

The paper deals with the results of qualitative investigations of the time-optimal feedback control for linear systems with constant coefficients. In the first section, after some definitions and notations, two examples are given and it is shown that even the time-optimal control problem for linear systems with constant coefficients which looked like ''completely solved'' requires a further qualitative investigation of the stability to ''permanent perturbations'' of optimal feedback control. In the second section some basic results of the linear time-optimal control problem are reviewed. The third section deals with the definition of Boltyanskii's ''regular synthesis'' and its connection to Filippov's theory of right-hand side discontinuous differential equations. In the fourth section a theorem is proved concerning the stability to perturbations of time-optimal feedback control for linear systems with scalar control. In the last two sections it is proved that, if the matrix which defines the system has only real eigenvalues or is three-dimensional, the time-optimal feedback control defines a regular synthesis and therefore is stable to perturbations. (author)

Attainable conditions and exact invariant for the time-dependent harmonic oscillator

Energy Technology Data Exchange (ETDEWEB)

Guasti, Manuel Fernandez [Lab. de Optica Cuantica, Dep. de Fisica, Universidad A. Metropolitana, Unidad Iztapalapa, Mexico DF, Ap. Post. 55-534 (Mexico)

2006-09-22

The time-dependent oscillator equation is solved numerically for various trajectories in amplitude and phase variables. The solutions exhibit a finite time-dependent parameter whenever the squared amplitude times the derivative of the phase is invariant. If the invariant relationship does not hold, the time-dependent parameter has divergent singularities. These observations lead to the proposition that the harmonic oscillator equation with finite time-dependent parameter must have amplitude and phase solutions fulfilling the invariant relationship. Since the time-dependent parameter or the potential must be finite for any real oscillator implementation, the invariant must hold for any such physically realizable system.

Attainable conditions and exact invariant for the time-dependent harmonic oscillator

International Nuclear Information System (INIS)

Guasti, Manuel Fernandez

2006-01-01

The time-dependent oscillator equation is solved numerically for various trajectories in amplitude and phase variables. The solutions exhibit a finite time-dependent parameter whenever the squared amplitude times the derivative of the phase is invariant. If the invariant relationship does not hold, the time-dependent parameter has divergent singularities. These observations lead to the proposition that the harmonic oscillator equation with finite time-dependent parameter must have amplitude and phase solutions fulfilling the invariant relationship. Since the time-dependent parameter or the potential must be finite for any real oscillator implementation, the invariant must hold for any such physically realizable system

Target Tracking of a Linear Time Invariant System under Irregular Sampling

Directory of Open Access Journals (Sweden)

Jin Xue-Bo

2012-11-01

Full Text Available Due to event-triggered sampling in a system, or maybe with the aim of reducing data storage, tracking many applications will encounter irregular sampling time. By calculating the matrix exponential using an inverse Laplace transform, this paper transforms the irregular sampling tracking problem to the problem of tracking with time-varying parameters of a system. Using the common Kalman filter, the developed method is used to track a target for the simulated trajectory and video tracking. The results of simulation experiments have shown that it can obtain good estimation performance even at a very high irregular rate of measurement sampling time.

Time-scale invariance as an emergent property in a perceptron with realistic, noisy neurons.

Science.gov (United States)

Buhusi, Catalin V; Oprisan, Sorinel A

2013-05-01

In most species, interval timing is time-scale invariant: errors in time estimation scale up linearly with the estimated duration. In mammals, time-scale invariance is ubiquitous over behavioral, lesion, and pharmacological manipulations. For example, dopaminergic drugs induce an immediate, whereas cholinergic drugs induce a gradual, scalar change in timing. Behavioral theories posit that time-scale invariance derives from particular computations, rules, or coding schemes. In contrast, we discuss a simple neural circuit, the perceptron, whose output neurons fire in a clockwise fashion based on the pattern of coincidental activation of its input neurons. We show numerically that time-scale invariance emerges spontaneously in a perceptron with realistic neurons, in the presence of noise. Under the assumption that dopaminergic drugs modulate the firing of input neurons, and that cholinergic drugs modulate the memory representation of the criterion time, we show that a perceptron with realistic neurons reproduces the pharmacological clock and memory patterns, and their time-scale invariance, in the presence of noise. These results suggest that rather than being a signature of higher order cognitive processes or specific computations related to timing, time-scale invariance may spontaneously emerge in a massively connected brain from the intrinsic noise of neurons and circuits, thus providing the simplest explanation for the ubiquity of scale invariance of interval timing. Copyright © 2013 Elsevier B.V. All rights reserved.

On projective invariants based on non-linear connections in a Finsler space I

International Nuclear Information System (INIS)

Rastogi, S.C.

1986-05-01

The projective transformations based on linear connections in a Finsler space have been studied by Berwald, Misra, Szabo, Matsumoto, Fukai and Yamada, Rastogi and others. In almost all these papers the emphasis has been on studying Finsler spaces of scalar curvature, Finsler spaces of constant curvature and Finsler spaces of zero curvature with the help of projective curvature tensors of Weyl and Douglas. In 1981, the author studied projective transformation in a Finsler space based on non-linear connections and obtained certain projective invariants. The aim of the present paper is to study Finsler spaces of scalar curvature, constant curvature and zero curvature with the help of non-linear connections and projective invariants obtained from non-linear connections. (author)

The duality in the topological vector spaces and the linear physical system theory

International Nuclear Information System (INIS)

Oliveira Castro, F.M. de.

1980-01-01

The excitation-response relation in a linear, passive, and causal physical system who has the property of this relation be invariant for a time translation is univocally determined by the general form of the linear and continuous functionals defined on the linear topological space chosen for the representation of the excitations. (L.C.) [pt

Integral reinforcement learning for continuous-time input-affine nonlinear systems with simultaneous invariant explorations.

Science.gov (United States)

Lee, Jae Young; Park, Jin Bae; Choi, Yoon Ho

2015-05-01

This paper focuses on a class of reinforcement learning (RL) algorithms, named integral RL (I-RL), that solve continuous-time (CT) nonlinear optimal control problems with input-affine system dynamics. First, we extend the concepts of exploration, integral temporal difference, and invariant admissibility to the target CT nonlinear system that is governed by a control policy plus a probing signal called an exploration. Then, we show input-to-state stability (ISS) and invariant admissibility of the closed-loop systems with the policies generated by integral policy iteration (I-PI) or invariantly admissible PI (IA-PI) method. Based on these, three online I-RL algorithms named explorized I-PI and integral Q -learning I, II are proposed, all of which generate the same convergent sequences as I-PI and IA-PI under the required excitation condition on the exploration. All the proposed methods are partially or completely model free, and can simultaneously explore the state space in a stable manner during the online learning processes. ISS, invariant admissibility, and convergence properties of the proposed methods are also investigated, and related with these, we show the design principles of the exploration for safe learning. Neural-network-based implementation methods for the proposed schemes are also presented in this paper. Finally, several numerical simulations are carried out to verify the effectiveness of the proposed methods.

Non-Abelian parafermions in time-reversal-invariant interacting helical systems

Science.gov (United States)

Orth, Christoph P.; Tiwari, Rakesh P.; Meng, Tobias; Schmidt, Thomas L.

2015-02-01

The interplay between bulk spin-orbit coupling and electron-electron interactions produces umklapp scattering in the helical edge states of a two-dimensional topological insulator. If the chemical potential is at the Dirac point, umklapp scattering can open a gap in the edge state spectrum even if the system is time-reversal invariant. We determine the zero-energy bound states at the interfaces between a section of a helical liquid which is gapped out by the superconducting proximity effect and a section gapped out by umklapp scattering. We show that these interfaces pin charges which are multiples of e /2 , giving rise to a Josephson current with 8 π periodicity. Moreover, the bound states, which are protected by time-reversal symmetry, are fourfold degenerate and can be described as Z4 parafermions. We determine their braiding statistics and show how braiding can be implemented in topological insulator systems.

Time evolution of linearized gauge field fluctuations on a real-time lattice

Energy Technology Data Exchange (ETDEWEB)

Kurkela, A. [CERN, Theoretical Physics Department, Geneva (Switzerland); University of Stavanger, Faculty of Science and Technology, Stavanger (Norway); Lappi, T. [University of Jyvaeskylae, Department of Physics, P.O. Box 35, Jyvaeskylae (Finland); University of Helsinki, Helsinki Institute of Physics, P.O. Box 64, Helsinki (Finland); Peuron, J. [University of Jyvaeskylae, Department of Physics, P.O. Box 35, Jyvaeskylae (Finland)

2016-12-15

Classical real-time lattice simulations play an important role in understanding non-equilibrium phenomena in gauge theories and are used in particular to model the prethermal evolution of heavy-ion collisions. Due to instabilities, small quantum fluctuations on top of the classical background may significantly affect the dynamics of the system. In this paper we argue for the need for a numerical calculation of a system of classical gauge fields and small linearized fluctuations in a way that keeps the separation between the two manifest. We derive and test an explicit algorithm to solve these equations on the lattice, maintaining gauge invariance and Gauss' law. (orig.)

Time evolution of linearized gauge field fluctuations on a real-time lattice

CERN Document Server

Kurkela, Aleksi; Peuron, Jarkko

2016-01-01

Classical real-time lattice simulations play an important role in understanding non-equilibrium phenomena in gauge theories and are used in particular to model the prethermal evolution of heavy-ion collisions. Due to instabilities, small quantum fluctuations on top of the classical background may significantly affect the dynamics of the system. In this paper we argue for the need for a numerical calculation of a system of classical gauge fields and small linearized fluctuations in a way that keeps the separation between the two manifest. We derive and test an explicit algorithm to solve these equations on the lattice, maintaining gauge invariance and Gauss's law.

Compact invariant sets of the Bianchi VIII and Bianchi IX Hamiltonian systems

International Nuclear Information System (INIS)

Starkov, Konstantin E.

2011-01-01

In this Letter we prove that all compact invariant sets of the Bianchi VIII Hamiltonian system are contained in the set described by several simple linear equalities and inequalities. Moreover, we describe invariant domains in which the phase flow of this system has no recurrence property and show that there are no periodic orbits and neither homoclinic, nor heteroclinic orbits contained in the zero level set of its Hamiltonian. Similar results are obtained for the Bianchi IX Hamiltonian system. -- Highlights: → Zero level set of Hamiltonian of Bianchi VIII/IX systems contains no periodic orbits. → Similar conditions for homoclinic/heteroclinic orbits are given. → General nonexistence conditions of compact invariant sets are got.

Compact invariant sets of the Bianchi VIII and Bianchi IX Hamiltonian systems

Energy Technology Data Exchange (ETDEWEB)

Starkov, Konstantin E., E-mail: konst@citedi.mx [CITEDI-IPN, Av. del Parque 1310, Mesa de Otay, Tijuana, BC (Mexico)

2011-08-22

In this Letter we prove that all compact invariant sets of the Bianchi VIII Hamiltonian system are contained in the set described by several simple linear equalities and inequalities. Moreover, we describe invariant domains in which the phase flow of this system has no recurrence property and show that there are no periodic orbits and neither homoclinic, nor heteroclinic orbits contained in the zero level set of its Hamiltonian. Similar results are obtained for the Bianchi IX Hamiltonian system. -- Highlights: → Zero level set of Hamiltonian of Bianchi VIII/IX systems contains no periodic orbits. → Similar conditions for homoclinic/heteroclinic orbits are given. → General nonexistence conditions of compact invariant sets are got.

Invariant exchange perturbation theory for multicenter systems: Time-dependent perturbations

International Nuclear Information System (INIS)

Orlenko, E. V.; Evstafev, A. V.; Orlenko, F. E.

2015-01-01

A formalism of exchange perturbation theory (EPT) is developed for the case of interactions that explicitly depend on time. Corrections to the wave function obtained in any order of perturbation theory and represented in an invariant form include exchange contributions due to intercenter electron permutations in complex multicenter systems. For collisions of atomic systems with an arbitrary type of interaction, general expressions are obtained for the transfer (T) and scattering (S) matrices in which intercenter electron permutations between overlapping nonorthogonal states belonging to different centers (atoms) are consistently taken into account. The problem of collision of alpha particles with lithium atoms accompanied by the redistribution of electrons between centers is considered. The differential and total charge-exchange cross sections of lithium are calculated

Perfect observables for the hierarchical non-linear O(N)-invariant σ-model

International Nuclear Information System (INIS)

Wieczerkowski, C.; Xylander, Y.

1995-05-01

We compute moving eigenvalues and the eigenvectors of the linear renormalization group transformation for observables along the renormalized trajectory of the hierarchical non-linear O(N)-invariant σ-model by means of perturbation theory in the running coupling constant. Moving eigenvectors are defined as solutions to a Callan-Symanzik type equation. (orig.)

Time-dependent switched discrete-time linear systems control and filtering

CERN Document Server

Zhang, Lixian; Shi, Peng; Lu, Qiugang

2016-01-01

This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characteristics and a literature review mainly on the control and filtering for the underlying systems. By summarizing the multiple Lyapunov-like functions (MLFs) approach in which different requirements on comparisons of Lyapunov function values at switching instants, a series of methodologies are developed for the issues on stability and stabilization, and l2-gain performance or tube-based robustness for l∞ disturbance, respectively, in Chapters 2 and 3. Chapters 4 and 5 are devoted to the control and filtering problems for the time-dependent switched linear systems with either polytopic uncertainties or measurable time-varying...

New technique for real-time distortion-invariant multiobject recognition and classification

Science.gov (United States)

Hong, Rutong; Li, Xiaoshun; Hong, En; Wang, Zuyi; Wei, Hongan

2001-04-01

A real-time hybrid distortion-invariant OPR system was established to make 3D multiobject distortion-invariant automatic pattern recognition. Wavelet transform technique was used to make digital preprocessing of the input scene, to depress the noisy background and enhance the recognized object. A three-layer backpropagation artificial neural network was used in correlation signal post-processing to perform multiobject distortion-invariant recognition and classification. The C-80 and NOA real-time processing ability and the multithread programming technology were used to perform high speed parallel multitask processing and speed up the post processing rate to ROIs. The reference filter library was constructed for the distortion version of 3D object model images based on the distortion parameter tolerance measuring as rotation, azimuth and scale. The real-time optical correlation recognition testing of this OPR system demonstrates that using the preprocessing, post- processing, the nonlinear algorithm os optimum filtering, RFL construction technique and the multithread programming technology, a high possibility of recognition and recognition rate ere obtained for the real-time multiobject distortion-invariant OPR system. The recognition reliability and rate was improved greatly. These techniques are very useful to automatic target recognition.

Using impulses to control the convergence toward invariant surfaces of continuous dynamical systems

International Nuclear Information System (INIS)

Marão, José; Liu Xinzhi; Figueiredo, Annibal

2012-01-01

Let us consider a smooth invariant surface S of a given ordinary differential equations system. In this work we develop an impulsive control method in order to assure that the trajectories of the controlled system converge toward the surface S. The method approach is based on a property of a certain class of invariant surfaces whose the dynamics associated to their transverse directions can be described by a non-autonomous linear system. This fact allows to define an impulsive system which drives the trajectories toward the surface S. Also, we set up a definition of local stability exponents which can be associated to such kind of invariant surface.

Moment invariants for particle beams

International Nuclear Information System (INIS)

Lysenko, W.P.; Overley, M.S.

1988-01-01

The rms emittance is a certain function of second moments in 2-D phase space. It is preserved for linear uncoupled (1-D) motion. In this paper, the authors present new functions of moments that are invariants for coupled motion. These invariants were computed symbolically using a computer algebra system. Possible applications for these invariants are discussed. Also, approximate moment invariants for nonlinear motion are presented

Multiperiod Maximum Loss is time unit invariant.

Science.gov (United States)

Kovacevic, Raimund M; Breuer, Thomas

2016-01-01

Time unit invariance is introduced as an additional requirement for multiperiod risk measures: for a constant portfolio under an i.i.d. risk factor process, the multiperiod risk should equal the one period risk of the aggregated loss, for an appropriate choice of parameters and independent of the portfolio and its distribution. Multiperiod Maximum Loss over a sequence of Kullback-Leibler balls is time unit invariant. This is also the case for the entropic risk measure. On the other hand, multiperiod Value at Risk and multiperiod Expected Shortfall are not time unit invariant.

Invariant operator theory for the single-photon energy in time-varying media

International Nuclear Information System (INIS)

Jeong-Ryeol, Choi

2010-01-01

After the birth of quantum mechanics, the notion in physics that the frequency of light is the only factor that determines the energy of a single photon has played a fundamental role. However, under the assumption that the theory of Lewis–Riesenfeld invariants is applicable in quantum optics, it is shown in the present work that this widely accepted notion is valid only for light described by a time-independent Hamiltonian, i.e., for light in media satisfying the conditions, ε(i) = ε(0), μ(t) = μ(0), and σ(t) = 0 simultaneously. The use of the Lewis–Riesenfeld invariant operator method in quantum optics leads to a marvelous result: the energy of a single photon propagating through time-varying linear media exhibits nontrivial time dependence without a change of frequency. (general)

On Noether symmetries and form invariance of mechanico-electrical systems

International Nuclear Information System (INIS)

Fu Jingli; Chen Liqun

2004-01-01

This Letter focuses on form invariance and Noether symmetries of mechanico-electrical systems. Based on the invariance of Hamiltonian actions for mechanico-electrical systems under the infinitesimal transformation of the coordinates, the electric quantities and the time, the authors present the Noether symmetry transformation, the Noether quasi-symmetry transformation, the generalized Noether quasi-symmetry transformation and the general Killing equations of Lagrange mechanico-electrical systems and Lagrange-Maxwell mechanico-electrical systems. Using the invariance of the differential equations, satisfied by physical quantities, such as Lagrangian, non-potential general forces, under the infinitesimal transformation, the authors propose the definition and criterions of the form invariance for mechanico-electrical systems. The Letter also demonstrates connection between the Noether symmetries and the form invariance of mechanico-electrical systems. An example is designed to illustrate these results

Could solitons be adiabatic invariants attached to certain non linear equations

International Nuclear Information System (INIS)

Lochak, P.

1984-01-01

Arguments are given to support the claim that solitons should be the adiabatic invariants associated to certain non linear partial differential equations; a precise mathematical form of this conjecture is then stated. As a particular case of the conjecture, the Korteweg-de Vries equation is studied. (Auth.)

A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains

Science.gov (United States)

Rubagotti, Matteo; Zaccarian, Luca; Bemporad, Alberto

2016-05-01

This paper analyses stability of discrete-time piecewise-affine systems, defined on possibly non-invariant domains, taking into account the possible presence of multiple dynamics in each of the polytopic regions of the system. An algorithm based on linear programming is proposed, in order to prove exponential stability of the origin and to find a positively invariant estimate of its region of attraction. The results are based on the definition of a piecewise-affine Lyapunov function, which is in general discontinuous on the boundaries of the regions. The proposed method is proven to lead to feasible solutions in a broader range of cases as compared to a previously proposed approach. Two numerical examples are shown, among which a case where the proposed method is applied to a closed-loop system, to which model predictive control was applied without a-priori guarantee of stability.

Switched periodic systems in discrete time: stability and input-output norms

Science.gov (United States)

Bolzern, Paolo; Colaneri, Patrizio

2013-07-01

This paper deals with the analysis of stability and the characterisation of input-output norms for discrete-time periodic switched linear systems. Such systems consist of a network of time-periodic linear subsystems sharing the same state vector and an exogenous switching signal that triggers the jumps between the subsystems. The overall system exhibits a complex dynamic behaviour due to the interplay between the time periodicity of the subsystem parameters and the switching signal. Both arbitrary switching signals and signals satisfying a dwell-time constraint are considered. Linear matrix inequality conditions for stability and guaranteed H2 and H∞ performances are provided. The results heavily rely on the merge of the theory of linear periodic systems and recent developments on switched linear time-invariant systems.

Dynamics of unsymmetric piecewise-linear/non-linear systems using finite elements in time

Science.gov (United States)

Wang, Yu

1995-08-01

The dynamic response and stability of a single-degree-of-freedom system with unsymmetric piecewise-linear/non-linear stiffness are analyzed using the finite element method in the time domain. Based on a Hamilton's weak principle, this method provides a simple and efficient approach for predicting all possible fundamental and sub-periodic responses. The stability of the steady state response is determined by using Floquet's theory without any special effort for calculating transition matrices. This method is applied to a number of examples, demonstrating its effectiveness even for a strongly non-linear problem involving both clearance and continuous stiffness non-linearities. Close agreement is found between available published findings and the predictions of the finite element in time approach, which appears to be an efficient and reliable alternative technique for non-linear dynamic response and stability analysis of periodic systems.

Power properties of invariant tests for spatial autocorrelation in linear regression

NARCIS (Netherlands)

Martellosio, F.

2006-01-01

Many popular tests for residual spatial autocorrelation in the context of the linear regression model belong to the class of invariant tests. This paper derives a number of exact properties of the power function of such tests. In particular, we extend the work of Krämer (2005, Journal of Statistical

a Continuous-Time Positive Linear System

Directory of Open Access Journals (Sweden)

Kyungsup Kim

2013-01-01

Full Text Available This paper discusses a computational method to construct positive realizations with sparse matrices for continuous-time positive linear systems with multiple complex poles. To construct a positive realization of a continuous-time system, we use a Markov sequence similar to the impulse response sequence that is used in the discrete-time case. The existence of the proposed positive realization can be analyzed with the concept of a polyhedral convex cone. We provide a constructive algorithm to compute positive realizations with sparse matrices of some positive systems under certain conditions. A sufficient condition for the existence of a positive realization, under which the proposed constructive algorithm works well, is analyzed.

Phenomenology of local scale invariance: from conformal invariance to dynamical scaling

International Nuclear Information System (INIS)

Henkel, Malte

2002-01-01

Statistical systems displaying a strongly anisotropic or dynamical scaling behaviour are characterized by an anisotropy exponent θ or a dynamical exponent z. For a given value of θ (or z), we construct local scale transformations, which can be viewed as scale transformations with a space-time-dependent dilatation factor. Two distinct types of local scale transformations are found. The first type may describe strongly anisotropic scaling of static systems with a given value of θ, whereas the second type may describe dynamical scaling with a dynamical exponent z. Local scale transformations act as a dynamical symmetry group of certain non-local free-field theories. Known special cases of local scale invariance are conformal invariance for θ=1 and Schroedinger invariance for θ=2. The hypothesis of local scale invariance implies that two-point functions of quasi primary operators satisfy certain linear fractional differential equations, which are constructed from commuting fractional derivatives. The explicit solution of these yields exact expressions for two-point correlators at equilibrium and for two-point response functions out of equilibrium. A particularly simple and general form is found for the two-time auto response function. These predictions are explicitly confirmed at the uniaxial Lifshitz points in the ANNNI and ANNNS models and in the aging behaviour of simple ferromagnets such as the kinetic Glauber-Ising model and the kinetic spherical model with a non-conserved order parameter undergoing either phase-ordering kinetics or non-equilibrium critical dynamics

Self-Tuning Control of Linear Systems Followed by Deadzones

Directory of Open Access Journals (Sweden)

K. Kazlauskas

2014-02-01

Full Text Available The aim of the present paper is to increase the efficiency of self-tuning generalized minimum variance (GMV control of linear time-invariant (LTI systems followed by deadzone nonlinearities. An approach, based on reordering of observations to be processed for the reconstruction of an unknown internal signal that acts between LTI system and a static nonlinear block of the closed-loop Wiener system, has been developed. The results of GMV self-tuning control of the second order LTI system with an ordinary deadzone are given.

Kalman filtering for time-delayed linear systems

Institute of Scientific and Technical Information of China (English)

LU Xiao; WANG Wei

2006-01-01

This paper is to study the linear minimum variance estimation for discrete- time systems. A simple approach to the problem is presented by developing re-organized innovation analysis for the systems with instantaneous and double time-delayed measurements. It is shown that the derived estimator involves solving three different standard Kalman filtering with the same dimension as the original system. The obtained results form the basis for solving some complicated problems such as H∞ fixed-lag smoothing, preview control, H∞ filtering and control with time delays.

On the dynamical mass generation in gauge-invariant non-linear σ-models

International Nuclear Information System (INIS)

Diaz, A.; Helayel-Neto, J.A.; Smith, A.W.

1987-12-01

We argue that external gauge fields coupled in a gauge-invariant way to both the bosonic and supersymmetric two-dimensional non-linear σ-models acquire a dynamical mass term whenever the target space is restricted to be a group manifold. (author). 11 refs

Slow Invariant Manifolds in Chemically Reactive Systems

Science.gov (United States)

Paolucci, Samuel; Powers, Joseph M.

2006-11-01

The scientific design of practical gas phase combustion devices has come to rely on the use of mathematical models which include detailed chemical kinetics. Such models intrinsically admit a wide range of scales which renders their accurate numerical approximation difficult. Over the past decade, rational strategies, such as Intrinsic Low Dimensional Manifolds (ILDM) or Computational Singular Perturbations (CSP), for equilibrating fast time scale events have been successfully developed, though their computation can be challenging and their accuracy in most cases uncertain. Both are approximations to the preferable slow invariant manifold which best describes how the system evolves in the long time limit. Strategies for computing the slow invariant manifold are examined, and results are presented for practical combustion systems.

Symmetries and invariants of the oscillator and envelope equations with time-dependent frequency

Directory of Open Access Journals (Sweden)

Hong Qin

2006-05-01

Full Text Available The single-particle dynamics in a time-dependent focusing field is examined. The existence of the Courant-Snyder invariant, a fundamental concept in accelerator physics, is fundamentally a result of the corresponding symmetry admitted by the harmonic oscillator equation with linear time-dependent frequency. It is demonstrated that the Lie algebra of the symmetry group for the oscillator equation with time-dependent frequency is eight dimensional, and is composed of four independent subalgebras. A detailed analysis of the admitted symmetries reveals a deeper connection between the nonlinear envelope equation and the oscillator equation. A general theorem regarding the symmetries and invariants of the envelope equation, which includes the existence of the Courant-Snyder invariant as a special case, is demonstrated. As an application to accelerator physics, the symmetries of the envelope equation enable a fast numerical algorithm for finding matched solutions without using the conventional iterative Newton’s method, where the envelope equation needs to be numerically integrated once for every iteration, and the Jacobi matrix needs to be calculated for the envelope perturbation.

Scale-invariant Green-Kubo relation for time-averaged diffusivity

Science.gov (United States)

Meyer, Philipp; Barkai, Eli; Kantz, Holger

2017-12-01

In recent years it was shown both theoretically and experimentally that in certain systems exhibiting anomalous diffusion the time- and ensemble-averaged mean-squared displacement are remarkably different. The ensemble-averaged diffusivity is obtained from a scaling Green-Kubo relation, which connects the scale-invariant nonstationary velocity correlation function with the transport coefficient. Here we obtain the relation between time-averaged diffusivity, usually recorded in single-particle tracking experiments, and the underlying scale-invariant velocity correlation function. The time-averaged mean-squared displacement is given by 〈δ2¯〉 ˜2 DνtβΔν -β , where t is the total measurement time and Δ is the lag time. Here ν is the anomalous diffusion exponent obtained from ensemble-averaged measurements 〈x2〉 ˜tν , while β ≥-1 marks the growth or decline of the kinetic energy 〈v2〉 ˜tβ . Thus, we establish a connection between exponents that can be read off the asymptotic properties of the velocity correlation function and similarly for the transport constant Dν. We demonstrate our results with nonstationary scale-invariant stochastic and deterministic models, thereby highlighting that systems with equivalent behavior in the ensemble average can differ strongly in their time average. If the averaged kinetic energy is finite, β =0 , the time scaling of 〈δ2¯〉 and 〈x2〉 are identical; however, the time-averaged transport coefficient Dν is not identical to the corresponding ensemble-averaged diffusion constant.

Disformal invariance of continuous media with linear equation of state

Energy Technology Data Exchange (ETDEWEB)

Celoria, Marco [Gran Sasso Science Institute (INFN), Viale Francesco Crispi 7, L' Aquila, I-67100 Italy (Italy); Matarrese, Sabino [Dipartimento di Fisica e Astronomia ' G. Galilei' , Università degli Studi di Padova, via Marzolo 8, Padova, I-35131 Italy (Italy); Pilo, Luigi, E-mail: marco.celoria@gssi.infn.it, E-mail: sabino.matarrese@pd.infn.it, E-mail: luigi.pilo@aquila.infn.it [Dipartimento di Fisica, Università di L' Aquila, L' Aquila, I-67010 Italy (Italy)

2017-02-01

We show that the effective theory describing single component continuous media with a linear and constant equation of state of the form p = w ρ is invariant under a 1-parameter family of continuous disformal transformations. In the special case of w =1/3 (ultrarelativistic gas), such a family reduces to conformal transformations. As examples, perfect fluids, irrotational dust (mimetic matter) and homogeneous and isotropic solids are discussed.

Design techniques for large scale linear measurement systems

International Nuclear Information System (INIS)

Candy, J.V.

1979-03-01

Techniques to design measurement schemes for systems modeled by large scale linear time invariant systems, i.e., physical systems modeled by a large number (> 5) of ordinary differential equations, are described. The techniques are based on transforming the physical system model to a coordinate system facilitating the design and then transforming back to the original coordinates. An example of a three-stage, four-species, extraction column used in the reprocessing of spent nuclear fuel elements is presented. The basic ideas are briefly discussed in the case of noisy measurements. An example using a plutonium nitrate storage vessel (reprocessing) with measurement uncertainty is also presented

LMI-based gain scheduled controller synthesis for a class of linear parameter varying systems

DEFF Research Database (Denmark)

Bendtsen, Jan Dimon; Anderson, Brian; Lanzon, Alexander

2006-01-01

This paper presents a novel method for constructing controllers for a class of single-input multiple-output (SIMO) linear parameter varying (LPV) systems. This class of systems encompasses many physical systems, in particular systems where individual components vary with time, and is therefore...... of significant practical relevance to control designers. The control design presented in this paper has the properties that the system matrix of the closed loop is multi-affine in the various scalar parameters, and that the resulting controller ensures a certain degree of stability for the closed loop even when...... as a standard linear time-invariant (LTI) design combined with a set of linear matrix inequalities, which can be solved efficiently with software tools. The design procedure is illustrated by a numerical example....

System theory as applied differential geometry. [linear system

Science.gov (United States)

Hermann, R.

1979-01-01

The invariants of input-output systems under the action of the feedback group was examined. The approach used the theory of Lie groups and concepts of modern differential geometry, and illustrated how the latter provides a basis for the discussion of the analytic structure of systems. Finite dimensional linear systems in a single independent variable are considered. Lessons of more general situations (e.g., distributed parameter and multidimensional systems) which are increasingly encountered as technology advances are presented.

Ermakov–Lewis invariants and Reid systems

Energy Technology Data Exchange (ETDEWEB)

Mancas, Stefan C., E-mail: stefan.mancas@erau.edu [Department of Mathematics, Embry-Riddle Aeronautical University, Daytona Beach, FL 32114-3900 (United States); Rosu, Haret C., E-mail: hcr@ipicyt.edu.mx [IPICyT, Instituto Potosino de Investigacion Cientifica y Tecnologica, Camino a la presa San José 2055, Col. Lomas 4a Sección, 78216 San Luis Potosí, S.L.P. (Mexico)

2014-06-13

Reid's mth-order generalized Ermakov systems of nonlinear coupling constant α are equivalent to an integrable Emden–Fowler equation. The standard Ermakov–Lewis invariant is discussed from this perspective, and a closed formula for the invariant is obtained for the higher-order Reid systems (m≥3). We also discuss the parametric solutions of these systems of equations through the integration of the Emden–Fowler equation and present an example of a dynamical system for which the invariant is equivalent to the total energy. - Highlights: • Reid systems of order m are connected to Emden–Fowler equations. • General expressions for the Ermakov–Lewis invariants both for m=2 and m≥3 are obtained. • Parametric solutions of the Emden–Fowler equations related to Reid systems are obtained.

On the Liouvillian solution of second-order linear differential equations and algebraic invariant curves

International Nuclear Information System (INIS)

Man, Yiu-Kwong

2010-01-01

In this communication, we present a method for computing the Liouvillian solution of second-order linear differential equations via algebraic invariant curves. The main idea is to integrate Kovacic's results on second-order linear differential equations with the Prelle-Singer method for computing first integrals of differential equations. Some examples on using this approach are provided. (fast track communication)

Compressive System Identification in the Linear Time-Invariant framework

KAUST Repository

Toth, Roland; Sanandaji, Borhan M.; Poolla, Kameshwar; Vincent, Tyrone L.

2011-01-01

Selection of an efficient model parametrization (model order, delay, etc.) has crucial importance in parametric system identification. It navigates a trade-off between representation capabilities of the model (structural bias) and effects of over-parametrization

Identification of invariant measures of interacting systems

International Nuclear Information System (INIS)

Chen Jinwen

2004-01-01

In this paper we provide an approach for identifying certain mixture representations of some invariant measures of interacting stochastic systems. This is related to the problem of ergodicity of certain extremal invariant measures that are translation invariant. Corresponding to these, results concerning the existence of invariant measures and certain weak convergence of the systems are also provided

Optimal control linear quadratic methods

CERN Document Server

Anderson, Brian D O

2007-01-01

This augmented edition of a respected text teaches the reader how to use linear quadratic Gaussian methods effectively for the design of control systems. It explores linear optimal control theory from an engineering viewpoint, with step-by-step explanations that show clearly how to make practical use of the material.The three-part treatment begins with the basic theory of the linear regulator/tracker for time-invariant and time-varying systems. The Hamilton-Jacobi equation is introduced using the Principle of Optimality, and the infinite-time problem is considered. The second part outlines the

Acoustic fMRI noise : Linear time-invariant system model

NARCIS (Netherlands)

Sierra, Carlos V. Rizzo; Versluis, Maarten J.; Hoogduin, Johannes M.; Duifhuis, Hendrikus (Diek)

Functional magnetic resonance imaging (fMRI) enables sites of brain activation to be localized in human subjects. For auditory system studies, however, the acoustic noise generated by the scanner tends to interfere with the assessments of this activation. Understanding and modeling fMRI acoustic

Finite-Time Stability Analysis of Discrete-Time Linear Singular Systems

Directory of Open Access Journals (Sweden)

Songlin Wo

2014-01-01

Full Text Available The finite-time stability (FTS problem of discrete-time linear singular systems (DTLSS is considered in this paper. A necessary and sufficient condition for FTS is obtained, which can be expressed in terms of matrix inequalities. Then, another form of the necessary and sufficient condition for FTS is also given by using matrix-null space technology. In order to solve the stability problem expediently, a sufficient condition for FTS is given via linear matrix inequality (LMI approach; this condition can be expressed in terms of LMIs. Finally, an illustrating example is also given to show the effectiveness of the proposed method.

Quantum tests for the linearity and permutation invariance of Boolean functions

Energy Technology Data Exchange (ETDEWEB)

Hillery, Mark [Department of Physics, Hunter College of the City University of New York, 695 Park Avenue, New York, New York 10021 (United States); Andersson, Erika [SUPA, School of Engineering and Physical Sciences, Heriot-Watt University, Edinburgh EH14 4AS (United Kingdom)

2011-12-15

The goal in function property testing is to determine whether a black-box Boolean function has a certain property or is {epsilon}-far from having that property. The performance of the algorithm is judged by how many calls need to be made to the black box in order to determine, with high probability, which of the two alternatives is the case. Here we present two quantum algorithms, the first to determine whether the function is linear and the second to determine whether it is symmetric (invariant under permutations of the arguments). Both require order {epsilon}{sup -2/3} calls to the oracle, which is better than known classical algorithms. In addition, in the case of linearity testing, if the function is linear, the quantum algorithm identifies which linear function it is. The linearity test combines the Bernstein-Vazirani algorithm and amplitude amplification, while the test to determine whether a function is symmetric uses projective measurements and amplitude amplification.

Extension of shift-invariant systems in L2(ℝ) to frames

DEFF Research Database (Denmark)

Bownik, Marcin; Christensen, Ole; Huang, Xinli

2012-01-01

In this article, we show that any shift-invariant Bessel sequence with an at most countable number of generators can be extended to a tight frame for its closed linear span by adding another shift-invariant system with at most the same number of generators. We show that in general this result...... is optimal, by providing examples where it is impossible to obtain a tight frame by adding a smaller number of generators. An alternative construction (which avoids the technical complication of extracting the square root of a positive operator) yields an extension of the given Bessel sequence to a pair...

Linear quadratic Gaussian balancing for discrete-time infinite-dimensional linear systems

NARCIS (Netherlands)

Opmeer, MR; Curtain, RF

2004-01-01

In this paper, we study the existence of linear quadratic Gaussian (LQG)-balanced realizations for discrete-time infinite-dimensional systems. LQG-balanced realizations are those for which the smallest nonnegative self-adjoint solutions of the control and filter Riccati equations are equal. We show

Approaches to linear local gauge-invariant observables in inflationary cosmologies

Science.gov (United States)

Fröb, Markus B.; Hack, Thomas-Paul; Khavkine, Igor

2018-06-01

We review and relate two recent complementary constructions of linear local gauge-invariant observables for cosmological perturbations in generic spatially flat single-field inflationary cosmologies. After briefly discussing their physical significance, we give explicit, covariant and mutually invertible transformations between the two sets of observables, thus resolving any doubts about their equivalence. In this way, we get a geometric interpretation and show the completeness of both sets of observables, while previously each of these properties was available only for one of them.

Output-only modal parameter estimator of linear time-varying structural systems based on vector TAR model and least squares support vector machine

Science.gov (United States)

Zhou, Si-Da; Ma, Yuan-Chen; Liu, Li; Kang, Jie; Ma, Zhi-Sai; Yu, Lei

2018-01-01

Identification of time-varying modal parameters contributes to the structural health monitoring, fault detection, vibration control, etc. of the operational time-varying structural systems. However, it is a challenging task because there is not more information for the identification of the time-varying systems than that of the time-invariant systems. This paper presents a vector time-dependent autoregressive model and least squares support vector machine based modal parameter estimator for linear time-varying structural systems in case of output-only measurements. To reduce the computational cost, a Wendland's compactly supported radial basis function is used to achieve the sparsity of the Gram matrix. A Gamma-test-based non-parametric approach of selecting the regularization factor is adapted for the proposed estimator to replace the time-consuming n-fold cross validation. A series of numerical examples have illustrated the advantages of the proposed modal parameter estimator on the suppression of the overestimate and the short data. A laboratory experiment has further validated the proposed estimator.

Is the local linearity of space-time inherited from the linearity of probabilities?

Science.gov (United States)

Müller, Markus P.; Carrozza, Sylvain; Höhn, Philipp A.

2017-02-01

The appearance of linear spaces, describing physical quantities by vectors and tensors, is ubiquitous in all of physics, from classical mechanics to the modern notion of local Lorentz invariance. However, as natural as this seems to the physicist, most computer scientists would argue that something like a ‘local linear tangent space’ is not very typical and in fact a quite surprising property of any conceivable world or algorithm. In this paper, we take the perspective of the computer scientist seriously, and ask whether there could be any inherently information-theoretic reason to expect this notion of linearity to appear in physics. We give a series of simple arguments, spanning quantum information theory, group representation theory, and renormalization in quantum gravity, that supports a surprising thesis: namely, that the local linearity of space-time might ultimately be a consequence of the linearity of probabilities. While our arguments involve a fair amount of speculation, they have the virtue of being independent of any detailed assumptions on quantum gravity, and they are in harmony with several independent recent ideas on emergent space-time in high-energy physics.

Is the local linearity of space-time inherited from the linearity of probabilities?

International Nuclear Information System (INIS)

Müller, Markus P; Carrozza, Sylvain; Höhn, Philipp A

2017-01-01

The appearance of linear spaces, describing physical quantities by vectors and tensors, is ubiquitous in all of physics, from classical mechanics to the modern notion of local Lorentz invariance. However, as natural as this seems to the physicist, most computer scientists would argue that something like a ‘local linear tangent space’ is not very typical and in fact a quite surprising property of any conceivable world or algorithm. In this paper, we take the perspective of the computer scientist seriously, and ask whether there could be any inherently information-theoretic reason to expect this notion of linearity to appear in physics. We give a series of simple arguments, spanning quantum information theory, group representation theory, and renormalization in quantum gravity, that supports a surprising thesis: namely, that the local linearity of space-time might ultimately be a consequence of the linearity of probabilities. While our arguments involve a fair amount of speculation, they have the virtue of being independent of any detailed assumptions on quantum gravity, and they are in harmony with several independent recent ideas on emergent space-time in high-energy physics. (paper)

Dependence of the fundamental time eigenvalue of linear transport operator on the system size and other parameters - An application of the Perron-Frobenius theorem

International Nuclear Information System (INIS)

Sahni, D.C.

1991-01-01

Many papers have been devoted to the study of the spectral properties of the linear (neutron) transport equation. Most of the theoretical investigations have concentrated on the existence (or otherwise) of a continuous spectrum, point spectrum, a leading/dominant eigenvalue, and a corresponding positive eigenvector. It is shown that the fundamental time eigenvalue of the linear transport operator increases with the size of the system. This follows from the increase in the largest eigenvalue of a non-negative irreducible matrix whenever any matrix element his increased. This result of matrix analysis is generalized to more general Krein-Rutman operators that leave a cone of vectors invariant

Linear filters as a method of real-time prediction of geomagnetic activity

International Nuclear Information System (INIS)

McPherron, R.L.; Baker, D.N.; Bargatze, L.F.

1985-01-01

Important factors controlling geomagnetic activity include the solar wind velocity, the strength of the interplanetary magnetic field (IMF), and the field orientation. Because these quantities change so much in transit through the solar wind, real-time monitoring immediately upstream of the earth provides the best input for any technique of real-time prediction. One such technique is linear prediction filtering which utilizes past histories of the input and output of a linear system to create a time-invariant filter characterizing the system. Problems of nonlinearity or temporal changes of the system can be handled by appropriate choice of input parameters and piecewise approximation in various ranges of the input. We have created prediction filters for all the standard magnetic indices and tested their efficiency. The filters show that the initial response of the magnetosphere to a southward turning of the IMF peaks in 20 minutes and then again in 55 minutes. After a northward turning, auroral zone indices and the midlatitude ASYM index return to background within 2 hours, while Dst decays exponentially with a time constant of about 8 hours. This paper describes a simple, real-time system utilizing these filters which could predict a substantial fraction of the variation in magnetic activity indices 20 to 50 minutes in advance

A general digital computer procedure for synthesizing linear automatic control systems

International Nuclear Information System (INIS)

Cummins, J.D.

1961-10-01

The fundamental concepts required for synthesizing a linear automatic control system are considered. A generalized procedure for synthesizing automatic control systems is demonstrated. This procedure has been programmed for the Ferranti Mercury and the IBM 7090 computers. Details of the programmes are given. The procedure uses the linearized set of equations which describe the plant to be controlled as the starting point. Subsequent computations determine the transfer functions between any desired variables. The programmes also compute the root and phase loci for any linear (and some non-linear) configurations in the complex plane, the open loop and closed loop frequency responses of a system, the residues of a function of the complex variable 's' and the time response corresponding to these residues. With these general programmes available the design of 'one point' automatic control systems becomes a routine scientific procedure. Also dynamic assessments of plant may be carried out. Certain classes of multipoint automatic control problems may also be solved with these procedures. Autonomous systems, invariant systems and orthogonal systems may also be studied. (author)

Translation invariant time-dependent solutions to massive gravity II

Science.gov (United States)

Mourad, J.; Steer, D. A.

2014-06-01

This paper is a sequel to JCAP 12 (2013) 004 and is also devoted to translation-invariant solutions of ghost-free massive gravity in its moving frame formulation. Here we consider a mass term which is linear in the vielbein (corresponding to a β3 term in the 4D metric formulation) in addition to the cosmological constant. We determine explicitly the constraints, and from the initial value formulation show that the time-dependent solutions can have singularities at a finite time. Although the constraints give, as in the β1 case, the correct number of degrees of freedom for a massive spin two field, we show that the lapse function can change sign at a finite time causing a singular time evolution. This is very different to the β1 case where time evolution is always well defined. We conclude that the β3 mass term can be pathological and should be treated with care.

Measuring the spin Chern number in time-reversal-invariant Hofstadter optical lattices

Energy Technology Data Exchange (ETDEWEB)

Zhang, Dan-Wei, E-mail: zdanwei@126.com [Guangdong Provincial Key Laboratory of Quantum Engineering and Quantum Materials, SPTE, South China Normal University, Guangzhou 510006 (China); Cao, Shuai, E-mail: shuaicao2004@163.com [Department of Applied Physics, College of Electronic Engineering, South China Agricultural University, Guangzhou 510642 China (China)

2016-10-14

We propose an experimental scheme to directly measure the spin Chern number of the time-reversal-invariant Hofstadter model in optical lattices. We first show that this model can be realized by using ultracold Fermi atoms with two pseudo-spin states encoded by the internal Zeeman states in a square optical lattice and the corresponding topological Bloch bands are characterized by the spin Chern number. We then propose and numerically demonstrate that this topological invariant can be extracted from the shift of the hybrid Wannier center in the optical lattice. By spin-resolved in situ detection of the atomic densities along the transverse direction combined with time-of-flight measurement along another spatial direction, the spin Chern number in this system is directly measured. - Highlights: • The cold-atom optical-lattice scheme for realizing the time-reversal-invariant Hofstadter model is proposed. • The intrinsic spin Chern number related to the hybrid Wannier center in the optical lattice is investigated. • Direct measurement of the spin Chern number in the proposed system is theoretically demonstrated.

Global stabilization of linear continuous time-varying systems with bounded controls

International Nuclear Information System (INIS)

Phat, V.N.

2004-08-01

This paper deals with the problem of global stabilization of a class of linear continuous time-varying systems with bounded controls. Based on the controllability of the nominal system, a sufficient condition for the global stabilizability is proposed without solving any Riccati differential equation. Moreover, we give sufficient conditions for the robust stabilizability of perturbation/uncertain linear time-varying systems with bounded controls. (author)

A circuit-level analysis of third order intermodulation mechanisms in CMOS mixers using time-invariant power and Volterra series

NARCIS (Netherlands)

Sakian, P.; Mahmoudi, R.; Roermund, van A.H.M.

2011-01-01

An in-depth analysis is performed on the third-order intermodulation distortions (IMD3) in the switching pair of active CMOS mixers. The nonlinear time-varying switching pair is described by a hypothetical circuit composed of a nonlinear time-invariant circuit cascaded with a linear time-varying

Finite-Time Robust H∞ Control for Uncertain Linear Continuous-Time Singular Systems with Exogenous Disturbances

Directory of Open Access Journals (Sweden)

Songlin Wo

2018-01-01

Full Text Available Singular systems arise in a great deal of domains of engineering and can be used to solve problems which are more difficult and more extensive than regular systems to solve. Therefore, in this paper, the definition of finite-time robust H∞ control for uncertain linear continuous-time singular systems is presented. The problem we address is to design a robust state feedback controller which can deal with the singular system with time-varying norm-bounded exogenous disturbance, such that the singular system is finite-time robust bounded (FTRB with disturbance attenuation γ. Sufficient conditions for the existence of solutions to this problem are obtained in terms of linear matrix equalities (LMIs. When these LMIs are feasible, the desired robust controller is given. A detailed solving method is proposed for the restricted linear matrix inequalities. Finally, examples are given to show the validity of the methodology.

Real-time trajectory analysis using stacked invariance methods

OpenAIRE

Kitts, B.

1998-01-01

Invariance methods are used widely in pattern recognition as a preprocessing stage before algorithms such as neural networks are applied to the problem. A pattern recognition system has to be able to recognise objects invariant to scale, translation, and rotation. Presumably the human eye implements some of these preprocessing transforms in making sense of incoming stimuli, for example, placing signals onto a log scale. This paper surveys many of the commonly used invariance methods, and asse...

Linear system identification via backward-time observer models

Science.gov (United States)

Juang, Jer-Nan; Phan, Minh

1993-01-01

This paper presents an algorithm to identify a state-space model of a linear system using a backward-time approach. The procedure consists of three basic steps. First, the Markov parameters of a backward-time observer are computed from experimental input-output data. Second, the backward-time observer Markov parameters are decomposed to obtain the backward-time system Markov parameters (backward-time pulse response samples) from which a backward-time state-space model is realized using the Eigensystem Realization Algorithm. Third, the obtained backward-time state space model is converted to the usual forward-time representation. Stochastic properties of this approach will be discussed. Experimental results are given to illustrate when and to what extent this concept works.

Linear systems with unstructured multiplicative uncertainty: Modeling and robust stability analysis.

Directory of Open Access Journals (Sweden)

Radek Matušů

Full Text Available This article deals with continuous-time Linear Time-Invariant (LTI Single-Input Single-Output (SISO systems affected by unstructured multiplicative uncertainty. More specifically, its aim is to present an approach to the construction of uncertain models based on the appropriate selection of a nominal system and a weight function and to apply the fundamentals of robust stability investigation for considered sort of systems. The initial theoretical parts are followed by three extensive illustrative examples in which the first order time-delay, second order and third order plants with parametric uncertainty are modeled as systems with unstructured multiplicative uncertainty and subsequently, the robust stability of selected feedback loops containing constructed models and chosen controllers is analyzed and obtained results are discussed.

Cosmological disformal invariance

Energy Technology Data Exchange (ETDEWEB)

Domènech, Guillem; Sasaki, Misao [Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502 (Japan); Naruko, Atsushi, E-mail: guillem.domenech@yukawa.kyoto-u.ac.jp, E-mail: naruko@th.phys.titech.ac.jp, E-mail: misao@yukawa.kyoto-u.ac.jp [Department of Physics, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551 (Japan)

2015-10-01

The invariance of physical observables under disformal transformations is considered. It is known that conformal transformations leave physical observables invariant. However, whether it is true for disformal transformations is still an open question. In this paper, it is shown that a pure disformal transformation without any conformal factor is equivalent to rescaling the time coordinate. Since this rescaling applies equally to all the physical quantities, physics must be invariant under a disformal transformation, that is, neither causal structure, propagation speed nor any other property of the fields are affected by a disformal transformation itself. This fact is presented at the action level for gravitational and matter fields and it is illustrated with some examples of observable quantities. We also find the physical invariance for cosmological perturbations at linear and high orders in perturbation, extending previous studies. Finally, a comparison with Horndeski and beyond Horndeski theories under a disformal transformation is made.

Robustness of Linear Systems towards Multi-Dissipative Pertubations

DEFF Research Database (Denmark)

Thygesen, Uffe Høgsbro; Poulsen, Niels Kjølstad

1997-01-01

We consider the question of robust stability of a linear time invariant plant subject to dynamic perturbations, which are dissipative in the sense of Willems with respect to several quadratic supply rates. For instance, parasitic dynamics are often both small gain and passive. We reduce several...... robustness analysis questions to linear matrix inequalities: robust stability, robust H2 performance and robust performance in presence of disturbances with finite signal-to-noise ratios...

Time-reversal invariance in multiple collisions between coupled masses

International Nuclear Information System (INIS)

Crawford, F.S.

1989-01-01

The time evolution of two mechanical oscillators coupled by a spring can (but need not) exhibit an instant t = 2t' when the initial conditions at t = 0 have been exactly restored. When that is the case, then at t = t' energy and momentum have been exchanged exactly as in an elastic collision between two free particles, and the evolution of the system from t = t' to 2t' is related to that from 0 to t' by time-reversal invariance. A similar ''simulation of elastic scattering'' at t = t' can occur for two free particles coupled via collisions with an intermediary mass that bounces back and forth between the two particles provided the intermediary is left at rest at t = t'. Examined here is the time evolution of the exchange of momentum and energy for these two examples, determining the values of the coupling spring constant (or mass value) of the intermediating spring (or mass) needed to simulate single elastic scattering between free particles, and looking at the manifestation of time-reversal invariance

Stability analysis of linear switching systems with time delays

International Nuclear Information System (INIS)

Li Ping; Zhong Shouming; Cui Jinzhong

2009-01-01

The issue of stability analysis of linear switching system with discrete and distributed time delays is studied in this paper. An appropriate switching rule is applied to guarantee the stability of the whole switching system. Our results use a Riccati-type Lyapunov functional under a condition on the time delay. So, switching systems with mixed delays are developed. A numerical example is given to illustrate the effectiveness of our results.

Cohomological invariants in Galois cohomology

CERN Document Server

Garibaldi, Skip; Serre, Jean Pierre

2003-01-01

This volume is concerned with algebraic invariants, such as the Stiefel-Whitney classes of quadratic forms (with values in Galois cohomology mod 2) and the trace form of �tale algebras (with values in the Witt ring). The invariants are analogues for Galois cohomology of the characteristic classes of topology. Historically, one of the first examples of cohomological invariants of the type considered here was the Hasse-Witt invariant of quadratic forms. The first part classifies such invariants in several cases. A principal tool is the notion of versal torsor, which is an analogue of the universal bundle in topology. The second part gives Rost's determination of the invariants of G-torsors with values in H^3(\\mathbb{Q}/\\mathbb{Z}(2)), when G is a semisimple, simply connected, linear group. This part gives detailed proofs of the existence and basic properties of the Rost invariant. This is the first time that most of this material appears in print.

Invariants of generalized Lie algebras

International Nuclear Information System (INIS)

Agrawala, V.K.

1981-01-01

Invariants and invariant multilinear forms are defined for generalized Lie algebras with arbitrary grading and commutation factor. Explicit constructions of invariants and vector operators are given by contracting invariant forms with basic elements of the generalized Lie algebra. The use of the matrix of a linear map between graded vector spaces is emphasized. With the help of this matrix, the concept of graded trace of a linear operator is introduced, which is a rich source of multilinear forms of degree zero. To illustrate the use of invariants, a characteristic identity similar to that of Green is derived and a few Racah coefficients are evaluated in terms of invariants

Lag synchronization of chaotic systems with time-delayed linear

Indian Academy of Sciences (India)

In this paper, the lag synchronization of chaotic systems with time-delayed linear terms via impulsive control is investigated. Based on the stability theory of impulsive delayed differential equations, some sufficient conditions are obtained guaranteeing the synchronized behaviours between two delayed chaotic systems.

A model for size- and rotation-invariant pattern processing in the visual system.

Science.gov (United States)

Reitboeck, H J; Altmann, J

1984-01-01

The mapping of retinal space onto the striate cortex of some mammals can be approximated by a log-polar function. It has been proposed that this mapping is of functional importance for scale- and rotation-invariant pattern recognition in the visual system. An exact log-polar transform converts centered scaling and rotation into translations. A subsequent translation-invariant transform, such as the absolute value of the Fourier transform, thus generates overall size- and rotation-invariance. In our model, the translation-invariance is realized via the R-transform. This transform can be executed by simple neural networks, and it does not require the complex computations of the Fourier transform, used in Mellin-transform size-invariance models. The logarithmic space distortion and differentiation in the first processing stage of the model is realized via "Mexican hat" filters whose diameter increases linearly with eccentricity, similar to the characteristics of the receptive fields of retinal ganglion cells. Except for some special cases, the model can explain object recognition independent of size, orientation and position. Some general problems of Mellin-type size-invariance models-that also apply to our model-are discussed.

On the dynamic analysis of piecewise-linear networks

OpenAIRE

Heemels, W.P.M.H.; Camlibel, M.K.; Schumacher, J.M.

2002-01-01

Piecewise-linear (PL) modeling is often used to approximate the behavior of nonlinear circuits. One of the possible PL modeling methodologies is based on the linear complementarity problem, and this approach has already been used extensively in the circuits and systems community for static networks. In this paper, the object of study will be dynamic electrical circuits that can be recast as linear complementarity systems, i.e., as interconnections of linear time-invariant differential equatio...

Linear and nonlinear dynamic systems in financial time series prediction

Directory of Open Access Journals (Sweden)

Salim Lahmiri

2012-10-01

Full Text Available Autoregressive moving average (ARMA process and dynamic neural networks namely the nonlinear autoregressive moving average with exogenous inputs (NARX are compared by evaluating their ability to predict financial time series; for instance the S&P500 returns. Two classes of ARMA are considered. The first one is the standard ARMA model which is a linear static system. The second one uses Kalman filter (KF to estimate and predict ARMA coefficients. This model is a linear dynamic system. The forecasting ability of each system is evaluated by means of mean absolute error (MAE and mean absolute deviation (MAD statistics. Simulation results indicate that the ARMA-KF system performs better than the standard ARMA alone. Thus, introducing dynamics into the ARMA process improves the forecasting accuracy. In addition, the ARMA-KF outperformed the NARX. This result may suggest that the linear component found in the S&P500 return series is more dominant than the nonlinear part. In sum, we conclude that introducing dynamics into the ARMA process provides an effective system for S&P500 time series prediction.

Explicit/multi-parametric model predictive control (MPC) of linear discrete-time systems by dynamic and multi-parametric programming

KAUST Repository

Kouramas, K.I.

2011-08-01

This work presents a new algorithm for solving the explicit/multi- parametric model predictive control (or mp-MPC) problem for linear, time-invariant discrete-time systems, based on dynamic programming and multi-parametric programming techniques. The algorithm features two key steps: (i) a dynamic programming step, in which the mp-MPC problem is decomposed into a set of smaller subproblems in which only the current control, state variables, and constraints are considered, and (ii) a multi-parametric programming step, in which each subproblem is solved as a convex multi-parametric programming problem, to derive the control variables as an explicit function of the states. The key feature of the proposed method is that it overcomes potential limitations of previous methods for solving multi-parametric programming problems with dynamic programming, such as the need for global optimization for each subproblem of the dynamic programming step. © 2011 Elsevier Ltd. All rights reserved.

A gauge invariant theory for time dependent heat current

International Nuclear Information System (INIS)

Chen, Jian; ShangGuan, Minhui; Wang, Jian

2015-01-01

In this work, we develop a general gauge-invariant theory for AC heat current through multi-probe systems. Using the non-equilibrium Green’s function, a general expression for time-dependent electrothermal admittance is obtained where we include the internal potential due to the Coulomb interaction explicitly. We show that the gauge-invariant condition is satisfied for heat current if the self-consistent Coulomb interaction is considered. It is known that the Onsager relation holds for dynamic charge conductance. We show in this work that the Onsager relation for electrothermal admittance is violated, except for a special case of a quantum dot system with a single energy level. We apply our theory to a nano capacitor where the Coulomb interaction plays an essential role. We find that, to the first order in frequency, the heat current is related to the electrochemical capacitance as well as the phase accumulated in the scattering event. (paper)

Using scattering theory to compute invariant manifolds and numerical results for the laser-driven Hénon-Heiles system.

Science.gov (United States)

Blazevski, Daniel; Franklin, Jennifer

2012-12-01

Scattering theory is a convenient way to describe systems that are subject to time-dependent perturbations which are localized in time. Using scattering theory, one can compute time-dependent invariant objects for the perturbed system knowing the invariant objects of the unperturbed system. In this paper, we use scattering theory to give numerical computations of invariant manifolds appearing in laser-driven reactions. In this setting, invariant manifolds separate regions of phase space that lead to different outcomes of the reaction and can be used to compute reaction rates.

Finite-Time H∞ Filtering for Linear Continuous Time-Varying Systems with Uncertain Observations

Directory of Open Access Journals (Sweden)

Huihong Zhao

2012-01-01

Full Text Available This paper is concerned with the finite-time H∞ filtering problem for linear continuous time-varying systems with uncertain observations and ℒ2-norm bounded noise. The design of finite-time H∞ filter is equivalent to the problem that a certain indefinite quadratic form has a minimum and the filter is such that the minimum is positive. The quadratic form is related to a Krein state-space model according to the Krein space linear estimation theory. By using the projection theory in Krein space, the finite-time H∞ filtering problem is solved. A numerical example is given to illustrate the performance of the H∞ filter.

Stability Tests of Positive Fractional Continuous-time Linear Systems with Delays

Directory of Open Access Journals (Sweden)

Tadeusz Kaczorek

2013-06-01

Full Text Available Necessary and sufficient conditions for the asymptotic stability of positive fractional continuous-time linear systems with many delays are established. It is shown that: 1 the asymptotic stability of the positive fractional system is independent of their delays, 2 the checking of the asymptotic stability of the positive fractional systems with delays can be reduced to checking of the asymptotic stability of positive standard linear systems without delays.

Characterization of invariant measures at the leading edge for competing particle systems

CERN Document Server

Ruzmaikina, A

2004-01-01

We study systems of particles on a line which have a maximum, are locally finite, and evolve with independent increments. `Quasi-stationary states' are defined as probability measures, on the $\\sigma$ algebra generated by the gap variables, for which the joint distribution of the gaps is invariant under the time evolution. Examples are provided by Poisson processes with densities of the form, $\\rho(dx) \\ =\\ e^{- s x} \\, s\\, dx$, with $ s > 0$, and linear superpositions of such measures. We show that conversely: any quasi-stationary state for the independent dynamics, with an exponentially bounded integrated density of particles, corresponds to a superposition of the above described probability measures, restricted to the relevant $\\sigma$-algebra. Among the systems for which this question is of some relevance are spin-glass models of statistical mechanics, where the point process represents the collection of the free energies of distinct ``pure states'', the time evolution corresponds to the addition of a spi...

Riccati and Ermakov Equations in Time-Dependent and Time-Independent Quantum Systems

Directory of Open Access Journals (Sweden)

Dieter Schuch

2008-05-01

Full Text Available The time-evolution of the maximum and the width of exact analytic wave packet (WP solutions of the time-dependent Schrödinger equation (SE represents the particle and wave aspects, respectively, of the quantum system. The dynamics of the maximum, located at the mean value of position, is governed by the Newtonian equation of the corresponding classical problem. The width, which is directly proportional to the position uncertainty, obeys a complex nonlinear Riccati equation which can be transformed into a real nonlinear Ermakov equation. The coupled pair of these equations yields a dynamical invariant which plays a key role in our investigation. It can be expressed in terms of a complex variable that linearizes the Riccati equation. This variable also provides the time-dependent parameters that characterize the Green's function, or Feynman kernel, of the corresponding problem. From there, also the relation between the classical and quantum dynamics of the systems can be obtained. Furthermore, the close connection between the Ermakov invariant and the Wigner function will be shown. Factorization of the dynamical invariant allows for comparison with creation/annihilation operators and supersymmetry where the partner potentials fulfil (real Riccati equations. This provides the link to a nonlinear formulation of time-independent quantum mechanics in terms of an Ermakov equation for the amplitude of the stationary state wave functions combined with a conservation law. Comparison with SUSY and the time-dependent problems concludes our analysis.

Mean Transit Time and Mean Residence Time for Linear Diffusion–Convection–Reaction Transport System

Directory of Open Access Journals (Sweden)

Jacek Waniewski

2007-01-01

Full Text Available Characteristic times for transport processes in biological systems may be evaluated as mean transit times (MTTs (for transit states or mean residence times (MRT (for steady states. It is shown in a general framework of a (linear reaction–diffusion–convection equation that these two times are related. Analytical formulas are also derived to calculate moments of exit time distribution using solutions for a stationary state of the system.

ROBUST MPC FOR STABLE LINEAR SYSTEMS

Directory of Open Access Journals (Sweden)

M.A. Rodrigues

2002-03-01

Full Text Available In this paper, a new model predictive controller (MPC, which is robust for a class of model uncertainties, is developed. Systems with stable dynamics and time-invariant model uncertainty are treated. The development herein proposed is focused on real industrial systems where the controller is part of an on-line optimization scheme and works in the output-tracking mode. In addition, the system has a time-varying number of degrees of freedom since some of the manipulated inputs may become constrained. Moreover, the number of controlled outputs may also vary during system operation. Consequently, the actual system may show operating conditions with a number of controlled outputs larger than the number of available manipulated inputs. The proposed controller uses a state-space model, which is aimed at the representation of the output-predicted trajectory. Based on this model, a cost function is proposed whereby the output error is integrated along an infinite prediction horizon. It is considered the case of multiple operating points, where the controller stabilizes a set of models corresponding to different operating conditions for the system. It is shown that closed-loop stability is guaranteed by the feasibility of a linear matrix optimization problem.

Construction and properties of a topological index for periodically driven time-reversal invariant 2D crystals

Directory of Open Access Journals (Sweden)

D. Carpentier

2015-07-01

Full Text Available We present mathematical details of the construction of a topological invariant for periodically driven two-dimensional lattice systems with time-reversal symmetry and quasienergy gaps, which was proposed recently by some of us. The invariant is represented by a gap-dependent Z2-valued index that is simply related to the Kane–Mele invariants of quasienergy bands but contains an extra information. As a byproduct, we prove new expressions for the two-dimensional Kane–Mele invariant relating the latter to Wess–Zumino amplitudes and the boundary gauge anomaly.

Gauge invariance of the Rayleigh--Schroedinger time-independent perturbation theory

International Nuclear Information System (INIS)

Yang, K.H.

1977-08-01

It is shown that the Rayleigh-Schroedinger time-independent perturbation theory is gauge invariant when the operator concerned is the particle's instantaneous energy operator H/sub B/ = (1/2m)[vector p - (e/c) vector A] 2 + eV 0 . More explicitly, it is shown that the energy perturbation corrections of each individual order of every state is gauge invariant. When the vector potential is curlless, the energy corrections of all orders are shown to vanish identically regardless of the explicit form of the vector potential. The relation between causality and gauge invariance is investigated. It is shown that gauge invariance guarantees conformity with causality and violation of gauge invariance implies violation of causality

Invariance of the Berry phase under unitary transformations: application to the time-dependent generalized harmonic oscillator

International Nuclear Information System (INIS)

Kobe, D.H.

1989-01-01

The Berry phase is derived in a manifestly gauge-invariant way, without adiabatic or cyclic requirements. It is invariant under unitary transformations, contrary to recent assertions. A time-dependent generalized harmonic oscillator is taken as an example. The energy of the system is not in general the Hamiltonian. An energy, the time derivative of which is the power, is obtained from the equation of motion. When the system is quantized, the Berry phase is zero, and is invariant under unitary transformations. If the energy is chosen incorrectly to be the Hamiltonian, a nonzero Berry phase is obtained. In this case the total phase, the sun of the dynamical and Berry phases, is equal to the correct total phase through first order in perturbation theory. (author)

Time reversal invariance for a nonlinear scatterer exhibiting contact acoustic nonlinearity

Science.gov (United States)

Blanloeuil, Philippe; Rose, L. R. Francis; Veidt, Martin; Wang, Chun H.

2018-03-01

The time reversal invariance of an ultrasonic plane wave interacting with a contact interface characterized by a unilateral contact law is investigated analytically and numerically. It is shown analytically that despite the contact nonlinearity, the re-emission of a time reversed version of the reflected and transmitted waves can perfectly recover the original pulse shape, thereby demonstrating time reversal invariance for this type of contact acoustic nonlinearity. With the aid of finite element modelling, the time-reversal analysis is extended to finite-size nonlinear scatterers such as closed cracks. The results show that time reversal invariance holds provided that all the additional frequencies generated during the forward propagation, such as higher harmonics, sub-harmonics and zero-frequency component, are fully included in the retro-propagation. If the scattered waves are frequency filtered during receiving or transmitting, such as through the use of narrowband transducers, the recombination of the time-reversed waves will not exactly recover the original incident wave. This discrepancy due to incomplete time invariance can be exploited as a new method for characterizing damage by defining damage indices that quantify the departure from time reversal invariance. The sensitivity of these damage indices for various crack lengths and contact stress levels is investigated computationally, indicating some advantages of this narrowband approach relative to the more conventional measurement of higher harmonic amplitude, which requires broadband transducers.

Graph topology and gap topology for unstable systems

NARCIS (Netherlands)

Zhu, S.Q.

1989-01-01

A reformation is provided of the graph topology and the gap topology for a general setting (including lumped linear time-invariant systems and distributed linear time-invariant systems) in the frequency domain. Some essential properties and their comparisons are clearly presented in the

Time-invariant PT product and phase locking in PT -symmetric lattice models

Science.gov (United States)

Joglekar, Yogesh N.; Onanga, Franck Assogba; Harter, Andrew K.

2018-01-01

Over the past decade, non-Hermitian, PT -symmetric Hamiltonians have been investigated as candidates for both a fundamental, unitary, quantum theory and open systems with a nonunitary time evolution. In this paper, we investigate the implications of the former approach in the context of the latter. Motivated by the invariance of the PT (inner) product under time evolution, we discuss the dynamics of wave-function phases in a wide range of PT -symmetric lattice models. In particular, we numerically show that, starting with a random initial state, a universal, gain-site location dependent locking between wave-function phases at adjacent sites occurs in the PT -symmetry-broken region. Our results pave the way towards understanding the physically observable implications of time invariants in the nonunitary dynamics produced by PT -symmetric Hamiltonians.

Perturbation to Unified Symmetry and Adiabatic Invariants for Relativistic Hamilton Systems

International Nuclear Information System (INIS)

Zhang Mingjiang; Fang Jianhui; Lu Kai; Pang Ting; Lin Peng

2009-01-01

Based on the concept of adiabatic invariant, the perturbation to unified symmetry and adiabatic invariants for relativistic Hamilton systems are studied. The definition of the perturbation to unified symmetry for the system is presented, and the criterion of the perturbation to unified symmetry is given. Meanwhile, the Noether adiabatic invariants, the generalized Hojman adiabatic invariants, and the Mei adiabatic invariants for the perturbed system are obtained. (general)

Forward-backward equations for nonlinear propagation in axially invariant optical systems

International Nuclear Information System (INIS)

Ferrando, Albert; Zacares, Mario; Fernandez de Cordoba, Pedro; Binosi, Daniele; Montero, Alvaro

2005-01-01

We present a general framework to deal with forward and backward components of the electromagnetic field in axially invariant nonlinear optical systems, which include those having any type of linear or nonlinear transverse inhomogeneities. With a minimum amount of approximations, we obtain a system of two first-order equations for forward and backward components, explicitly showing the nonlinear couplings among them. The modal approach used allows for an effective reduction of the dimensionality of the original problem from 3+1 (three spatial dimensions plus one time dimension) to 1+1 (one spatial dimension plus one frequency dimension). The new equations can be written in a spinor Dirac-like form, out of which conserved quantities can be calculated in an elegant manner. Finally, these equations inherently incorporate spatiotemporal couplings, so that they can be easily particularized to deal with purely temporal or purely spatial effects. Nonlinear forward pulse propagation and nonparaxial evolution of spatial structures are analyzed as examples

Robust self-triggered model predictive control for constrained discrete-time LTI systems based on homothetic tubes

NARCIS (Netherlands)

Aydiner, E.; Brunner, F.D.; Heemels, W.P.M.H.; Allgower, F.

2015-01-01

In this paper we present a robust self-triggered model predictive control (MPC) scheme for discrete-time linear time-invariant systems subject to input and state constraints and additive disturbances. In self-triggered model predictive control, at every sampling instant an optimization problem based

A new timing system for the Stanford Linear Collider

International Nuclear Information System (INIS)

Paffrath, L.; Bernstein, D.; Kang, H.; Koontz, R.; Leger, G.; Pierce, W.; Ross, M.; Wilmunder, A.

1985-01-01

In order to be able to meet the goals of the Stanford Linear Collider, a much more precise timing system had to be implemented. This paper describes the specification and design of this system, and the results obtained from its use on 1/3 of the SLAC linac. The functions of various elements are described, and a programmable delay unit (PDU) is described in detail

Overlapping quadratic optimal control of linear time-varying commutative systems

Czech Academy of Sciences Publication Activity Database

Bakule, Lubomír; Rodellar, J.; Rossell, J. M.

2002-01-01

Roč. 40, č. 5 (2002), s. 1611-1627 ISSN 0363-0129 R&D Projects: GA AV ČR IAA2075802 Institutional research plan: CEZ:AV0Z1075907 Keywords : overlapping * optimal control * linear time-varying systems Subject RIV: BC - Control Systems Theory Impact factor: 1.441, year: 2002

Cubic systems with invariant affine straight lines of total parallel multiplicity seven

Directory of Open Access Journals (Sweden)

Alexandru Suba

2013-12-01

Full Text Available In this article, we study the planar cubic differential systems with invariant affine straight lines of total parallel multiplicity seven. We classify these system according to their geometric properties encoded in the configurations of invariant straight lines. We show that there are only 17 different topological phase portraits in the Poincar\\'e disc associated to this family of cubic systems up to a reversal of the sense of their orbits, and we provide representatives of every class modulo an affine change of variables and rescaling of the time variable.

Comparison of modal spectral and non-linear time history analysis of a piping system

International Nuclear Information System (INIS)

Gerard, R.; Aelbrecht, D.; Lafaille, J.P.

1987-01-01

A typical piping system of the discharge line of the chemical and volumetric control system, outside the containment, between the penetration and the heat exchanger, an operating power plant was analyzed using four different methods: Modal spectral analysis with 2% constant damping, modal spectral analysis using ASME Code Case N411 (PVRC damping), linear time history analysis, non-linear time history analysis. This paper presents an estimation of the conservatism of the linear methods compared to the non-linear analysis. (orig./HP)

Discrete integration of continuous Kalman filtering equations for time invariant second-order structural systems

Science.gov (United States)

Park, K. C.; Belvin, W. Keith

1990-01-01

A general form for the first-order representation of the continuous second-order linear structural-dynamics equations is introduced to derive a corresponding form of first-order continuous Kalman filtering equations. Time integration of the resulting equations is carried out via a set of linear multistep integration formulas. It is shown that a judicious combined selection of computational paths and the undetermined matrices introduced in the general form of the first-order linear structural systems leads to a class of second-order discrete Kalman filtering equations involving only symmetric sparse N x N solution matrices.

Notes on algebraic invariants for non-commutative dynamical systems

Energy Technology Data Exchange (ETDEWEB)

Longo, R [Rome Univ. (Italy). Istituto di Matematica

1979-11-01

We consider an algebraic invariant for non-commutative dynamical systems naturally arising as the spectrum of the modular operator associated to an invariant state, provided certain conditions of mixing type are present. This invariant turns out to be exactly the annihilator of the invariant T of Connes. Further comments are included, in particular on the type of certain algebras of local observables

Tokunaga self-similarity arises naturally from time invariance

Science.gov (United States)

Kovchegov, Yevgeniy; Zaliapin, Ilya

2018-04-01

The Tokunaga condition is an algebraic rule that provides a detailed description of the branching structure in a self-similar tree. Despite a solid empirical validation and practical convenience, the Tokunaga condition lacks a theoretical justification. Such a justification is suggested in this work. We define a geometric branching process G (s ) that generates self-similar rooted trees. The main result establishes the equivalence between the invariance of G (s ) with respect to a time shift and a one-parametric version of the Tokunaga condition. In the parameter region where the process satisfies the Tokunaga condition (and hence is time invariant), G (s ) enjoys many of the symmetries observed in a critical binary Galton-Watson branching process and reproduces the latter for a particular parameter value.

Lyapunov stability robust analysis and robustness design for linear continuous-time systems

NARCIS (Netherlands)

Luo, J.S.; Johnson, A.; Bosch, van den P.P.J.

1995-01-01

The linear continuous-time systems to be discussed are described by state space models with structured time-varying uncertainties. First, the explicit maximal perturbation bound for maintaining quadratic Lyapunov stability of the closed-loop systems is presented. Then, a robust design method is

Concerning tests of time-reversal invariance via the polarization-analyzing power equality

International Nuclear Information System (INIS)

Conzett, H.E.

1982-01-01

Previous tests of time-reversal invariance via comparisons of polarizations and analyzing powers in nuclear scattering have been examined. It is found that all of these comparisons fail as adequate tests of time-reversal invariance either because of a lack of experimental precision or the lack of sensitivity to any time-reversal symmetry violation

Linear system theory

Science.gov (United States)

Callier, Frank M.; Desoer, Charles A.

1991-01-01

The aim of this book is to provide a systematic and rigorous access to the main topics of linear state-space system theory in both the continuous-time case and the discrete-time case; and the I/O description of linear systems. The main thrusts of the work are the analysis of system descriptions and derivations of their properties, LQ-optimal control, state feedback and state estimation, and MIMO unity-feedback systems.

automatic generation of root locus plots for linear time invariant

African Journals Online (AJOL)

user

peak time, its real power is its ability to solve problems with higher order systems. ... implementation of a computer program for the automatic generation of root loci using .... the concepts of complex variables, the angle condition can be ...

Finite-time H∞ control for linear continuous system with norm-bounded disturbance

Science.gov (United States)

Meng, Qingyi; Shen, Yanjun

2009-04-01

In this paper, the definition of finite-time H∞ control is presented. The system under consideration is subject to time-varying norm-bounded exogenous disturbance. The main aim of this paper is focused on the design a state feedback controller which ensures that the closed-loop system is finite-time bounded (FTB) and reduces the effect of the disturbance input on the controlled output to a prescribed level. A sufficient condition is presented for the solvability of this problem, which can be reduced to a feasibility problem involving linear matrix inequalities (LMIs). A detailed solving method is proposed for the restricted linear matrix inequalities. Finally, examples are given to show the validity of the methodology.

Real time modeling, simulation and control of dynamical systems

CERN Document Server

Mughal, Asif Mahmood

2016-01-01

This book introduces modeling and simulation of linear time invariant systems and demonstrates how these translate to systems engineering, mechatronics engineering, and biomedical engineering. It is organized into nine chapters that follow the lectures used for a one-semester course on this topic, making it appropriate for students as well as researchers. The author discusses state space modeling derived from two modeling techniques and the analysis of the system and usage of modeling in control systems design. It also contains a unique chapter on multidisciplinary energy systems with a special focus on bioengineering systems and expands upon how the bond graph augments research in biomedical and bio-mechatronics systems.

Compact invariant sets of the static spherically symmetric Einstein-Yang-Mills equations

Energy Technology Data Exchange (ETDEWEB)

Starkov, Konstantin E., E-mail: konst@citedi.m [CITEDI-IPN, Av. del Parque 1310, Mesa de Otay, Tijuana, BC (Mexico)

2010-04-05

In this Letter we obtain results concerning compact invariant sets of the static spherically symmetric Einstein-Yang-Mills (EYM) equations with help of studies of its localization. Let a be a cosmological constant and s be another parameter entering into these equations which is used for considering the physical time as a temporal variable, with s=1, while s=-1 is used for considering the physical time as a spatial variable. We show that in case s=1; a<0 the location of any compact invariant set is described by some system of linear inequalities. Then we prove that in case s=1; a>0 the set of all compact invariant sets consists of two equilibrium points only. Further, we state that in cases s=-1; a<0 and s=-1; a>0 there are only two equilibrium points and there are no periodic orbits. In addition, we prove that in the last two cases there are neither homoclinic orbits nor heteroclinic orbits as well.

Stability and Linear Quadratic Differential Games of Discrete-Time Markovian Jump Linear Systems with State-Dependent Noise

Directory of Open Access Journals (Sweden)

Huiying Sun

2014-01-01

Full Text Available We mainly consider the stability of discrete-time Markovian jump linear systems with state-dependent noise as well as its linear quadratic (LQ differential games. A necessary and sufficient condition involved with the connection between stochastic Tn-stability of Markovian jump linear systems with state-dependent noise and Lyapunov equation is proposed. And using the theory of stochastic Tn-stability, we give the optimal strategies and the optimal cost values for infinite horizon LQ stochastic differential games. It is demonstrated that the solutions of infinite horizon LQ stochastic differential games are concerned with four coupled generalized algebraic Riccati equations (GAREs. Finally, an iterative algorithm is presented to solve the four coupled GAREs and a simulation example is given to illustrate the effectiveness of it.

Analytic invariants of boundary links

OpenAIRE

Garoufalidis, Stavros; Levine, Jerome

2001-01-01

Using basic topology and linear algebra, we define a plethora of invariants of boundary links whose values are power series with noncommuting variables. These turn out to be useful and elementary reformulations of an invariant originally defined by M. Farber.

Time-scale invariances in preseismic electromagnetic radiation, magnetization and damage evolution of rocks

Directory of Open Access Journals (Sweden)

Y. Kawada

2007-10-01

Full Text Available We investigate the time-scale invariant changes in electromagnetic and mechanical energy releases prior to a rock failure or a large earthquake. The energy release processes are caused by damage evolutions such as crack propagation, motion of charged dislocation, area-enlargement of sheared asperities and repetitive creep-rate changes. Damage mechanics can be used to represent the time-scale invariant evolutions of both brittle and plastic damages. Irreversible thermodynamics applied to the damage mechanics reveals that the damage evolution produces the variations in charge, dipole and electromagnetic signals in addition to mechanical energy release, and yields the time-scale invariant patterns of Benioff electromagnetic radiation and cumulative Benioff strain-release. The irreversible thermodynamic framework of damage mechanics is also applicable to the seismo-magnetic effect, and the time-scale invariance is recognized in the remanent magnetization change associated with damage evolution prior to a rock failure.

Reparametrization invariance and the Schroedinger equation

International Nuclear Information System (INIS)

Tkach, V.I.; Pashnev, A.I.; Rosales, J.J.

1999-01-01

A time-dependent Schroedinger equation for systems invariant under the reparametrization of time is considered. We develop the two-stage procedure of construction such systems from a given initial ones, which are not invariant under the time reparametrization. One of the first-class constraints of the systems in such description becomes the time-dependent Schroedinger equation. The procedure is applicable in the supersymmetric theories as well. The n = 2 supersymmetric quantum mechanics is coupled to world-line supergravity, and the local supersymmetric action is constructed leading to the square root representation of the time-dependent Schroedinger equation

Identification of Affine Linear Parameter Varying Models for Adaptive Interventions in Fibromyalgia Treatment.

Science.gov (United States)

Dos Santos, P Lopes; Deshpande, Sunil; Rivera, Daniel E; Azevedo-Perdicoúlis, T-P; Ramos, J A; Younger, Jarred

2013-12-31

There is good evidence that naltrexone, an opioid antagonist, has a strong neuroprotective role and may be a potential drug for the treatment of fibromyalgia. In previous work, some of the authors used experimental clinical data to identify input-output linear time invariant models that were used to extract useful information about the effect of this drug on fibromyalgia symptoms. Additional factors such as anxiety, stress, mood, and headache, were considered as additive disturbances. However, it seems reasonable to think that these factors do not affect the drug actuation, but only the way in which a participant perceives how the drug actuates on herself. Under this hypothesis the linear time invariant models can be replaced by State-Space Affine Linear Parameter Varying models where the disturbances are seen as a scheduling signal signal only acting at the parameters of the output equation. In this paper a new algorithm for identifying such a model is proposed. This algorithm minimizes a quadratic criterion of the output error. Since the output error is a linear function of some parameters, the Affine Linear Parameter Varying system identification is formulated as a separable nonlinear least squares problem. Likewise other identification algorithms using gradient optimization methods several parameter derivatives are dynamical systems that must be simulated. In order to increase time efficiency a canonical parametrization that minimizes the number of systems to be simulated is chosen. The effectiveness of the algorithm is assessed in a case study where an Affine Parameter Varying Model is identified from the experimental data used in the previous study and compared with the time-invariant model.

Exponential stability of switched linear systems with time-varying delay

Directory of Open Access Journals (Sweden)

Satiracoo Pairote

2007-11-01

Full Text Available We use a Lyapunov-Krasovskii functional approach to establish the exponential stability of linear systems with time-varying delay. Our delay-dependent condition allows to compute simultaneously the two bounds that characterize the exponential stability rate of the solution. A simple procedure for constructing switching rule is also presented.

Coordinate-invariant regularization

International Nuclear Information System (INIS)

Halpern, M.B.

1987-01-01

A general phase-space framework for coordinate-invariant regularization is given. The development is geometric, with all regularization contained in regularized DeWitt Superstructures on field deformations. Parallel development of invariant coordinate-space regularization is obtained by regularized functional integration of the momenta. As representative examples of the general formulation, the regularized general non-linear sigma model and regularized quantum gravity are discussed. copyright 1987 Academic Press, Inc

Sliding mode control-based linear functional observers for discrete-time stochastic systems

Science.gov (United States)

Singh, Satnesh; Janardhanan, Sivaramakrishnan

2017-11-01

Sliding mode control (SMC) is one of the most popular techniques to stabilise linear discrete-time stochastic systems. However, application of SMC becomes difficult when the system states are not available for feedback. This paper presents a new approach to design a SMC-based functional observer for discrete-time stochastic systems. The functional observer is based on the Kronecker product approach. Existence conditions and stability analysis of the proposed observer are given. The control input is estimated by a novel linear functional observer. This approach leads to a non-switching type of control, thereby eliminating the fundamental cause of chatter. Furthermore, the functional observer is designed in such a way that the effect of process and measurement noise is minimised. Simulation example is given to illustrate and validate the proposed design method.

Linear optical response of finite systems using multishift linear system solvers

Energy Technology Data Exchange (ETDEWEB)

Hübener, Hannes; Giustino, Feliciano [Department of Materials, University of Oxford, Oxford OX1 3PH (United Kingdom)

2014-07-28

We discuss the application of multishift linear system solvers to linear-response time-dependent density functional theory. Using this technique the complete frequency-dependent electronic density response of finite systems to an external perturbation can be calculated at the cost of a single solution of a linear system via conjugate gradients. We show that multishift time-dependent density functional theory yields excitation energies and oscillator strengths in perfect agreement with the standard diagonalization of the response matrix (Casida's method), while being computationally advantageous. We present test calculations for benzene, porphin, and chlorophyll molecules. We argue that multishift solvers may find broad applicability in the context of excited-state calculations within density-functional theory and beyond.

Interpolation of polytopic control Lyapunov functions for discrete–time linear systems

NARCIS (Netherlands)

Nguyen, T.T.; Lazar, M.; Spinu, V.; Boje, E.; Xia, X.

2014-01-01

This paper proposes a method for interpolating two (or more) polytopic control Lyapunov functions (CLFs) for discrete--time linear systems subject to polytopic constraints, thereby combining different control objectives. The corresponding interpolated CLF is used for synthesis of a stabilizing

Entanglement in SU(2)-invariant quantum systems: The positive partial transpose criterion and others

International Nuclear Information System (INIS)

Schliemann, John

2005-01-01

We study entanglement in mixed bipartite quantum states which are invariant under simultaneous SU(2) transformations in both subsystems. Previous results on the behavior of such states under partial transposition are substantially extended. The spectrum of the partial transpose of a given SU(2)-invariant density matrix ρ is entirely determined by the diagonal elements of ρ in a basis of tensor-product states of both spins with respect to a common quantization axis. We construct a set of operators which act as entanglement witnesses on SU(2)-invariant states. A sufficient criterion for ρ having a negative partial transpose is derived in terms of a simple spin correlator. The same condition is a necessary criterion for the partial transpose to have the maximum number of negative eigenvalues. Moreover, we derive a series of sum rules which uniquely determine the eigenvalues of the partial transpose in terms of a system of linear equations. Finally we compare our findings with other entanglement criteria including the reduction criterion, the majorization criterion, and the recently proposed local uncertainty relations

Consensus for linear multi-agent system with intermittent information transmissions using the time-scale theory

Science.gov (United States)

Taousser, Fatima; Defoort, Michael; Djemai, Mohamed

2016-01-01

This paper investigates the consensus problem for linear multi-agent system with fixed communication topology in the presence of intermittent communication using the time-scale theory. Since each agent can only obtain relative local information intermittently, the proposed consensus algorithm is based on a discontinuous local interaction rule. The interaction among agents happens at a disjoint set of continuous-time intervals. The closed-loop multi-agent system can be represented using mixed linear continuous-time and linear discrete-time models due to intermittent information transmissions. The time-scale theory provides a powerful tool to combine continuous-time and discrete-time cases and study the consensus protocol under a unified framework. Using this theory, some conditions are derived to achieve exponential consensus under intermittent information transmissions. Simulations are performed to validate the theoretical results.

Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients.

Science.gov (United States)

Boyko, Vyacheslav M; Popovych, Roman O; Shapoval, Nataliya M

2013-01-01

Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by such systems are obtained using an effective algebraic approach.

Machine learning strategies for systems with invariance properties

Science.gov (United States)

Ling, Julia; Jones, Reese; Templeton, Jeremy

2016-08-01

In many scientific fields, empirical models are employed to facilitate computational simulations of engineering systems. For example, in fluid mechanics, empirical Reynolds stress closures enable computationally-efficient Reynolds Averaged Navier Stokes simulations. Likewise, in solid mechanics, constitutive relations between the stress and strain in a material are required in deformation analysis. Traditional methods for developing and tuning empirical models usually combine physical intuition with simple regression techniques on limited data sets. The rise of high performance computing has led to a growing availability of high fidelity simulation data. These data open up the possibility of using machine learning algorithms, such as random forests or neural networks, to develop more accurate and general empirical models. A key question when using data-driven algorithms to develop these empirical models is how domain knowledge should be incorporated into the machine learning process. This paper will specifically address physical systems that possess symmetry or invariance properties. Two different methods for teaching a machine learning model an invariance property are compared. In the first method, a basis of invariant inputs is constructed, and the machine learning model is trained upon this basis, thereby embedding the invariance into the model. In the second method, the algorithm is trained on multiple transformations of the raw input data until the model learns invariance to that transformation. Results are discussed for two case studies: one in turbulence modeling and one in crystal elasticity. It is shown that in both cases embedding the invariance property into the input features yields higher performance at significantly reduced computational training costs.

Time-Weighted Balanced Stochastic Model Reduction

DEFF Research Database (Denmark)

Tahavori, Maryamsadat; Shaker, Hamid Reza

2011-01-01

A new relative error model reduction technique for linear time invariant (LTI) systems is proposed in this paper. Both continuous and discrete time systems can be reduced within this framework. The proposed model reduction method is mainly based upon time-weighted balanced truncation and a recently...

Demystifying the constancy of the Ermakov-Lewis invariant for a time-dependent oscillator

Science.gov (United States)

Padmanabhan, T.

2018-03-01

It is well known that the time-dependent harmonic oscillator (TDHO) possesses a conserved quantity, usually called Ermakov-Lewis invariant. I provide a simple physical interpretation of this invariant as well as a whole family of related invariants. This interpretation does not seem to have been noticed in the literature before. The procedure also allows one to tackle some key conceptual issues which arise in the study of quantum fields in the external, time-dependent backgrounds like in the case of particle production in an expanding universe and Schwinger effect.

Time-Scale Invariant Audio Data Embedding

Directory of Open Access Journals (Sweden)

Mansour Mohamed F

2003-01-01

Full Text Available We propose a novel algorithm for high-quality data embedding in audio. The algorithm is based on changing the relative length of the middle segment between two successive maximum and minimum peaks to embed data. Spline interpolation is used to change the lengths. To ensure smooth monotonic behavior between peaks, a hybrid orthogonal and nonorthogonal wavelet decomposition is used prior to data embedding. The possible data embedding rates are between 20 and 30 bps. However, for practical purposes, we use repetition codes, and the effective embedding data rate is around 5 bps. The algorithm is invariant after time-scale modification, time shift, and time cropping. It gives high-quality output and is robust to mp3 compression.

On spurious detection of linear response and misuse of the fluctuation-dissipation theorem in finite time series

Science.gov (United States)

Gottwald, Georg A.; Wormell, J. P.; Wouters, Jeroen

2016-09-01

Using a sensitive statistical test we determine whether or not one can detect the breakdown of linear response given observations of deterministic dynamical systems. A goodness-of-fit statistics is developed for a linear statistical model of the observations, based on results for central limit theorems for deterministic dynamical systems, and used to detect linear response breakdown. We apply the method to discrete maps which do not obey linear response and show that the successful detection of breakdown depends on the length of the time series, the magnitude of the perturbation and on the choice of the observable. We find that in order to reliably reject the assumption of linear response for typical observables sufficiently large data sets are needed. Even for simple systems such as the logistic map, one needs of the order of 106 observations to reliably detect the breakdown with a confidence level of 95 %; if less observations are available one may be falsely led to conclude that linear response theory is valid. The amount of data required is larger the smaller the applied perturbation. For judiciously chosen observables the necessary amount of data can be drastically reduced, but requires detailed a priori knowledge about the invariant measure which is typically not available for complex dynamical systems. Furthermore we explore the use of the fluctuation-dissipation theorem (FDT) in cases with limited data length or coarse-graining of observations. The FDT, if applied naively to a system without linear response, is shown to be very sensitive to the details of the sampling method, resulting in erroneous predictions of the response.

Controllability of a Class of Bimodal Discrete-Time Piecewise Linear Systems

NARCIS (Netherlands)

Yurtseven, E.; Camlibel, M.K.; Heemels, W.P.M.H.

2013-01-01

In this paper we will provide algebraic necessary and sufficient conditions for the controllability/reachability/null controllability of a class of bimodal discrete-time piecewise linear systems including several instances of interest that are not covered by existing works which focus primarily on

Dynamics of a linear system coupled to a chain of light nonlinear oscillators analyzed through a continuous approximation

Science.gov (United States)

Charlemagne, S.; Ture Savadkoohi, A.; Lamarque, C.-H.

2018-07-01

The continuous approximation is used in this work to describe the dynamics of a nonlinear chain of light oscillators coupled to a linear main system. A general methodology is applied to an example where the chain has local nonlinear restoring forces. The slow invariant manifold is detected at fast time scale. At slow time scale, equilibrium and singular points are sought around this manifold in order to predict periodic regimes and strongly modulated responses of the system. Analytical predictions are in good accordance with numerical results and represent a potent tool for designing nonlinear chains for passive control purposes.

Fast Depiction Invariant Visual Similarity for Content Based Image Retrieval Based on Data-driven Visual Similarity using Linear Discriminant Analysis

Science.gov (United States)

Wihardi, Y.; Setiawan, W.; Nugraha, E.

2018-01-01

On this research we try to build CBIRS based on Learning Distance/Similarity Function using Linear Discriminant Analysis (LDA) and Histogram of Oriented Gradient (HoG) feature. Our method is invariant to depiction of image, such as similarity of image to image, sketch to image, and painting to image. LDA can decrease execution time compared to state of the art method, but it still needs an improvement in term of accuracy. Inaccuracy in our experiment happen because we did not perform sliding windows search and because of low number of negative samples as natural-world images.

About the Modeling of Radio Source Time Series as Linear Splines

Science.gov (United States)

Karbon, Maria; Heinkelmann, Robert; Mora-Diaz, Julian; Xu, Minghui; Nilsson, Tobias; Schuh, Harald

2016-12-01

Many of the time series of radio sources observed in geodetic VLBI show variations, caused mainly by changes in source structure. However, until now it has been common practice to consider source positions as invariant, or to exclude known misbehaving sources from the datum conditions. This may lead to a degradation of the estimated parameters, as unmodeled apparent source position variations can propagate to the other parameters through the least squares adjustment. In this paper we will introduce an automated algorithm capable of parameterizing the radio source coordinates as linear splines.

Time-varying and time-invariant dimensions of depression in children and adolescents: Implications for cross-informant agreement.

Science.gov (United States)

Cole, David A; Martin, Joan M; Jacquez, Farrah M; Tram, Jane M; Zelkowitz, Rachel; Nick, Elizabeth A; Rights, Jason D

2017-07-01

The longitudinal structure of depression in children and adolescents was examined by applying a Trait-State-Occasion structural equation model to 4 waves of self, teacher, peer, and parent reports in 2 age groups (9 to 13 and 13 to 16 years old). Analyses revealed that the depression latent variable consisted of 2 longitudinal factors: a time-invariant dimension that was completely stable over time and a time-varying dimension that was not perfectly stable over time. Different sources of information were differentially sensitive to these 2 dimensions. Among adolescents, self- and parent reports better reflected the time-invariant aspects. For children and adolescents, peer and teacher reports better reflected the time-varying aspects. Relatively high cross-informant agreement emerged for the time-invariant dimension in both children and adolescents. Cross-informant agreement for the time-varying dimension was high for adolescents but very low for children. Implications emerge for theoretical models of depression and for its measurement, especially when attempting to predict changes in depression in the context of longitudinal studies. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

A note on the time decay of solutions for the linearized Wigner-Poisson system

KAUST Repository

Gamba, Irene; Gualdani, Maria; Sparber, Christof

2009-01-01

We consider the one-dimensional Wigner-Poisson system of plasma physics, linearized around a (spatially homogeneous) Lorentzian distribution and prove that the solution of the corresponding linearized problem decays to zero in time. We also give

Communication scheduling in robust self-triggered MPC for linear discrete-time systems

NARCIS (Netherlands)

Brunner, F.D.; Gommans, T.M.P.; Heemels, W.P.M.H.; Allgöwer, F.

2015-01-01

We consider a networked control system consisting of a physical plant, an actuator, a sensor, and a controller that is connected to the actuator and sensor via a communication network. The plant is described by a linear discrete-time system subject to additive disturbances. In order to reduce the

Invariants and labels for Lie-Poisson Systems

International Nuclear Information System (INIS)

Thiffeault, J.L.; Morrison, P.J.

1998-04-01

Reduction is a process that uses symmetry to lower the order of a Hamiltonian system. The new variables in the reduced picture are often not canonical: there are no clear variables representing positions and momenta, and the Poisson bracket obtained is not of the canonical type. Specifically, we give two examples that give rise to brackets of the noncanonical Lie-Poisson form: the rigid body and the two-dimensional ideal fluid. From these simple cases, we then use the semidirect product extension of algebras to describe more complex physical systems. The Casimir invariants in these systems are examined, and some are shown to be linked to the recovery of information about the configuration of the system. We discuss a case in which the extension is not a semidirect product, namely compressible reduced MHD, and find for this case that the Casimir invariants lend partial information about the configuration of the system

Algebraic solutions of shape-invariant position-dependent effective mass systems

Energy Technology Data Exchange (ETDEWEB)

Amir, Naila, E-mail: naila.amir@live.com, E-mail: naila.amir@seecs.edu.pk [School of Electrical Engineering and Computer Sciences, National University of Sciences and Technology, Islamabad (Pakistan); Iqbal, Shahid, E-mail: sic80@hotmail.com, E-mail: siqbal@sns.nust.edu.pk [School of Natural Sciences, National University of Sciences and Technology, Islamabad (Pakistan)

2016-06-15

Keeping in view the ordering ambiguity that arises due to the presence of position-dependent effective mass in the kinetic energy term of the Hamiltonian, a general scheme for obtaining algebraic solutions of quantum mechanical systems with position-dependent effective mass is discussed. We quantize the Hamiltonian of the pertaining system by using symmetric ordering of the operators concerning momentum and the spatially varying mass, initially proposed by von Roos and Lévy-Leblond. The algebraic method, used to obtain the solutions, is based on the concepts of supersymmetric quantum mechanics and shape invariance. In order to exemplify the general formalism a class of non-linear oscillators has been considered. This class includes the particular example of a one-dimensional oscillator with different position-dependent effective mass profiles. Explicit expressions for the eigenenergies and eigenfunctions in terms of generalized Hermite polynomials are presented. Moreover, properties of these modified Hermite polynomials, like existence of generating function and recurrence relations among the polynomials have also been studied. Furthermore, it has been shown that in the harmonic limit, all the results for the linear harmonic oscillator are recovered.

Symmetries and Invariants of the Time-dependent Oscillator Equation and the Envelope Equation

CERN Document Server

Qin, Hong

2005-01-01

Single-particle dynamics in a time-dependent focusing field is examined. The existence of the Courant-Snyder invariant* is fundamentally the result of the corresponding symmetry admitted by the oscillator equation with time-dependent frequency.** A careful analysis of the admitted symmetries reveals a deeper connection between the nonlinear envelope equation and the oscillator equation. A general theorem regarding the symmetries and invariants of the envelope equation, which includes the existence of the Courant-Snyder invariant as a special case, is demonstrated. The symmetries of the envelope equation enable a fast algorithm for finding matched solutions without using the conventional iterative shooting method.

Gain scheduling for non-linear time-delay systems using approximated model

NARCIS (Netherlands)

Pham, H.T.; Lim, J.T

2012-01-01

The authors investigate a regulation problem of non-linear systems driven by an exogenous signal and time-delay in the input. In order to compensate for the input delay, they propose a reduction transformation containing the past information of the control input. Then, by utilising the Euler

Reaction invariant-based reduction of the activated sludge model ASM1 for batch applications

DEFF Research Database (Denmark)

Santa Cruz, Judith A.; Mussati, Sergio F.; Scenna, Nicolás J.

2016-01-01

In any system, there are some properties, quantities or relationships that remain unchanged despite the applied transformations (system invariants). For a batch reaction system with n linearly independent reactions and m components (nlinear combinations of the concentrations that ...... of the numerical complexity as nonlinear ODEs are replaced by linear algebraic relationships predicting the exact dynamics of the original model....

QUIPS: Time-dependent properties of quasi-invariant self-gravitating polytropes

International Nuclear Information System (INIS)

Munier, A.; Feix, M.R.

1983-01-01

Quasi-invariance, a method based on group tranformations, is used to obtain time-dependent solutions for the expansion and/or contraction of a self-gravitating sphere of perfect gas with polytopic index n. Quasi-invariance transforms the equations of hydrodynamics into ''dual equations'' exhibiting extra terms such as a friction, a mass source or sink term, and a centripetal/centrifugal force. The search for stationary solutions in this ''dual space'' leads to a new class of time-dependent solutions, the QUIP (for Quasi-invariant polytrope), which generalizes Emden's static model and introduces a characteristic frequency a related to Jean's frequency. The second order differential equation describing the solution is integrated numerically. A critical point is seen always to exist for nnot =3. Solutions corresponding in the ''dual space'' to a time-dependent generalization of Eddington's standard model (n = 3) are discussed. These solutions conserve both the total mass and the energy. A transition between closed and open structures is seen to take place at a particular frequency a/sub c/. For n = 3, no critical point arises in the ''dual space'' due to the self-similar motion of the fluid. A new time-dependent mass-radius relation and a generalized Betti-Ritter relation are obtained. Conclusions about the existence of a minimum Q-factor are presented

Attractor reconstruction for non-linear systems: a methodological note

Science.gov (United States)

Nichols, J.M.; Nichols, J.D.

2001-01-01

Attractor reconstruction is an important step in the process of making predictions for non-linear time-series and in the computation of certain invariant quantities used to characterize the dynamics of such series. The utility of computed predictions and invariant quantities is dependent on the accuracy of attractor reconstruction, which in turn is determined by the methods used in the reconstruction process. This paper suggests methods by which the delay and embedding dimension may be selected for a typical delay coordinate reconstruction. A comparison is drawn between the use of the autocorrelation function and mutual information in quantifying the delay. In addition, a false nearest neighbor (FNN) approach is used in minimizing the number of delay vectors needed. Results highlight the need for an accurate reconstruction in the computation of the Lyapunov spectrum and in prediction algorithms.

A note on the time decay of solutions for the linearized Wigner-Poisson system

KAUST Repository

Gamba, Irene

2009-01-01

We consider the one-dimensional Wigner-Poisson system of plasma physics, linearized around a (spatially homogeneous) Lorentzian distribution and prove that the solution of the corresponding linearized problem decays to zero in time. We also give an explicit algebraic decay rate.

Propagator of a time-dependent unbound quadratic Hamiltonian system

International Nuclear Information System (INIS)

Yeon, K.H.; Kim, H.J.; Um, C.I.; George, T.F.; Pandey, L.N.

1996-01-01

The propagator for a time-dependent unbound quadratic Hamiltonian system is explicitly evaluated using the path integral method. Two time-invariant quantities of the system are found where these invariants determine whether or not the system is bound. Several examples are considered to illustrate that the propagator obtained for the unbound systems is correct

Real time computer control of a nonlinear Multivariable System via Linearization and Stability Analysis

International Nuclear Information System (INIS)

Raza, K.S.M.

2004-01-01

This paper demonstrates that if a complicated nonlinear, non-square, state-coupled multi variable system is smartly linearized and subjected to a thorough stability analysis then we can achieve our design objectives via a controller which will be quite simple (in term of resource usage and execution time) and very efficient (in terms of robustness). Further the aim is to implement this controller via computer in a real time environment. Therefore first a nonlinear mathematical model of the system is achieved. An intelligent work is done to decouple the multivariable system. Linearization and stability analysis techniques are employed for the development of a linearized and mathematically sound control law. Nonlinearities like the saturation in actuators are also been catered. The controller is then discretized using Runge-Kutta integration. Finally the discretized control law is programmed in a computer in a real time environment. The programme is done in RT -Linux using GNU C for the real time realization of the control scheme. The real time processes, like sampling and controlled actuation, and the non real time processes, like graphical user interface and display, are programmed as different tasks. The issue of inter process communication, between real time and non real time task is addressed quite carefully. The results of this research pursuit are presented graphically. (author)

The Basics of Anisotropy-Based Analysis of Discrete Time-Invariant Systems

Directory of Open Access Journals (Sweden)

I. R. Belov

2017-01-01

Full Text Available When investigating a behavior of dynamical systems, we should take into account the external noises, which have an effect on the system. The article introduces a concept of the anisotropy-based norm of the system as one of the ways to describe the measure of the effect of external disturbances on the system. The definition of the anisotropic norm includes some concepts from information theory, such as relative entropy and anisotropy. The theoretical section at the beginning of the article describes these definitions. The considered norm of the system can be evaluated in several ways. The article examines two methods - in the frequency domain and in the state space. To find the norm in the state space it is necessary to find the solution of the Riccati equation. This problem is rather laborious. So the algorithms to avoid the solution of Riccati equation are used in application of anisotropy-based norm’s evaluation methods. The principle of these algorithms is replacement of Riccati equation by the system of linear matrix inequalities. The software implementation of methods under consideration is designed using the MATLAB packages. The calculation results of the anisotropy-based norm for a given linear discrete system are obtained using this program. The article presents these results as graphs.This article enters into the Master's qualifying work "Basic quality criteria in the theory of linear systems". In this paper we consider various quality criteria, the solution of the optimal control problem for each of them, and compare the results obtained for different criteria. The anisotropy-based norm considered in the article is one of the quality criteria.

Noise level estimation in weakly nonlinear slowly time-varying systems

International Nuclear Information System (INIS)

Aerts, J R M; Dirckx, J J J; Lataire, J; Pintelon, R

2008-01-01

Recently, a method using multisine excitation was proposed for estimating the frequency response, the nonlinear distortions and the disturbing noise of weakly nonlinear time-invariant systems. This method has been demonstrated on the measurement of nonlinear distortions in the vibration of acoustically driven systems such as a latex membrane, which is a good example of a time-invariant system [1]. However, not all systems are perfectly time invariant, e.g. biomechanical systems. This time variation can be misinterpreted as an elevated noise floor, and the classical noise estimation method gives a wrong result. Two improved methods to retrieve the correct noise information from the measurements are presented. Both of them make use of multisine excitations. First, it is demonstrated that the improved methods give the same result as the classical noise estimation method when applied to a time-invariant system (high-quality microphone membrane). Next, it is demonstrated that the new methods clearly give an improved estimate of the noise level on time-varying systems. As an application example results for the vibration response of an eardrum are shown

Asynchronous L1-gain control of uncertain switched positive linear systems with dwell time.

Science.gov (United States)

Li, Yang; Zhang, Hongbin

2018-04-01

In this paper, dwell time (DT) stability, L 1 -gain performance analysis and asynchronous L 1 -gain controller design problems of uncertain switched positive linear systems (SPLSs) are investigated. Via a time-scheduled multiple linear co-positive Lyapunov function (TSMLCLF) approach, convex sufficient conditions of DT stability and L 1 -gain performance of SPLSs with interval and polytopic uncertainties are presented. Furthermore, by utilizing the feature that the TSMLCLF keeps decreasing even if the controller is running asynchronously with the system, the asynchronous L 1 -gain controller design problem of SPLSs with interval and polytopic uncertainties is investigated. Convex sufficient conditions of the existence of time-varying asynchronous state-feedback controller which can ensure the closed-loop system's positivity, stability and L 1 -gain performance are established, and the controller gain matrices can be calculated instantaneously online. The obtained L 1 -gain in the paper is standard. All the results are presented in terms of linear programming. A practical example is provided to show the effectiveness of the results. Copyright © 2018 ISA. Published by Elsevier Ltd. All rights reserved.

Improving linear accelerator service response with a real- time electronic event reporting system.

Science.gov (United States)

Hoisak, Jeremy D P; Pawlicki, Todd; Kim, Gwe-Ya; Fletcher, Richard; Moore, Kevin L

2014-09-08

To track linear accelerator performance issues, an online event recording system was developed in-house for use by therapists and physicists to log the details of technical problems arising on our institution's four linear accelerators. In use since October 2010, the system was designed so that all clinical physicists would receive email notification when an event was logged. Starting in October 2012, we initiated a pilot project in collaboration with our linear accelerator vendor to explore a new model of service and support, in which event notifications were also sent electronically directly to dedicated engineers at the vendor's technical help desk, who then initiated a response to technical issues. Previously, technical issues were reported by telephone to the vendor's call center, which then disseminated information and coordinated a response with the Technical Support help desk and local service engineers. The purpose of this work was to investigate the improvements to clinical operations resulting from this new service model. The new and old service models were quantitatively compared by reviewing event logs and the oncology information system database in the nine months prior to and after initiation of the project. Here, we focus on events that resulted in an inoperative linear accelerator ("down" machine). Machine downtime, vendor response time, treatment cancellations, and event resolution were evaluated and compared over two equivalent time periods. In 389 clinical days, there were 119 machine-down events: 59 events before and 60 after introduction of the new model. In the new model, median time to service response decreased from 45 to 8 min, service engineer dispatch time decreased 44%, downtime per event decreased from 45 to 20 min, and treatment cancellations decreased 68%. The decreased vendor response time and reduced number of on-site visits by a service engineer resulted in decreased downtime and decreased patient treatment cancellations.

LQR-Based Optimal Distributed Cooperative Design for Linear Discrete-Time Multiagent Systems.

Science.gov (United States)

Zhang, Huaguang; Feng, Tao; Liang, Hongjing; Luo, Yanhong

2017-03-01

In this paper, a novel linear quadratic regulator (LQR)-based optimal distributed cooperative design method is developed for synchronization control of general linear discrete-time multiagent systems on a fixed, directed graph. Sufficient conditions are derived for synchronization, which restrict the graph eigenvalues into a bounded circular region in the complex plane. The synchronizing speed issue is also considered, and it turns out that the synchronizing region reduces as the synchronizing speed becomes faster. To obtain more desirable synchronizing capacity, the weighting matrices are selected by sufficiently utilizing the guaranteed gain margin of the optimal regulators. Based on the developed LQR-based cooperative design framework, an approximate dynamic programming technique is successfully introduced to overcome the (partially or completely) model-free cooperative design for linear multiagent systems. Finally, two numerical examples are given to illustrate the effectiveness of the proposed design methods.

Dynamic IQC-Based Control of Uncertain LFT Systems With Time-Varying State Delay.

Science.gov (United States)

Yuan, Chengzhi; Wu, Fen

2016-12-01

This paper presents a new exact-memory delay control scheme for a class of uncertain systems with time-varying state delay under the integral quadratic constraint (IQC) framework. The uncertain system is described as a linear fractional transformation model including a state-delayed linear time-invariant (LTI) system and time-varying structured uncertainties. The proposed exact-memory delay controller consists of a linear state-feedback control law and an additional term that captures the delay behavior of the plant. We first explore the delay stability and the L 2 -gain performance using dynamic IQCs incorporated with quadratic Lyapunov functions. Then, the design of exact-memory controllers that guarantee desired L 2 -gain performance is examined. The resulting delay control synthesis conditions are formulated in terms of linear matrix inequalities, which are convex on all design variables including the scaling matrices associated with the IQC multipliers. The IQC-based exact-memory control scheme provides a novel approach for delay control designs via convex optimization, and advances existing control methods in two important ways: 1) better controlled performance and 2) simplified design procedure with less computational cost. The effectiveness and advantages of the proposed approach have been demonstrated through numerical studies.

Isomorph invariance of Couette shear flows simulated by the SLLOD equations of motion

DEFF Research Database (Denmark)

Separdar, Leila; Bailey, Nicholas; Schrøder, Thomas

2013-01-01

fluctuations of virial and potential energy. Such systems have good isomorphs (curves in the thermodynamic phase diagram along which structural, dynamical, and some thermodynamic quantities are invariant when expressed in reduced units). The SLLOD equations of motion were used to simulate Couette shear flows......Non-equilibrium molecular dynamics simulations were performed to study the thermodynamic, structural, and dynamical properties of the single-component Lennard-Jones and the Kob-Andersen binary Lennard-Jones liquids. Both systems are known to have strong correlations between equilibrium thermal...... of the two systems. We show analytically that these equations are isomorph invariant provided the reduced strain rate is fixed along the isomorph. Since isomorph invariance is generally only approximate, a range of strain rates were simulated to test for the predicted invariance, covering both the linear...

Prediction-based control for LTI systems with uncertain time-varying delays and partial state knowledge

Science.gov (United States)

Léchappé, V.; Moulay, E.; Plestan, F.

2018-06-01

The stability of a prediction-based controller for linear time-invariant (LTI) systems is studied in the presence of time-varying input and output delays. The uncertain delay case is treated as well as the partial state knowledge case. The reduction method is used in order to prove the convergence of the closed-loop system including the state observer, the predictor and the plant. Explicit conditions that guarantee the closed-loop stability are given, thanks to a Lyapunov-Razumikhin analysis. Simulations illustrate the theoretical results.

Modifications of Steepest Descent Method and Conjugate Gradient Method Against Noise for Ill-posed Linear Systems

Directory of Open Access Journals (Sweden)

Chein-Shan Liu

2012-04-01

Full Text Available It is well known that the numerical algorithms of the steepest descent method (SDM, and the conjugate gradient method (CGM are effective for solving well-posed linear systems. However, they are vulnerable to noisy disturbance for solving ill-posed linear systems. We propose the modifications of SDM and CGM, namely the modified steepest descent method (MSDM, and the modified conjugate gradient method (MCGM. The starting point is an invariant manifold defined in terms of a minimum functional and a fictitious time-like variable; however, in the final stage we can derive a purely iterative algorithm including an acceleration parameter. Through the Hopf bifurcation, this parameter indeed plays a major role to switch the situation of slow convergence to a new situation that the functional is stepwisely decreased very fast. Several numerical examples are examined and compared with exact solutions, revealing that the new algorithms of MSDM and MCGM have good computational efficiency and accuracy, even for the highly ill-conditioned linear equations system with a large noise being imposed on the given data.

Beyond the relativistic point particle: A reciprocally invariant system and its generalisation

International Nuclear Information System (INIS)

Pavsic, Matej

2009-01-01

We investigate a reciprocally invariant system proposed by Low and Govaerts et al., whose action contains both the orthogonal and the symplectic forms and is invariant under global O(2,4) intersection Sp(2,4) transformations. We find that the general solution to the classical equations of motion has no linear term in the evolution parameter, τ, but only the oscillatory terms, and therefore cannot represent a particle propagating in spacetime. As a remedy, we consider a generalisation of the action by adopting a procedure similar to that of Bars et al., who introduced the concept of a τ derivative that is covariant under local Sp(2) transformations between the phase space variables x μ (τ) and p μ (τ). This system, in particular, is similar to a rigid particle whose action contains the extrinsic curvature of the world line, which turns out to be helical in spacetime. Another possible generalisation is the introduction of a symplectic potential proposed by Montesinos. We show how the latter approach is related to Kaluza-Klein theories and to the concept of Clifford space, a manifold whose tangent space at any point is Clifford algebra Cl(8), a promising framework for the unification of particles and forces.

Simultaneous Robust Fault and State Estimation for Linear Discrete-Time Uncertain Systems

Directory of Open Access Journals (Sweden)

Feten Gannouni

2017-01-01

Full Text Available We consider the problem of robust simultaneous fault and state estimation for linear uncertain discrete-time systems with unknown faults which affect both the state and the observation matrices. Using transformation of the original system, a new robust proportional integral filter (RPIF having an error variance with an optimized guaranteed upper bound for any allowed uncertainty is proposed to improve robust estimation of unknown time-varying faults and to improve robustness against uncertainties. In this study, the minimization problem of the upper bound of the estimation error variance is formulated as a convex optimization problem subject to linear matrix inequalities (LMI for all admissible uncertainties. The proportional and the integral gains are optimally chosen by solving the convex optimization problem. Simulation results are given in order to illustrate the performance of the proposed filter, in particular to solve the problem of joint fault and state estimation.

Weighted H∞ Filtering for a Class of Switched Linear Systems with Additive Time-Varying Delays

Directory of Open Access Journals (Sweden)

Li-li Li

2015-01-01

Full Text Available This paper is concerned with the problem of weighted H∞ filtering for a class of switched linear systems with two additive time-varying delays, which represent a general class of switched time-delay systems with strong practical background. Combining average dwell time (ADT technique with piecewise Lyapunov functionals, sufficient conditions are established to guarantee the exponential stability and weighted H∞ performance for the filtering error systems. The parameters of the designed switched filters are obtained by solving linear matrix inequalities (LMIs. A modification of Jensen integral inequality is exploited to derive results with less theoretical conservatism and computational complexity. Finally, two examples are given to demonstrate the effectiveness of the proposed method.

Canonical transformations and exact invariants for dissipative systems

International Nuclear Information System (INIS)

Pedrosa, I.A.

1986-01-01

A simple treatment to the problem of finding exact invariants and related auxiliary equations for time-dependent oscillators with friction is presented. The treatment is based on the use of a time-dependent canonical transformation and an auxiliary transformation. (Author) [pt

Frequency response functions for nonlinear convergent systems

NARCIS (Netherlands)

Pavlov, A.V.; Wouw, van de N.; Nijmeijer, H.

2007-01-01

Convergent systems constitute a practically important class of nonlinear systems that extends the class of asymptotically stable linear time-invariant systems. In this note, we extend frequency response functions defined for linear systems to nonlinear convergent systems. Such nonlinear frequency

Uniform stability for time-varying infinite-dimensional discrete linear systems

International Nuclear Information System (INIS)

Kubrusly, C.S.

1988-09-01

Stability for time-varying discrete linear systems in a Banach space is investigated. On the one hand, it established a fairly complete collection of necessary and sufficient conditions for uniform asymptotic equistability for input-free systems. This includes uniform and strong power equistability, and uniform and strong l p -equistability, among other technical conditions which also play essential role in stability theory. On other hand, it is shown that uniform asymptotic equistability for input-free systems is equivalent to each of the following concepts of uniform stability for forced systems: l p -input l p -state, c o -input c o -state, bounded-input bounded-state, l p>1 -input bounded-state, c sub (o)-input bounded-state, and convergent-input bounded-state; which are also equivalent to their nonuniform counterparts. For time-varying convergent systems, the above is also equivalent to convergent-input convergent-state stability. The proofs presented here are all ''elementary'' in the sense that they are based essentially only on the Banach-Steinhaus theorem. (autor) [pt

Conformal invariance and conserved quantities of Appell systems under second-class Mei symmetry

International Nuclear Information System (INIS)

Yi-Ping, Luo; Jing-Li, Fu

2010-01-01

In this paper we introduce the new concept of the conformal invariance and the conserved quantities for Appell systems under second-class Mei symmetry. The one-parameter infinitesimal transformation group and infinitesimal transformation vector of generator are described in detail. The conformal factor in the determining equations under second-class Mei symmetry is found. The relationship between Appell system's conformal invariance and Mei symmetry are discussed. And Appell system's conformal invariance under second-class Mei symmetry may lead to corresponding Hojman conserved quantities when the conformal invariance satisfies some conditions. Lastly, an example is provided to illustrate the application of the result. (general)

Optimal Robust Fault Detection for Linear Discrete Time Systems

Directory of Open Access Journals (Sweden)

Nike Liu

2008-01-01

Full Text Available This paper considers robust fault-detection problems for linear discrete time systems. It is shown that the optimal robust detection filters for several well-recognized robust fault-detection problems, such as ℋ−/ℋ∞, ℋ2/ℋ∞, and ℋ∞/ℋ∞ problems, are the same and can be obtained by solving a standard algebraic Riccati equation. Optimal filters are also derived for many other optimization criteria and it is shown that some well-studied and seeming-sensible optimization criteria for fault-detection filter design could lead to (optimal but useless fault-detection filters.

Dynamical topological invariant after a quantum quench

Science.gov (United States)

Yang, Chao; Li, Linhu; Chen, Shu

2018-02-01

We show how to define a dynamical topological invariant for one-dimensional two-band topological systems after a quantum quench. By analyzing general two-band models of topological insulators, we demonstrate that the reduced momentum-time manifold can be viewed as a series of submanifolds S2, and thus we are able to define a dynamical topological invariant on each of the spheres. We also unveil the intrinsic relation between the dynamical topological invariant and the difference in the topological invariant of the initial and final static Hamiltonian. By considering some concrete examples, we illustrate the calculation of the dynamical topological invariant and its geometrical meaning explicitly.

Distributed Leader-Following Finite-Time Consensus Control for Linear Multiagent Systems under Switching Topology

Science.gov (United States)

Xu, Xiaole; Chen, Shengyong

2014-01-01

This paper investigates the finite-time consensus problem of leader-following multiagent systems. The dynamical models for all following agents and the leader are assumed the same general form of linear system, and the interconnection topology among the agents is assumed to be switching and undirected. We mostly consider the continuous-time case. By assuming that the states of neighbouring agents are known to each agent, a sufficient condition is established for finite-time consensus via a neighbor-based state feedback protocol. While the states of neighbouring agents cannot be available and only the outputs of neighbouring agents can be accessed, the distributed observer-based consensus protocol is proposed for each following agent. A sufficient condition is provided in terms of linear matrix inequalities to design the observer-based consensus protocol, which makes the multiagent systems achieve finite-time consensus under switching topologies. Then, we discuss the counterparts for discrete-time case. Finally, we provide an illustrative example to show the effectiveness of the design approach. PMID:24883367

Evaluation of scaling invariance embedded in short time series.

Directory of Open Access Journals (Sweden)

Xue Pan

Full Text Available Scaling invariance of time series has been making great contributions in diverse research fields. But how to evaluate scaling exponent from a real-world series is still an open problem. Finite length of time series may induce unacceptable fluctuation and bias to statistical quantities and consequent invalidation of currently used standard methods. In this paper a new concept called correlation-dependent balanced estimation of diffusion entropy is developed to evaluate scale-invariance in very short time series with length ~10(2. Calculations with specified Hurst exponent values of 0.2,0.3,...,0.9 show that by using the standard central moving average de-trending procedure this method can evaluate the scaling exponents for short time series with ignorable bias (≤0.03 and sharp confidential interval (standard deviation ≤0.05. Considering the stride series from ten volunteers along an approximate oval path of a specified length, we observe that though the averages and deviations of scaling exponents are close, their evolutionary behaviors display rich patterns. It has potential use in analyzing physiological signals, detecting early warning signals, and so on. As an emphasis, the our core contribution is that by means of the proposed method one can estimate precisely shannon entropy from limited records.

Evaluation of scaling invariance embedded in short time series.

Science.gov (United States)

Pan, Xue; Hou, Lei; Stephen, Mutua; Yang, Huijie; Zhu, Chenping

2014-01-01

Scaling invariance of time series has been making great contributions in diverse research fields. But how to evaluate scaling exponent from a real-world series is still an open problem. Finite length of time series may induce unacceptable fluctuation and bias to statistical quantities and consequent invalidation of currently used standard methods. In this paper a new concept called correlation-dependent balanced estimation of diffusion entropy is developed to evaluate scale-invariance in very short time series with length ~10(2). Calculations with specified Hurst exponent values of 0.2,0.3,...,0.9 show that by using the standard central moving average de-trending procedure this method can evaluate the scaling exponents for short time series with ignorable bias (≤0.03) and sharp confidential interval (standard deviation ≤0.05). Considering the stride series from ten volunteers along an approximate oval path of a specified length, we observe that though the averages and deviations of scaling exponents are close, their evolutionary behaviors display rich patterns. It has potential use in analyzing physiological signals, detecting early warning signals, and so on. As an emphasis, the our core contribution is that by means of the proposed method one can estimate precisely shannon entropy from limited records.

Test of time-reversal invariance at COSY

Energy Technology Data Exchange (ETDEWEB)

Valdau, Yury [Helmholtz Institut fuer Strahlen- und Kernphysik, Bonn Univ. (Germany); National Research Center ' ' Kurchatov Institute' ' Petersburg Nuclear Physics Institute B.P. Konstantinov, Gatchina (Russian Federation); Eversheim, Dieter [Helmholtz Institut fuer Strahlen- und Kernphysik, Bonn Univ. (Germany); Lorentz, Bernd [Forschungszentrum Juelich, Institute fuer Kernphysik (Germany)

2016-07-01

The experiment to test the Time Reversal Invariance at Cosy (TRIC) is under the preparation by the PAX collaboration. It is planned to improve present limit on the T-odd P-even interaction by at least one order of magnitude using a unique genuine null observable available in double polarized proton-deuteron scattering. The TRIC experiment is planned as a transmission experiment using a tensor polarized deuterium target placed at the internal target place of the Cooler-Synchrotron COSY-Juelich. Total double polarized cross section will be measured observing a beam current change due to the interaction of a polarized proton beam with an internal tensor polarized deuterium target from the PAX atomic beam source. Hence, in this experiment COSY will be used as an accelerator, detector and ideal zero degree spectrometer. In addition to the high intensity polarized proton beam and high density polarized deuterium target, a new high precision beam current measurement system will be prepared for the TRIC experiment. In this report status of all the activities of PAX collaboration towards realization of the TRIC experiment will be presented.

EMPLOYEE COMMITMENT ACROSS COUNTRIES AND TIMES - MEASUREMENT INVARIANCE

Directory of Open Access Journals (Sweden)

Dana Mesner Andolšek

2015-01-01

Full Text Available Employee organisational commitment has been long and extensively studied until now (Meyer & Allen, 1997; Jaussi, 2007.An emphasis of current analysis was to verify its measurement characteristics, for the purpose of comparisons of levels of commitment across time and countries. A limited set of countries was chosen among those available in a sample from the data on Work Orientations II, ISSP 1997, purpose fully selected to reflect cultural and structural differences that was expected to affect change in levels of organisational commitment. With the use of structural equations models we first confirmed that a model for configural invariance for two factors measuring conceptually distinct components of Affective commitment (AC and Continuance commitment (CC respectively has better support than of one factor model. Metric and error term invariance was subsequently confirmed. Scalar equivalence, needed for valid comparison of mean levels of both components of commitment, was confirmed as well, with the exception of two country specific Tau coefficient. Finally, a model thus established was applied additionally on data from2005 ISSP. Acceptable fit was achieved for a common model containing both points in time and all countries, which allowed making more firm conclusions about the changes in AC and CC in different countries.

Invariant of dynamical systems: A generalized entropy

International Nuclear Information System (INIS)

Meson, A.M.; Vericat, F.

1996-01-01

In this work the concept of entropy of a dynamical system, as given by Kolmogorov, is generalized in the sense of Tsallis. It is shown that this entropy is an isomorphism invariant, being complete for Bernoulli schemes. copyright 1996 American Institute of Physics

Design of an Optimal Preview Controller for Linear Discrete-Time Descriptor Noncausal Multirate Systems

Directory of Open Access Journals (Sweden)

Mengjuan Cao

2014-01-01

Full Text Available The linear discrete-time descriptor noncausal multirate system is considered for the presentation of a new design approach for optimal preview control. First, according to the characteristics of causal controllability and causal observability, the descriptor noncausal system is constructed into a descriptor causal closed-loop system. Second, by using the characteristics of the causal system and elementary transformation, the descriptor causal closed-loop system is transformed into a normal system. Then, taking advantage of the discrete lifting technique, the normal multirate system is converted to a single-rate system. By making use of the standard preview control method, we construct the descriptor augmented error system. The quadratic performance index for the multirate system is given, which can be changed into one for the single-rate system. In addition, a new single-rate system is obtained, the optimal control law of which is given. Returning to the original system, the optimal preview controller for linear discrete-time descriptor noncausal multirate systems is derived. The stabilizability and detectability of the lifted single-rate system are discussed in detail. The optimal preview control design techniques are illustrated by simulation results for a simple example.

The invariance of classical electromagnetism under Charge-conjugation, Parity and Time-reversal (CPT) transformations

Science.gov (United States)

Norbury, John W.

1989-01-01

The invariance of classical electromagnetism under charge-conjugation, parity, and time-reversal (CPT) is studied by considering the motion of a charged particle in electric and magnetic fields. Upon applying CPT transformations to various physical quantities and noting that the motion still behaves physically demonstrates invariance.

Estimating epidemic arrival times using linear spreading theory

Science.gov (United States)

Chen, Lawrence M.; Holzer, Matt; Shapiro, Anne

2018-01-01

We study the dynamics of a spatially structured model of worldwide epidemics and formulate predictions for arrival times of the disease at any city in the network. The model is composed of a system of ordinary differential equations describing a meta-population susceptible-infected-recovered compartmental model defined on a network where each node represents a city and the edges represent the flight paths connecting cities. Making use of the linear determinacy of the system, we consider spreading speeds and arrival times in the system linearized about the unstable disease free state and compare these to arrival times in the nonlinear system. Two predictions are presented. The first is based upon expansion of the heat kernel for the linearized system. The second assumes that the dominant transmission pathway between any two cities can be approximated by a one dimensional lattice or a homogeneous tree and gives a uniform prediction for arrival times independent of the specific network features. We test these predictions on a real network describing worldwide airline traffic.

Experimental study of time-reversal invariance in neutron-nucleus interactions

International Nuclear Information System (INIS)

Shaparov, E.I.; Shimizu, H.M.

1996-01-01

Experimental approaches for the test of time-reversal invariance in neutron-nucleus interactions are reviewed. Possible transmission experiments with polarized neutron beams and polarized or aligned targets are discussed as well as neutron capture experiments with unpolarized resonance neutrons. 102 refs., 13 figs., 3 tabs

Scale invariance in chaotic time series: Classical and quantum examples

Science.gov (United States)

Landa, Emmanuel; Morales, Irving O.; Stránský, Pavel; Fossion, Rubén; Velázquez, Victor; López Vieyra, J. C.; Frank, Alejandro

Important aspects of chaotic behavior appear in systems of low dimension, as illustrated by the Map Module 1. It is indeed a remarkable fact that all systems tha make a transition from order to disorder display common properties, irrespective of their exacta functional form. We discuss evidence for 1/f power spectra in the chaotic time series associated in classical and quantum examples, the one-dimensional map module 1 and the spectrum of 48Ca. A Detrended Fluctuation Analysis (DFA) method is applied to investigate the scaling properties of the energy fluctuations in the spectrum of 48Ca obtained with a large realistic shell model calculation (ANTOINE code) and with a random shell model (TBRE) calculation also in the time series obtained with the map mod 1. We compare the scale invariant properties of the 48Ca nuclear spectrum sith similar analyses applied to the RMT ensambles GOE and GDE. A comparison with the corresponding power spectra is made in both cases. The possible consequences of the results are discussed.

Verification of Continuous Dynamical Systems by Timed Automata

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2011-01-01

This paper presents a method for abstracting continuous dynamical systems by timed automata. The abstraction is based on partitioning the state space of a dynamical system using positive invariant sets, which form cells that represent locations of a timed automaton. The abstraction is intended......, which is generated utilizing sub-level sets of Lyapunov functions, as they are positive invariant sets. It is shown that this partition generates sound and complete abstractions. Furthermore, the complete abstractions can be composed of multiple timed automata, allowing parallelization...

Scaling and scale invariance of conservation laws in Reynolds transport theorem framework

Science.gov (United States)

Haltas, Ismail; Ulusoy, Suleyman

2015-07-01

Scale invariance is the case where the solution of a physical process at a specified time-space scale can be linearly related to the solution of the processes at another time-space scale. Recent studies investigated the scale invariance conditions of hydrodynamic processes by applying the one-parameter Lie scaling transformations to the governing equations of the processes. Scale invariance of a physical process is usually achieved under certain conditions on the scaling ratios of the variables and parameters involved in the process. The foundational axioms of hydrodynamics are the conservation laws, namely, conservation of mass, conservation of linear momentum, and conservation of energy from continuum mechanics. They are formulated using the Reynolds transport theorem. Conventionally, Reynolds transport theorem formulates the conservation equations in integral form. Yet, differential form of the conservation equations can also be derived for an infinitesimal control volume. In the formulation of the governing equation of a process, one or more than one of the conservation laws and, some times, a constitutive relation are combined together. Differential forms of the conservation equations are used in the governing partial differential equation of the processes. Therefore, differential conservation equations constitute the fundamentals of the governing equations of the hydrodynamic processes. Applying the one-parameter Lie scaling transformation to the conservation laws in the Reynolds transport theorem framework instead of applying to the governing partial differential equations may lead to more fundamental conclusions on the scaling and scale invariance of the hydrodynamic processes. This study will investigate the scaling behavior and scale invariance conditions of the hydrodynamic processes by applying the one-parameter Lie scaling transformation to the conservation laws in the Reynolds transport theorem framework.

Narayanaswamy’s 1971 aging theory and material time

DEFF Research Database (Denmark)

Dyre, Jeppe C.

2015-01-01

The Bochkov-Kuzovlev nonlinear fluctuation-dissipation theorem is used to derive Narayanaswamy’s phenomenological theory of physical aging, in which this highly nonlinear phenomenon is described by a linear material-time convolution integral. A characteristic property of the Narayanaswamy aging...... description is material-time translational invariance, which is here taken as the basic assumption of the derivation. It is shown that only one possible definition of the material time obeys this invariance, namely, the square of the distance travelled from a configuration of the system far back in time...

On the Existence and Robustness of Steady Position-Momentum Correlations for Time-Dependent Quadratic Systems

Directory of Open Access Journals (Sweden)

M. Gianfreda

2012-01-01

Full Text Available We discuss conditions giving rise to stationary position-momentum correlations among quantum states in the Fock and coherent basis associated with the natural invariant for the one-dimensional time-dependent quadratic Hamiltonian operators such as the Kanai-Caldirola Hamiltonian. We also discuss some basic features such as quantum decoherence of the wave functions resulting from the corresponding quantum dynamics of these systems that exhibit no timedependence in their quantum correlations. In particular, steady statistical momentum averages are seen over well-defined time intervals in the evolution of a linear superposition of the basis states of modified exponentially damped mass systems.

Estimation of Nonlinear Functions of State Vector for Linear Systems with Time-Delays and Uncertainties

Directory of Open Access Journals (Sweden)

Il Young Song

2015-01-01

Full Text Available This paper focuses on estimation of a nonlinear function of state vector (NFS in discrete-time linear systems with time-delays and model uncertainties. The NFS represents a multivariate nonlinear function of state variables, which can indicate useful information of a target system for control. The optimal nonlinear estimator of an NFS (in mean square sense represents a function of the receding horizon estimate and its error covariance. The proposed receding horizon filter represents the standard Kalman filter with time-delays and special initial horizon conditions described by the Lyapunov-like equations. In general case to calculate an optimal estimator of an NFS we propose using the unscented transformation. Important class of polynomial NFS is considered in detail. In the case of polynomial NFS an optimal estimator has a closed-form computational procedure. The subsequent application of the proposed receding horizon filter and nonlinear estimator to a linear stochastic system with time-delays and uncertainties demonstrates their effectiveness.

Statistical analysis of complex systems with nonclassical invariant measures

KAUST Repository

Fratalocchi, Andrea

2011-02-28

I investigate the problem of finding a statistical description of a complex many-body system whose invariant measure cannot be constructed stemming from classical thermodynamics ensembles. By taking solitons as a reference system and by employing a general formalism based on the Ablowitz-Kaup-Newell-Segur scheme, I demonstrate how to build an invariant measure and, within a one-dimensional phase space, how to develop a suitable thermodynamics. A detailed example is provided with a universal model of wave propagation, with reference to a transparent potential sustaining gray solitons. The system shows a rich thermodynamic scenario, with a free-energy landscape supporting phase transitions and controllable emergent properties. I finally discuss the origin of such behavior, trying to identify common denominators in the area of complex dynamics.

Robust distributed model predictive control of linear systems with structured time-varying uncertainties

Science.gov (United States)

Zhang, Langwen; Xie, Wei; Wang, Jingcheng

2017-11-01

In this work, synthesis of robust distributed model predictive control (MPC) is presented for a class of linear systems subject to structured time-varying uncertainties. By decomposing a global system into smaller dimensional subsystems, a set of distributed MPC controllers, instead of a centralised controller, are designed. To ensure the robust stability of the closed-loop system with respect to model uncertainties, distributed state feedback laws are obtained by solving a min-max optimisation problem. The design of robust distributed MPC is then transformed into solving a minimisation optimisation problem with linear matrix inequality constraints. An iterative online algorithm with adjustable maximum iteration is proposed to coordinate the distributed controllers to achieve a global performance. The simulation results show the effectiveness of the proposed robust distributed MPC algorithm.

Evidence for several dipolar quasi-invariants in liquid crystals

Science.gov (United States)

Bonin, C. J.; González, C. E.; Segnorile, H. H.; Zamar, R. C.

2013-10-01

The quasi-equilibrium states of an observed quantum system involve as many constants of motion as the dimension of the operator basis which spans the blocks of all the degenerate eigenvalues of the Hamiltonian that drives the system dynamics, however, the possibility of observing such quasi-invariants in solid-like spin systems in Nuclear Magnetic Resonance (NMR) is not a strictly exact prediction. The aim of this work is to provide experimental evidence of several quasi-invariants, in the proton NMR of small spin clusters, like nematic liquid crystal molecules, in which the use of thermodynamic arguments is not justified. We explore the spin states prepared with the Jeener-Broekaert pulse sequence by analyzing the time-domain signals yielded by this sequence as a function of the preparation times, in a variety of dipolar networks, solids, and liquid crystals. We observe that the signals can be explained with two dipolar quasi-invariants only within a range of short preparation times, however at longer times liquid crystal signals show an echo-like behaviour whose description requires assuming more quasi-invariants. We study the multiple quantum coherence content of such signals on a basis orthogonal to the z-basis and see that such states involve a significant number of correlated spins. Therefore, we show that the NMR signals within the whole preparation time-scale can only be reconstructed by assuming the occurrence of multiple quasi-invariants which we experimentally isolate.

Statistical analysis of complex systems with nonclassical invariant measures

KAUST Repository

Fratalocchi, Andrea

2011-01-01

I investigate the problem of finding a statistical description of a complex many-body system whose invariant measure cannot be constructed stemming from classical thermodynamics ensembles. By taking solitons as a reference system and by employing a

State control of discrete-time linear systems to be bound in state variables by equality constraints

International Nuclear Information System (INIS)

Filasová, Anna; Krokavec, Dušan; Serbák, Vladimír

2014-01-01

The paper is concerned with the problem of designing the discrete-time equivalent PI controller to control the discrete-time linear systems in such a way that the closed-loop state variables satisfy the prescribed equality constraints. Since the problem is generally singular, using standard form of the Lyapunov function and a symmetric positive definite slack matrix, the design conditions are proposed in the form of the enhanced Lyapunov inequality. The results, offering the conditions of the control existence and the optimal performance with respect to the prescribed equality constraints for square discrete-time linear systems, are illustrated with the numerical example to note effectiveness and applicability of the considered approach

Test of time-reversal invariance at COSY (TRIC)

Energy Technology Data Exchange (ETDEWEB)

Eversheim, D., E-mail: evershei@hiskp.uni-bonn.de; Valdau, Yu. [University Bonn, Helmholtz Institut fuer Strahlen- und Kernphysik (Germany); Lorentz, B. [Forschungszentrum Juelich, Institut fuer Kernphysik (Germany)

2013-03-15

At the Cooler Synchrotron COSY a novel (P-even, T-odd) null test of time-reversal invariance to an accuracy of 10{sup - 6} is planned as an internal target transmission experiment. The parity conserving time-reversal violating observable is the total cross-section asymmetry A{sub y,xz}. This quantity is measured using a polarized proton beam with an energy of 135 MeV and an internal tensor polarized deuteron target from the PAX atomic beam source. The reaction rate will be measured by means of an integrating beam current transformer. Thus, in this experiment the cooler synchroton ring serves as ideal forward spectrometer, as a detector, and an accelerator.

Rotation-invariant neural pattern recognition system with application to coin recognition.

Science.gov (United States)

Fukumi, M; Omatu, S; Takeda, F; Kosaka, T

1992-01-01

In pattern recognition, it is often necessary to deal with problems to classify a transformed pattern. A neural pattern recognition system which is insensitive to rotation of input pattern by various degrees is proposed. The system consists of a fixed invariance network with many slabs and a trainable multilayered network. The system was used in a rotation-invariant coin recognition problem to distinguish between a 500 yen coin and a 500 won coin. The results show that the approach works well for variable rotation pattern recognition.

Real-time pose invariant logo and pattern detection

Science.gov (United States)

Sidla, Oliver; Kottmann, Michal; Benesova, Wanda

2011-01-01

The detection of pose invariant planar patterns has many practical applications in computer vision and surveillance systems. The recognition of company logos is used in market studies to examine the visibility and frequency of logos in advertisement. Danger signs on vehicles could be detected to trigger warning systems in tunnels, or brand detection on transport vehicles can be used to count company-specific traffic. We present the results of a study on planar pattern detection which is based on keypoint detection and matching of distortion invariant 2d feature descriptors. Specifically we look at the keypoint detectors of type: i) Lowe's DoG approximation from the SURF algorithm, ii) the Harris Corner Detector, iii) the FAST Corner Detector and iv) Lepetit's keypoint detector. Our study then compares the feature descriptors SURF and compact signatures based on Random Ferns: we use 3 sets of sample images to detect and match 3 logos of different structure to find out which combinations of keypoint detector/feature descriptors work well. A real-world test tries to detect vehicles with a distinctive logo in an outdoor environment under realistic lighting and weather conditions: a camera was mounted on a suitable location for observing the entrance to a parking area so that incoming vehicles could be monitored. In this 2 hour long recording we can successfully detect a specific company logo without false positives.

Real-time object tracking based on scale-invariant features employing bio-inspired hardware.

Science.gov (United States)

Yasukawa, Shinsuke; Okuno, Hirotsugu; Ishii, Kazuo; Yagi, Tetsuya

2016-09-01

We developed a vision sensor system that performs a scale-invariant feature transform (SIFT) in real time. To apply the SIFT algorithm efficiently, we focus on a two-fold process performed by the visual system: whole-image parallel filtering and frequency-band parallel processing. The vision sensor system comprises an active pixel sensor, a metal-oxide semiconductor (MOS)-based resistive network, a field-programmable gate array (FPGA), and a digital computer. We employed the MOS-based resistive network for instantaneous spatial filtering and a configurable filter size. The FPGA is used to pipeline process the frequency-band signals. The proposed system was evaluated by tracking the feature points detected on an object in a video. Copyright © 2016 Elsevier Ltd. All rights reserved.

Invariant measures in brain dynamics

International Nuclear Information System (INIS)

Boyarsky, Abraham; Gora, Pawel

2006-01-01

This note concerns brain activity at the level of neural ensembles and uses ideas from ergodic dynamical systems to model and characterize chaotic patterns among these ensembles during conscious mental activity. Central to our model is the definition of a space of neural ensembles and the assumption of discrete time ensemble dynamics. We argue that continuous invariant measures draw the attention of deeper brain processes, engendering emergent properties such as consciousness. Invariant measures supported on a finite set of ensembles reflect periodic behavior, whereas the existence of continuous invariant measures reflect the dynamics of nonrepeating ensemble patterns that elicit the interest of deeper mental processes. We shall consider two different ways to achieve continuous invariant measures on the space of neural ensembles: (1) via quantum jitters, and (2) via sensory input accompanied by inner thought processes which engender a 'folding' property on the space of ensembles

Lectures on algebraic system theory: Linear systems over rings

Science.gov (United States)

Kamen, E. W.

1978-01-01

The presentation centers on four classes of systems that can be treated as linear systems over a ring. These are: (1) discrete-time systems over a ring of scalars such as the integers; (2) continuous-time systems containing time delays; (3) large-scale discrete-time systems; and (4) time-varying discrete-time systems.

Gauge-Invariant Formulation of Time-Dependent Configuration Interaction Singles Method

Directory of Open Access Journals (Sweden)

Takeshi Sato

2018-03-01

Full Text Available We propose a gauge-invariant formulation of the channel orbital-based time-dependent configuration interaction singles (TDCIS method [Phys. Rev. A, 74, 043420 (2006], one of the powerful ab initio methods to investigate electron dynamics in atoms and molecules subject to an external laser field. In the present formulation, we derive the equations of motion (EOMs in the velocity gauge using gauge-transformed time-dependent, not fixed, orbitals that are equivalent to the conventional EOMs in the length gauge using fixed orbitals. The new velocity-gauge EOMs avoid the use of the length-gauge dipole operator, which diverges at large distance, and allows us to exploit computational advantages of the velocity-gauge treatment over the length-gauge one, e.g., a faster convergence in simulations with intense and long-wavelength lasers, and the feasibility of exterior complex scaling as an absorbing boundary. The reformulated TDCIS method is applied to an exactly solvable model of one-dimensional helium atom in an intense laser field to numerically demonstrate the gauge invariance. We also discuss the consistent method for evaluating the time derivative of an observable, which is relevant, e.g., in simulating high-harmonic generation.

World-line quantization of a reciprocally invariant system

International Nuclear Information System (INIS)

Govaerts, Jan; Jarvis, Peter D; Morgan, Stuart O; Low, Stephen G

2007-01-01

We present the world-line quantization of a system invariant under the symmetries of reciprocal relativity (pseudo-unitary transformations on 'phase-space coordinates' (x μ (τ), p μ (τ)) which preserve the Minkowski metric and the symplectic form, and global shifts in these coordinates, together with coordinate-dependent transformations of an additional compact phase coordinate, θ(τ)). The action is that of free motion over the corresponding Weyl-Heisenberg group. Imposition of the first class constraint, the generator of local time reparametrizations, on physical states enforces identification of the world-line cosmological constant with a fixed value of the quadratic Casimir of the quaplectic symmetry group Q(D-1,1)≅U(D-1,1)xH(D), the semi-direct product of the pseudo-unitary group with the Weyl-Heisenberg group (the central extension of the global translation group, with central extension associated with the phase variable θ(τ)). The spacetime spectrum of physical states is identified. Even though for an appropriate range of values the restriction enforced by the cosmological constant projects out negative norm states from the physical gauge invariant spectrum, leaving over spin zero states only, in this purely bosonic setting the mass-squared spectrum is continuous over the entire real line and thus includes a tachyonic branch as well

Explicit Minkowski invariance and differential calculus in the quantum space-time

International Nuclear Information System (INIS)

Xu Zhan.

1991-11-01

In terms of the R-circumflex matrix of the quantum group SL q (2), the explicit Minkowski coordinate commutation relations in the four-dimensional quantum space-time are given, and the invariance of the Minkowski metric is shown. The differential calculus in this quantum space-time is discussed and the corresponding commutation relations are proposed. (author). 17 refs

Invariant metrics for Hamiltonian systems

International Nuclear Information System (INIS)

Rangarajan, G.; Dragt, A.J.; Neri, F.

1991-05-01

In this paper, invariant metrics are constructed for Hamiltonian systems. These metrics give rise to norms on the space of homeogeneous polynomials of phase-space variables. For an accelerator lattice described by a Hamiltonian, these norms characterize the nonlinear content of the lattice. Therefore, the performance of the lattice can be improved by minimizing the norm as a function of parameters describing the beam-line elements in the lattice. A four-fold increase in the dynamic aperture of a model FODO cell is obtained using this procedure. 7 refs

PWR control system design using advanced linear and non-linear methodologies

International Nuclear Information System (INIS)

Rabindran, N.; Whitmarsh-Everiss, M.J.

2004-01-01

Consideration is here given to the methodology deployed for non-linear heuristic analysis in the time domain supported by multi-variable linear control system design methods for the purposes of operational dynamics and control system analysis. This methodology is illustrated by the application of structural singular value μ analysis to Pressurised Water Reactor control system design. (author)

STICAP: A linear circuit analysis program with stiff systems capability. Volume 1: Theory manual. [network analysis

Science.gov (United States)

Cooke, C. H.

1975-01-01

STICAP (Stiff Circuit Analysis Program) is a FORTRAN 4 computer program written for the CDC-6400-6600 computer series and SCOPE 3.0 operating system. It provides the circuit analyst a tool for automatically computing the transient responses and frequency responses of large linear time invariant networks, both stiff and nonstiff (algorithms and numerical integration techniques are described). The circuit description and user's program input language is engineer-oriented, making simple the task of using the program. Engineering theories underlying STICAP are examined. A user's manual is included which explains user interaction with the program and gives results of typical circuit design applications. Also, the program structure from a systems programmer's viewpoint is depicted and flow charts and other software documentation are given.

Neutral meson tests of time-reversal symmetry invariance

OpenAIRE

Bevan, Adrian; Inguglia, Gianluca; Zoccali, Michele

2013-01-01

The laws of quantum physics can be studied under the mathematical operation T that inverts the direction of time. Strong and electromagnetic forces are known to be invariant under temporal inversion, however the weak force is not. The BaBar experiment recently exploited the quantum-correlated production of pairs of B0 mesons to show that T is a broken symmetry. Here we show that it is possible to perform a wide range of tests of quark flavour changing processes under T in order to validate th...

Invariant relationships deriving from classical scaling transformations

International Nuclear Information System (INIS)

Bludman, Sidney; Kennedy, Dallas C.

2011-01-01

Because scaling symmetries of the Euler-Lagrange equations are generally not variational symmetries of the action, they do not lead to conservation laws. Instead, an extension of Noether's theorem reduces the equations of motion to evolutionary laws that prove useful, even if the transformations are not symmetries of the equations of motion. In the case of scaling, symmetry leads to a scaling evolutionary law, a first-order equation in terms of scale invariants, linearly relating kinematic and dynamic degrees of freedom. This scaling evolutionary law appears in dynamical and in static systems. Applied to dynamical central-force systems, the scaling evolutionary equation leads to generalized virial laws, which linearly connect the kinetic and potential energies. Applied to barotropic hydrostatic spheres, the scaling evolutionary equation linearly connects the gravitational and internal energy densities. This implies well-known properties of polytropes, describing degenerate stars and chemically homogeneous nondegenerate stellar cores.

Linearized fermion-gravitation system in a (2+1)-dimensional space-time with Chern-Simons data

International Nuclear Information System (INIS)

Mello, E.R.B. de.

1990-01-01

The fermion-graviton system at linearized level in a (2+1)-dimensional space-time with the gravitational Chern-Simons term is studied. In this approximation it is shown that this system presents anomalous rotational properties and spin, in analogy with the gauge field-matter system. (A.C.A.S.) [pt

Immersion and Invariance-Based Coordinated Generator Excitation and SVC Control for Power Systems

Directory of Open Access Journals (Sweden)

Adirak Kanchanaharuthai

2014-01-01

Full Text Available A nonlinear coordinated control of excitation and SVC of an electrical power system is proposed for transient stability, and voltage regulation enhancement after the occurrence of a large disturbance and a small perturbation. Using the concept of Immersion and Invariance (I&I design methodology, the proposed nonlinear controller is used to not only achieve power angle stability, frequency and voltage regulation but also ensure that the closed-loop system is transiently and asymptotically stable. In order to show the effectiveness of the proposed controller design, the simulation results illustrate that, in spite of the case where a large perturbation occurs on the transmission line or there is a small perturbation to mechanical power inputs, the proposed controller can not only keep the system transiently stable but also simultaneously accomplish better dynamic properties of the system as compared to operation with the existing controllers designed through a coordinated passivation technique controller and a feedback linearization scheme, respectively.

Fast Solvers for Dense Linear Systems

Energy Technology Data Exchange (ETDEWEB)

Kauers, Manuel [Research Institute for Symbolic Computation (RISC), Altenbergerstrasse 69, A4040 Linz (Austria)

2008-10-15

It appears that large scale calculations in particle physics often require to solve systems of linear equations with rational number coefficients exactly. If classical Gaussian elimination is applied to a dense system, the time needed to solve such a system grows exponentially in the size of the system. In this tutorial paper, we present a standard technique from computer algebra that avoids this exponential growth: homomorphic images. Using this technique, big dense linear systems can be solved in a much more reasonable time than using Gaussian elimination over the rationals.

Comments on a direct approach to finding exact invariants for one-dimensional time-dependent classical hamiltonian

International Nuclear Information System (INIS)

Castro Moreira, I. de.

1983-01-01

A method introduced by Lewis and Leach for the obtention of exact invariants of the form I = Σ p sup(n) F sub(n) (q,t) for hamiltonian systems, is generalized and applied directly on the equations of motion. It gives us a general procedure to generates exact invariants also for non hamiltonian systems. (Author) [pt

Measurement Invariance of a Summative Achievement Assessment over Time: Is Status Really Ready for Growth?

Science.gov (United States)

Viger, Steven Guy

2014-01-01

The current study investigates the phenomenon of measurement invariance by examining the construct stability of a summative mathematics achievement instrument over time gleaned from an existing data set. In doing so, not only is the general question of measurement invariance of the particular instrument addressed, but also in the context of growth…

Test of feasibility of a novel high precision test of time reversal invariance

International Nuclear Information System (INIS)

Samuel, Deepak

2007-01-01

The first results of a feasibility test of a novel high precision test of time reversal invariance are reported. The Time Reversal Invariance test at COSY (TRIC) was planned to measure the time reversal violating observable A y,xz with an accuracy of 10 -6 in proton-deuteron (p-d) scattering. A novel technique for measuring total cross sections is introduced and the achievable precision of this measuring technique is tested. The correlation coefficient A y,y in p-d scattering fakes a time-reversal violating effect. This work reports the feasibility test of the novel method in the measurement of A y,y in p-p scattering. The first step in the experimental design was the development of a hard real-time data acquisition system. To meet stringent latency requirements, the capabilities of Windows XP had to be augmented with a real-time subsystem. The remote control feature of the data acquisition enables users to operate it from any place via an internet connection. The data acquisition proved its reliability in several beam times without any failures. The analysis of the data showed the presence of 1/f noise which substantially limits the quality of our measurements. The origin of 1/f noise was traced and found to be the Barkhausen noise from the ferrite core of the beam current transformer (BCT). A global weighted fitting technique based on a modified Wiener-Khinchin method was developed and used to suppress the influence of 1/f noise, which increased the error bar of the results by a factor 3. This is the only deviation from our expectations. The results are presented and discussed. (orig.)

Test of feasibility of a novel high precision test of time reversal invariance

Energy Technology Data Exchange (ETDEWEB)

Samuel, Deepak

2007-07-01

The first results of a feasibility test of a novel high precision test of time reversal invariance are reported. The Time Reversal Invariance test at COSY (TRIC) was planned to measure the time reversal violating observable A{sub y,xz} with an accuracy of 10{sup -6} in proton-deuteron (p-d) scattering. A novel technique for measuring total cross sections is introduced and the achievable precision of this measuring technique is tested. The correlation coefficient A{sub y,y} in p-d scattering fakes a time-reversal violating effect. This work reports the feasibility test of the novel method in the measurement of A{sub y,y} in p-p scattering. The first step in the experimental design was the development of a hard real-time data acquisition system. To meet stringent latency requirements, the capabilities of Windows XP had to be augmented with a real-time subsystem. The remote control feature of the data acquisition enables users to operate it from any place via an internet connection. The data acquisition proved its reliability in several beam times without any failures. The analysis of the data showed the presence of 1/f noise which substantially limits the quality of our measurements. The origin of 1/f noise was traced and found to be the Barkhausen noise from the ferrite core of the beam current transformer (BCT). A global weighted fitting technique based on a modified Wiener-Khinchin method was developed and used to suppress the influence of 1/f noise, which increased the error bar of the results by a factor 3. This is the only deviation from our expectations. The results are presented and discussed. (orig.)

Modeling neuro-vascular coupling in rat cerebellum: characterization of deviations from linearity

DEFF Research Database (Denmark)

Rasmussen, Tina; Holstein-Rathlou, Niels-Henrik; Lauritzen, Martin

2009-01-01

We investigated the quantitative relation between neuronal activity and blood flow by means of a general parametric mathematical model which described the neuro-vascular system as being dynamic, linear, time-invariant, and subjected to additive noise. The model was constructed from measurements...... and dips in blood flow responses to stimulation for 60 s, and overgrowth of blood flow responses to stimulation for 600 s. In another set of experiments, stimulation frequencies were in the range 0.5-10 Hz and the stimulation duration was 15 s. The neuro-vascular system could be approximated by the linear...

Gauge invariance in the theoretical description of time-resolved angle-resolved pump/probe photoemission spectroscopy

Energy Technology Data Exchange (ETDEWEB)

Freericks, J. K.; Krishnamurthy, H. R.; Sentef, M. A.; Devereaux, T. P.

2015-10-01

Nonequilibrium calculations in the presence of an electric field are usually performed in a gauge, and need to be transformed to reveal the gauge-invariant observables. In this work, we discuss the issue of gauge invariance in the context of time-resolved angle-resolved pump/probe photoemission. If the probe is applied while the pump is still on, one must ensure that the calculations of the observed photocurrent are gauge invariant. We also discuss the requirement of the photoemission signal to be positive and the relationship of this constraint to gauge invariance. We end by discussing some technical details related to the perturbative derivation of the photoemission spectra, which involve processes where the pump pulse photoexcites electrons due to nonequilibrium effects.

Computational invariant theory

CERN Document Server

Derksen, Harm

2015-01-01

This book is about the computational aspects of invariant theory. Of central interest is the question how the invariant ring of a given group action can be calculated. Algorithms for this purpose form the main pillars around which the book is built. There are two introductory chapters, one on Gröbner basis methods and one on the basic concepts of invariant theory, which prepare the ground for the algorithms. Then algorithms for computing invariants of finite and reductive groups are discussed. Particular emphasis lies on interrelations between structural properties of invariant rings and computational methods. Finally, the book contains a chapter on applications of invariant theory, covering fields as disparate as graph theory, coding theory, dynamical systems, and computer vision. The book is intended for postgraduate students as well as researchers in geometry, computer algebra, and, of course, invariant theory. The text is enriched with numerous explicit examples which illustrate the theory and should be ...

Inverse chaos synchronization in linearly and nonlinearly coupled systems with multiple time-delays

International Nuclear Information System (INIS)

Shahverdiev, E.M.; Hashimov, R.H.; Nuriev, R.A.; Hashimova, L.H.; Huseynova, E.M.; Shore, K.A.

2005-04-01

We report on inverse chaos synchronization between two unidirectionally linearly and nonlinearly coupled chaotic systems with multiple time-delays and find the existence and stability conditions for different synchronization regimes. We also study the effect of parameter mismatches on synchonization regimes. The method is tested on the famous Ikeda model. Numerical simulations fully support the analytical approach. (author)

Non-linear electrodynamics in Kaluza-Klein theory

International Nuclear Information System (INIS)

Kerner, R.

1987-01-01

The most general variational principle based on the invariants of the Riemann tensor and leading to the second order differential equations should contain, in dimensions higher than four, the invariants of the Gauss-Bonnet type. In five dimensions the lagrangian should be a linear combination of the scalar curvature and the second-order invariant. The equations of the electromagnetic field are derived in the absence of scalar and gravitational fields of the Kaluza-Klein model. They yield the unique extension of Maxwell's system in the Kaluza-Klein theory. Some properties of eventual solutions are discussed [fr

Dark coupling and gauge invariance

International Nuclear Information System (INIS)

Gavela, M.B.; Honorez, L. Lopez; Mena, O.; Rigolin, S.

2010-01-01

We study a coupled dark energy-dark matter model in which the energy-momentum exchange is proportional to the Hubble expansion rate. The inclusion of its perturbation is required by gauge invariance. We derive the linear perturbation equations for the gauge invariant energy density contrast and velocity of the coupled fluids, and we determine the initial conditions. The latter turn out to be adiabatic for dark energy, when assuming adiabatic initial conditions for all the standard fluids. We perform a full Monte Carlo Markov Chain likelihood analysis of the model, using WMAP 7-year data

Dark Coupling and Gauge Invariance

CERN Document Server

Gavela, M B; Mena, O; Rigolin, S

2010-01-01

We study a coupled dark energy-dark matter model in which the energy-momentum exchange is proportional to the Hubble expansion rate. The inclusion of its perturbation is required by gauge invariance. We derive the linear perturbation equations for the gauge invariant energy density contrast and velocity of the coupled fluids, and we determine the initial conditions. The latter turn out to be adiabatic for dark energy, when assuming adiabatic initial conditions for all the standard fluids. We perform a full Monte Carlo Markov Chain likelihood analysis of the model, using WMAP 7-year data.

Time-critical multirate scheduling using contemporary real-time operating system services

Science.gov (United States)

Eckhardt, D. E., Jr.

1983-01-01

Although real-time operating systems provide many of the task control services necessary to process time-critical applications (i.e., applications with fixed, invariant deadlines), it may still be necessary to provide a scheduling algorithm at a level above the operating system in order to coordinate a set of synchronized, time-critical tasks executing at different cyclic rates. The scheduling requirements for such applications and develops scheduling algorithms using services provided by contemporary real-time operating systems.

Application of Minimum-time Optimal Control System in Buck-Boost Bi-linear Converters

Directory of Open Access Journals (Sweden)

S. M. M. Shariatmadar

2017-08-01

Full Text Available In this study, the theory of minimum-time optimal control system in buck-boost bi-linear converters is described, so that output voltage regulation is carried out within minimum time. For this purpose, the Pontryagin's Minimum Principle is applied to find optimal switching level applying minimum-time optimal control rules. The results revealed that by utilizing an optimal switching level instead of classical switching patterns, output voltage regulation will be carried out within minimum time. However, transient energy index of increased overvoltage significantly reduces in order to attain minimum time optimal control in reduced output load. The laboratory results were used in order to verify numerical simulations.

Sampled-data and discrete-time H2 optimal control

NARCIS (Netherlands)

Trentelman, Harry L.; Stoorvogel, Anton A.

1993-01-01

This paper deals with the sampled-data H2 optimal control problem. Given a linear time-invariant continuous-time system, the problem of minimizing the H2 performance over all sampled-data controllers with a fixed sampling period can be reduced to a pure discrete-time H2 optimal control problem. This

Gromov-Witten invariants and localization

Science.gov (United States)

Morrison, David R.

2017-11-01

We give a pedagogical review of the computation of Gromov-Witten invariants via localization in 2D gauged linear sigma models. We explain the relationship between the two-sphere partition function of the theory and the Kähler potential on the conformal manifold. We show how the Kähler potential can be assembled from classical, perturbative, and non-perturbative contributions, and explain how the non-perturbative contributions are related to the Gromov-Witten invariants of the corresponding Calabi-Yau manifold. We then explain how localization enables efficient calculation of the two-sphere partition function and, ultimately, the Gromov-Witten invariants themselves. This is a contribution to the review issue ‘Localization techniques in quantum field theories’ (ed V Pestun and M Zabzine) which contains 17 chapters, available at [1].

Non-critical Poincare invariant bosonic string backgrounds and closed string tachyons

International Nuclear Information System (INIS)

Alvarez, Enrique; Gomez, Cesar; Hernandez, Lorenzo

2001-01-01

A new family of non critical bosonic string backgrounds in arbitrary space-time dimension D and with ISO(1,D-2) Poincare invariance are presented. The metric warping factor and dilaton agree asymptotically with the linear dilaton background. The closed string tachyon equation of motion enjoys, in the linear approximation, an exact solution of 'kink' type interpolating between different expectation values. A renormalization group flow interpretation, based on a closed string tachyon potential of type -T 2 e -T , is suggested

The light-front gauge-invariant energy-momentum tensor

International Nuclear Information System (INIS)

Lorce, Cedric

2015-01-01

In this study, we provide for the first time a complete parametrization for the matrix elements of the generic asymmetric, non-local and gauge-invariant canonical energy-momentum tensor, generalizing therefore former works on the symmetric, local and gauge-invariant kinetic energy-momentum tensor also known as the Belinfante-Rosenfeld energy-momentum tensor. We discuss in detail the various constraints imposed by non-locality, linear and angular momentum conservation. We also derive the relations with two-parton generalized and transverse-momentum dependent distributions, clarifying what can be learned from the latter. In particular, we show explicitly that two-parton transverse-momentum dependent distributions cannot provide any model-independent information about the parton orbital angular momentum. On the way, we recover the Burkardt sum rule and obtain similar new sum rules for higher-twist distributions

On stabilisability of 2-D MIMO shift-invariant systems

Czech Academy of Sciences Publication Activity Database

Augusta, Petr; Augustová, Petra

2013-01-01

Roč. 350, č. 10 (2013), s. 2949-2966 ISSN 0016-0032 R&D Projects: GA ČR GPP103/12/P494 Institutional support: RVO:67985556 Keywords : spatially invariant system * stabilisation * multiple-input-multiple-output system, * positive polynomial Subject RIV: BC - Control Systems Theory Impact factor: 2.260, year: 2013 http://library.utia.cas.cz/separaty/2013/TR/augusta-0398772.pdf

Communication: Fitting potential energy surfaces with fundamental invariant neural network

Energy Technology Data Exchange (ETDEWEB)

Shao, Kejie; Chen, Jun; Zhao, Zhiqiang; Zhang, Dong H., E-mail: zhangdh@dicp.ac.cn [State Key Laboratory of Molecular Reaction Dynamics and Center for Theoretical Computational Chemistry, Dalian Institute of Chemical Physics, Chinese Academy of Sciences, Dalian 116023, People’s Republic of China and University of Chinese Academy of Sciences, Beijing 100049, People’s Republic of China. (China)

2016-08-21

A more flexible neural network (NN) method using the fundamental invariants (FIs) as the input vector is proposed in the construction of potential energy surfaces for molecular systems involving identical atoms. Mathematically, FIs finitely generate the permutation invariant polynomial (PIP) ring. In combination with NN, fundamental invariant neural network (FI-NN) can approximate any function to arbitrary accuracy. Because FI-NN minimizes the size of input permutation invariant polynomials, it can efficiently reduce the evaluation time of potential energy, in particular for polyatomic systems. In this work, we provide the FIs for all possible molecular systems up to five atoms. Potential energy surfaces for OH{sub 3} and CH{sub 4} were constructed with FI-NN, with the accuracy confirmed by full-dimensional quantum dynamic scattering and bound state calculations.

uncertain dynamic systems on time scales

Directory of Open Access Journals (Sweden)

V. Lakshmikantham

1995-01-01

Full Text Available A basic feedback control problem is that of obtaining some desired stability property from a system which contains uncertainties due to unknown inputs into the system. Despite such imperfect knowledge in the selected mathematical model, we often seek to devise controllers that will steer the system in a certain required fashion. Various classes of controllers whose design is based on the method of Lyapunov are known for both discrete [4], [10], [15], and continuous [3–9], [11] models described by difference and differential equations, respectively. Recently, a theory for what is known as dynamic systems on time scales has been built which incorporates both continuous and discrete times, namely, time as an arbitrary closed sets of reals, and allows us to handle both systems simultaneously [1], [2], [12], [13]. This theory permits one to get some insight into and better understanding of the subtle differences between discrete and continuous systems. We shall, in this paper, utilize the framework of the theory of dynamic systems on time scales to investigate the stability properties of conditionally invariant sets which are then applied to discuss controlled systems with uncertain elements. For the notion of conditionally invariant set and its stability properties, see [14]. Our results offer a new approach to the problem in question.

Unbounded dynamics and compact invariant sets of one Hamiltonian system defined by the minimally coupled field

Energy Technology Data Exchange (ETDEWEB)

Starkov, Konstantin E., E-mail: kstarkov@ipn.mx

2015-06-12

In this paper we study some features of global dynamics for one Hamiltonian system arisen in cosmology which is formed by the minimally coupled field; this system was introduced by Maciejewski et al. in 2007. We establish that under some simple conditions imposed on parameters of this system all trajectories are unbounded in both of time directions. Further, we present other conditions for system parameters under which we localize the domain with unbounded dynamics; this domain is defined with help of bounds for values of the Hamiltonian level surface parameter. We describe the case when our system possesses periodic orbits which are found explicitly. In the rest of the cases we get some localization bounds for compact invariant sets. - Highlights: • Domain with unbounded dynamics is localized. • Equations for periodic orbits are given in one level set. • Localizations for compact invariant sets are got.

UNIVERSAL REGULAR AUTONOMOUS ASYNCHRONOUS SYSTEMS: ω-LIMIT SETS, INVARIANCE AND BASINS OF ATTRACTION

Directory of Open Access Journals (Sweden)

Serban Vlad

2011-07-01

Full Text Available The asynchronous systems are the non-deterministic real timebinarymodels of the asynchronous circuits from electrical engineering.Autonomy means that the circuits and their models have no input.Regularity means analogies with the dynamical systems, thus such systems may be considered to be real time dynamical systems with a’vector field’, Universality refers to the case when the state space of the system is the greatest possible in the sense of theinclusion. The purpose of this paper is that of defining, by analogy with the dynamical systems theory, the omega-limit sets, the invariance and the basins of attraction of the universal regular autonomous asynchronous systems.

A characterization of scale invariant responses in enzymatic networks.

Directory of Open Access Journals (Sweden)

Maja Skataric

Full Text Available An ubiquitous property of biological sensory systems is adaptation: a step increase in stimulus triggers an initial change in a biochemical or physiological response, followed by a more gradual relaxation toward a basal, pre-stimulus level. Adaptation helps maintain essential variables within acceptable bounds and allows organisms to readjust themselves to an optimum and non-saturating sensitivity range when faced with a prolonged change in their environment. Recently, it was shown theoretically and experimentally that many adapting systems, both at the organism and single-cell level, enjoy a remarkable additional feature: scale invariance, meaning that the initial, transient behavior remains (approximately the same even when the background signal level is scaled. In this work, we set out to investigate under what conditions a broadly used model of biochemical enzymatic networks will exhibit scale-invariant behavior. An exhaustive computational study led us to discover a new property of surprising simplicity and generality, uniform linearizations with fast output (ULFO, whose validity we show is both necessary and sufficient for scale invariance of three-node enzymatic networks (and sufficient for any number of nodes. Based on this study, we go on to develop a mathematical explanation of how ULFO results in scale invariance. Our work provides a surprisingly consistent, simple, and general framework for understanding this phenomenon, and results in concrete experimental predictions.

Invariant description of solutions of hydrodynamic-type systems in hodograph space: hydrodynamic surfaces

International Nuclear Information System (INIS)

Ferapontov, E.V.

2002-01-01

Hydrodynamic surfaces are solutions of hydrodynamic-type systems viewed as non-parametrized submanifolds of the hodograph space. We propose an invariant differential-geometric characterization of hydrodynamic surfaces by expressing the curvature form of the characteristic web in terms of the reciprocal invariants. (author)

A block Krylov subspace time-exact solution method for linear ordinary differential equation systems

NARCIS (Netherlands)

Bochev, Mikhail A.

2013-01-01

We propose a time-exact Krylov-subspace-based method for solving linear ordinary differential equation systems of the form $y'=-Ay+g(t)$ and $y"=-Ay+g(t)$, where $y(t)$ is the unknown function. The method consists of two stages. The first stage is an accurate piecewise polynomial approximation of

Minimal-Inversion Feedforward-And-Feedback Control System

Science.gov (United States)

Seraji, Homayoun

1990-01-01

Recent developments in theory of control systems support concept of minimal-inversion feedforward-and feedback control system consisting of three independently designable control subsystems. Applicable to the control of linear, time-invariant plant.

Uniqueness of solutions of relay systems, Special Issue on Hybrid Systems

NARCIS (Netherlands)

Lootsma, Y.J.; van der Schaft, Arjan; Camlıbel, M.K.

1999-01-01

Conditions are given for uniqueness of solutions of linear time-invariant systems under relay feedback. From a hybrid dynamical point of view this entails the deterministic specification of the discrete transition rules. The results are based on the formulation of relay systems as complementarity

Linear Regression Based Real-Time Filtering

Directory of Open Access Journals (Sweden)

Misel Batmend

2013-01-01

Full Text Available This paper introduces real time filtering method based on linear least squares fitted line. Method can be used in case that a filtered signal is linear. This constraint narrows a band of potential applications. Advantage over Kalman filter is that it is computationally less expensive. The paper further deals with application of introduced method on filtering data used to evaluate a position of engraved material with respect to engraving machine. The filter was implemented to the CNC engraving machine control system. Experiments showing its performance are included.

A Discrete-Time Recurrent Neural Network for Solving Rank-Deficient Matrix Equations With an Application to Output Regulation of Linear Systems.

Science.gov (United States)

Liu, Tao; Huang, Jie

2017-04-17

This paper presents a discrete-time recurrent neural network approach to solving systems of linear equations with two features. First, the system of linear equations may not have a unique solution. Second, the system matrix is not known precisely, but a sequence of matrices that converges to the unknown system matrix exponentially is known. The problem is motivated from solving the output regulation problem for linear systems. Thus, an application of our main result leads to an online solution to the output regulation problem for linear systems.

The `principle of invariance' in currency systems: a comment on Caianiello et al.

Science.gov (United States)

Bouhdaoui, Y.; Bounie, D.; Van Hove, L.

2012-04-01

In an often-cited article in this journal, Caianiello et al. (1982. International Journal of General Systems, 8 (2), 81-92) formulate a 'principle of invariance' for currency systems. They build on this principle to explain the distribution of the coins and banknotes in circulation over the different denominations, and analyse how a currency system adjusts to inflation. This paper shows that Caianiello et al.'s distribution law is flawed because the principle of invariance is false.

A strongly coupled open system with a non-linear bath: fluctuation-dissipation and Langevin dynamics

Science.gov (United States)

Bhadra, Chitrak

2018-03-01

The study of Langevin dynamics and fluctuation-dissipation relation (FDR) for a generic probe system (represented by a mass M ), bilinearly coupled to a bath of harmonic oscillators, has been a standard paradigm for the microscopic theory of stochastic processes for several decades. The question that we probe in this paper is, how robust the structure of the classical FDR is, when one replaces the harmonic bath by an anharmonic one in the limit of strong system-bath coupling? Such a picture carries the signature of the probe system in the zeroth order through a nonlocal time kernel. We observe that the two-time noise correlations hold a rich structure from which the usual FDR emerges only in the leading order of perturbation. Beyond this order, multiple time scales and nontrivial dependence on the temperature starts to manifest. These new aspects conspire to break the time-translational invariance of the noise-correlations. Several other interesting features show up and we discuss them methodically through rigorous calculations order-by-order in perturbation. This formalistic derivation along with a specific example of non-linearity can be easily applied to a huge range of processes and statistical observables that fall under the purview of a system-reservoir theory.

Nonsymmetric systems arising in the computation of invariant tori

Energy Technology Data Exchange (ETDEWEB)

Trummer, M.R. [Simons Fraser Univ., Burnaby, British Columbia (Canada)

1996-12-31

We introduce two new spectral implementations for computing invariant tori. The underlying nonlinear partial differential equation although hyperbolic by nature, has periodic boundary conditions in both space and time. In our first approach we discretize the spatial variable, and find the solution via a shooting method. In our second approach, a full two-dimensional Fourier spectral discretization and Newton`s method lead to very large, sparse, nonsymmetric systems. These matrices are highly structured, but the sparsity pattern prohibits the use of direct solvers. A modified conjugate gradient type iterative solver appears to perform best for this type of problems. The two methods are applied to the van der Pol oscillator, and compared to previous algorithms. Several preconditioners are investigated.

Gauge-invariant cosmic structures---A dynamic systems approach

International Nuclear Information System (INIS)

Woszczyna, A.

1992-01-01

Gravitational instability is expressed in terms of the dynamic systems theory. The gauge-invariant Ellis-Bruni equation and Bardeen's equation are discussed in detail. It is shown that in an open universe filled with matter of constant sound velocity the Jeans criterion does not adequately define the length scale of the gravitational structure

Correlation functions of Sp(2n) invariant higher-spin systems

Energy Technology Data Exchange (ETDEWEB)

Skvortsov, Evgeny [Arnold Sommerfeld Center for Theoretical Physics, Ludwig-Maximilians University Munich,Theresienstr. 37, D-80333 Munich (Germany); ebedev Institute of Physics,Leninsky ave 53, 119991, Moscow (Russian Federation); Sorokin, Dmitri [INFN - Sezione di Padova,via F. Marzolo 8, 35131 Padova (Italy); Tsulaia, Mirian [School of Physics M013, The University of Western Australia,35 Stirling Highway, Crawley, Perth, WA 6009 (Australia)

2016-07-26

We study the general structure of correlation functions in an Sp(2n)-invariant formulation of systems of an infinite number of higher-spin fields. For n=4,8 and 16 these systems comprise the conformal higher-spin fields in space-time dimensions D=4,6 and 10, respectively, while when n=2, one deals with conventional D=3 conformal field theories of scalars and spinors. We show that for n>2 the Sp(2n) symmetry and current conservation makes the 3-point correlators of two (rank-one or rank-two) conserved currents with a scalar operator be that of free theory. This situation is analogous to the one in conventional conformal field theories, where conservation of higher-spin currents implies that the theories are free.

Non-linear realization of α0 -extended supersymmetry

International Nuclear Information System (INIS)

Nishino, Hitoshi

2000-01-01

As generalizations of the original Volkov-Akulov action in four-dimensions, actions are found for all space-time dimensions D invariant under N non-linear realized global supersymmetries. We also give other such actions invariant under the global non-linear supersymmetry. As an interesting consequence, we find a non-linear supersymmetric Born-Infeld action for a non-Abelian gauge group for arbitrary D and N , which coincides with the linearly supersymmetric Born-Infeld action in D=10 at the lowest order. For the gauge group U(N) for M(atrix)-theory, this model has N 2 -extended non-linear supersymmetries, so that its large N limit corresponds to the infinitely many (α 0 ) supersymmetries. We also perform a duality transformation from F μν into its Hodge dual N μ 1 ctdot μD-2 . We next point out that any Chern-Simons action for any (super)groups has the non-linear supersymmetry as a hidden symmetry. Subsequently, we present a superspace formulation for the component results. We further find that as long as superspace supergravity is consistent, this generalized Volkov-Akulov action can further accommodate such curved superspace backgrounds with local supersymmetry, as a super p -brane action with fermionic kappa-symmetry. We further elaborate these results to what we call 'simplified' (Supersymmetry) 2 -models, with both linear and non-linear representations of supersymmetries in superspace at the same time. Our result gives a proof that there is no restriction on D or N for global non-linear supersymmetry. We also see that the non-linear realization of supersymmetry in 'curved' space-time can be interpreted as 'non-perturbative' effect starting with the 'flat' space-time

ESPRIT And Uniform Linear Arrays

Science.gov (United States)

Roy, R. H.; Goldburg, M.; Ottersten, B. E.; Swindlehurst, A. L.; Viberg, M.; Kailath, T.

1989-11-01

Abstract ¬â€?ESPRIT is a recently developed and patented technique for high-resolution estimation of signal parameters. It exploits an invariance structure designed into the sensor array to achieve a reduction in computational requirements of many orders of magnitude over previous techniques such as MUSIC, Burg's MEM, and Capon's ML, and in addition achieves performance improvement as measured by parameter estimate error variance. It is also manifestly more robust with respect to sensor errors (e.g. gain, phase, and location errors) than other methods as well. Whereas ESPRIT only requires that the sensor array possess a single invariance best visualized by considering two identical but other-wise arbitrary arrays of sensors displaced (but not rotated) with respect to each other, many arrays currently in use in various applications are uniform linear arrays of identical sensor elements. Phased array radars are commonplace in high-resolution direction finding systems, and uniform tapped delay lines (i.e., constant rate A/D converters) are the rule rather than the exception in digital signal processing systems. Such arrays possess many invariances, and are amenable to other types of analysis, which is one of the main reasons such structures are so prevalent. Recent developments in high-resolution algorithms of the signal/noise subspace genre including total least squares (TLS) ESPRIT applied to uniform linear arrays are summarized. ESPRIT is also shown to be a generalization of the root-MUSIC algorithm (applicable only to the case of uniform linear arrays of omni-directional sensors and unimodular cisoids). Comparisons with various estimator bounds, including CramerRao bounds, are presented.

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets

Science.gov (United States)

2014-11-01

linear hybrid systems by linear algebraic methods. In SAS, volume 6337 of LNCS, pages 373–389. Springer, 2010. [19] E. W. Mayr. Membership in polynomial...383–394, 2009. [31] A. Tarski. A decision method for elementary algebra and geometry. Bull. Amer. Math. Soc., 59, 1951. [32] A. Tiwari. Abstractions...A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets Khalil Ghorbal1 Andrew Sogokon2 André Platzer1 November 2014 CMU

Memory State Feedback RMPC for Multiple Time-Delayed Uncertain Linear Systems with Input Constraints

Directory of Open Access Journals (Sweden)

Wei-Wei Qin

2014-01-01

Full Text Available This paper focuses on the problem of asymptotic stabilization for a class of discrete-time multiple time-delayed uncertain linear systems with input constraints. Then, based on the predictive control principle of receding horizon optimization, a delayed state dependent quadratic function is considered for incorporating MPC problem formulation. By developing a memory state feedback controller, the information of the delayed plant states can be taken into full consideration. The MPC problem is formulated to minimize the upper bound of infinite horizon cost that satisfies the sufficient conditions. Then, based on the Lyapunov-Krasovskii function, a delay-dependent sufficient condition in terms of linear matrix inequality (LMI can be derived to design a robust MPC algorithm. Finally, the digital simulation results prove availability of the proposed method.

Fractional-Order Discrete-Time Laguerre Filters: A New Tool for Modeling and Stability Analysis of Fractional-Order LTI SISO Systems

Directory of Open Access Journals (Sweden)

Rafał Stanisławski

2016-01-01

Full Text Available This paper presents new results on modeling and analysis of dynamics of fractional-order discrete-time linear time-invariant single-input single-output (LTI SISO systems by means of new, two-layer, “fractional-order discrete-time Laguerre filters.” It is interesting that the fractionality of the filters at the upper system dynamics layer is directly projected from the lower Laguerre-based approximation layer for the Grünwald-Letnikov difference. A new stability criterion for discrete-time fractional-order Laguerre-based LTI SISO systems is introduced and supplemented with a stability preservation analysis. Both the stability criterion and the stability preservation analysis bring up rather surprising results, which is illustrated with simulation examples.

Non linear system become linear system

Directory of Open Access Journals (Sweden)

Petre Bucur

2007-01-01

Full Text Available The present paper refers to the theory and the practice of the systems regarding non-linear systems and their applications. We aimed the integration of these systems to elaborate their response as well as to highlight some outstanding features.

Testing Lorentz invariance of dark matter

CERN Document Server

Blas, Diego; Sibiryakov, Sergey

2012-01-01

We study the possibility to constrain deviations from Lorentz invariance in dark matter (DM) with cosmological observations. Breaking of Lorentz invariance generically introduces new light gravitational degrees of freedom, which we represent through a dynamical timelike vector field. If DM does not obey Lorentz invariance, it couples to this vector field. We find that this coupling affects the inertial mass of small DM halos which no longer satisfy the equivalence principle. For large enough lumps of DM we identify a (chameleon) mechanism that restores the inertial mass to its standard value. As a consequence, the dynamics of gravitational clustering are modified. Two prominent effects are a scale dependent enhancement in the growth of large scale structure and a scale dependent bias between DM and baryon density perturbations. The comparison with the measured linear matter power spectrum in principle allows to bound the departure from Lorentz invariance of DM at the per cent level.

Testing Lorentz invariance of dark matter

Energy Technology Data Exchange (ETDEWEB)

Blas, Diego [Theory Group, Physics Department, CERN, CH-1211 Geneva 23 (Switzerland); Ivanov, Mikhail M.; Sibiryakov, Sergey, E-mail: diego.blas@cern.ch, E-mail: mm.ivanov@physics.msu.ru, E-mail: sibir@inr.ac.ru [Faculty of Physics, Moscow State University, Vorobjevy Gory, 119991 Moscow (Russian Federation)

2012-10-01

We study the possibility to constrain deviations from Lorentz invariance in dark matter (DM) with cosmological observations. Breaking of Lorentz invariance generically introduces new light gravitational degrees of freedom, which we represent through a dynamical timelike vector field. If DM does not obey Lorentz invariance, it couples to this vector field. We find that this coupling affects the inertial mass of small DM halos which no longer satisfy the equivalence principle. For large enough lumps of DM we identify a (chameleon) mechanism that restores the inertial mass to its standard value. As a consequence, the dynamics of gravitational clustering are modified. Two prominent effects are a scale dependent enhancement in the growth of large scale structure and a scale dependent bias between DM and baryon density perturbations. The comparison with the measured linear matter power spectrum in principle allows to bound the departure from Lorentz invariance of DM at the per cent level.

Shift-, rotation-, and scale-invariant shape recognition system using an optical Hough transform

Science.gov (United States)

Schmid, Volker R.; Bader, Gerhard; Lueder, Ernst H.

1998-02-01

We present a hybrid shape recognition system with an optical Hough transform processor. The features of the Hough space offer a separate cancellation of distortions caused by translations and rotations. Scale invariance is also provided by suitable normalization. The proposed system extends the capabilities of Hough transform based detection from only straight lines to areas bounded by edges. A very compact optical design is achieved by a microlens array processor accepting incoherent light as direct optical input and realizing the computationally expensive connections massively parallel. Our newly developed algorithm extracts rotation and translation invariant normalized patterns of bright spots on a 2D grid. A neural network classifier maps the 2D features via a nonlinear hidden layer onto the classification output vector. We propose initialization of the connection weights according to regions of activity specifically assigned to each neuron in the hidden layer using a competitive network. The presented system is designed for industry inspection applications. Presently we have demonstrated detection of six different machined parts in real-time. Our method yields very promising detection results of more than 96% correctly classified parts.

Predictor feedback for delay systems implementations and approximations

CERN Document Server

Karafyllis, Iasson

2017-01-01

This monograph bridges the gap between the nonlinear predictor as a concept and as a practical tool, presenting a complete theory of the application of predictor feedback to time-invariant, uncertain systems with constant input delays and/or measurement delays. It supplies several methods for generating the necessary real-time solutions to the systems’ nonlinear differential equations, which the authors refer to as approximate predictors. Predictor feedback for linear time-invariant (LTI) systems is presented in Part I to provide a solid foundation on the necessary concepts, as LTI systems pose fewer technical difficulties than nonlinear systems. Part II extends all of the concepts to nonlinear time-invariant systems. Finally, Part III explores extensions of predictor feedback to systems described by integral delay equations and to discrete-time systems. The book’s core is the design of control and observer algorithms with which global stabilization, guaranteed in the previous literature with idealized (b...

On the optimal systems of subalgebras for the equations of hydrodynamic stability analysis of smooth shear flows and their group-invariant solutions

Science.gov (United States)

Hau, Jan-Niklas; Oberlack, Martin; Chagelishvili, George

2017-04-01

We present a unifying solution framework for the linearized compressible equations for two-dimensional linearly sheared unbounded flows using the Lie symmetry analysis. The full set of symmetries that are admitted by the underlying system of equations is employed to systematically derive the one- and two-dimensional optimal systems of subalgebras, whose connected group reductions lead to three distinct invariant ansatz functions for the governing sets of partial differential equations (PDEs). The purpose of this analysis is threefold and explicitly we show that (i) there are three invariant solutions that stem from the optimal system. These include a general ansatz function with two free parameters, as well as the ansatz functions of the Kelvin mode and the modal approach. Specifically, the first approach unifies these well-known ansatz functions. By considering two limiting cases of the free parameters and related algebraic transformations, the general ansatz function is reduced to either of them. This fact also proves the existence of a link between the Kelvin mode and modal ansatz functions, as these appear to be the limiting cases of the general one. (ii) The Lie algebra associated with the Lie group admitted by the PDEs governing the compressible dynamics is a subalgebra associated with the group admitted by the equations governing the incompressible dynamics, which allows an additional (scaling) symmetry. Hence, any consequences drawn from the compressible case equally hold for the incompressible counterpart. (iii) In any of the systems of ordinary differential equations, derived by the three ansatz functions in the compressible case, the linearized potential vorticity is a conserved quantity that allows us to analyze vortex and wave mode perturbations separately.

Performance analysis of switching systems

NARCIS (Netherlands)

Berg, van den R.A.

2008-01-01

Performance analysis is an important aspect in the design of dynamic (control) systems. Without a proper analysis of the behavior of a system, it is impossible to guarantee that a certain design satisfies the system’s requirements. For linear time-invariant systems, accurate performance analyses are

Universal localizing bounds for compact invariant sets of natural polynomial Hamiltonian systems

International Nuclear Information System (INIS)

Starkov, Konstantin E.

2008-01-01

In this Letter we study the localization problem of compact invariant sets of natural Hamiltonian systems with a polynomial Hamiltonian. Our results are based on applying the first order extremum conditions. We compute universal localizing bounds for some domain containing all compact invariant sets of a Hamiltonian system by using one quadratic function of a simple form. These bounds depend on the value of the total energy of the system, degree and some coefficients of a potential and, in addition, some positive number got as a result of a solution of one maximization problem. Besides, under some quasihomogeneity condition(s) we generalize our construction of the localization set

Universal localizing bounds for compact invariant sets of natural polynomial Hamiltonian systems

Energy Technology Data Exchange (ETDEWEB)

Starkov, Konstantin E. [CITEDI-IPN, Av. del Parque 1310, Mesa de Otay, Tijuana, BC (Mexico)], E-mail: konst@citedi.mx

2008-10-06

In this Letter we study the localization problem of compact invariant sets of natural Hamiltonian systems with a polynomial Hamiltonian. Our results are based on applying the first order extremum conditions. We compute universal localizing bounds for some domain containing all compact invariant sets of a Hamiltonian system by using one quadratic function of a simple form. These bounds depend on the value of the total energy of the system, degree and some coefficients of a potential and, in addition, some positive number got as a result of a solution of one maximization problem. Besides, under some quasihomogeneity condition(s) we generalize our construction of the localization set.

Adaptive Control for Linear Uncertain Systems with Unmodeled Dynamics Revisited via Optimal Control Modification

Science.gov (United States)

Nguyen, Nhan

2013-01-01

This paper presents the optimal control modification for linear uncertain plants. The Lyapunov analysis shows that the modification parameter has a limiting value depending on the nature of the uncertainty. The optimal control modification exhibits a linear asymptotic property that enables it to be analyzed in a linear time invariant framework for linear uncertain plants. The linear asymptotic property shows that the closed-loop plants in the limit possess a scaled input-output mapping. Using this property, we can derive an analytical closed-loop transfer function in the limit as the adaptive gain tends to infinity. The paper revisits the Rohrs counterexample problem that illustrates the nature of non-robustness of model-reference adaptive control in the presence of unmodeled dynamics. An analytical approach is developed to compute exactly the modification parameter for the optimal control modification that stabilizes the plant in the Rohrs counterexample. The linear asymptotic property is also used to address output feedback adaptive control for non-minimum phase plants with a relative degree 1.

Abstraction of continuous dynamical systems utilizing lyapunov functions

DEFF Research Database (Denmark)

Sloth, Christoffer; Wisniewski, Rafael

2010-01-01

This paper considers the development of a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification...... of the dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse......-Smale systems and complete and refinable abstractions for linear systems are shown....

What Is a Complex Innovation System?

Science.gov (United States)

Katz, J. Sylvan

2016-01-01

Innovation systems are sometimes referred to as complex systems, something that is intuitively understood but poorly defined. A complex system dynamically evolves in non-linear ways giving it unique properties that distinguish it from other systems. In particular, a common signature of complex systems is scale-invariant emergent properties. A scale-invariant property can be identified because it is solely described by a power law function, f(x) = kxα, where the exponent, α, is a measure of scale-invariance. The focus of this paper is to describe and illustrate that innovation systems have properties of a complex adaptive system. In particular scale-invariant emergent properties indicative of their complex nature that can be quantified and used to inform public policy. The global research system is an example of an innovation system. Peer-reviewed publications containing knowledge are a characteristic output. Citations or references to these articles are an indirect measure of the impact the knowledge has on the research community. Peer-reviewed papers indexed in Scopus and in the Web of Science were used as data sources to produce measures of sizes and impact. These measures are used to illustrate how scale-invariant properties can be identified and quantified. It is demonstrated that the distribution of impact has a reasonable likelihood of being scale-invariant with scaling exponents that tended toward a value of less than 3.0 with the passage of time and decreasing group sizes. Scale-invariant correlations are shown between the evolution of impact and size with time and between field impact and sizes at points in time. The recursive or self-similar nature of scale-invariance suggests that any smaller innovation system within the global research system is likely to be complex with scale-invariant properties too. PMID:27258040

What Is a Complex Innovation System?

Directory of Open Access Journals (Sweden)

J Sylvan Katz

Full Text Available Innovation systems are sometimes referred to as complex systems, something that is intuitively understood but poorly defined. A complex system dynamically evolves in non-linear ways giving it unique properties that distinguish it from other systems. In particular, a common signature of complex systems is scale-invariant emergent properties. A scale-invariant property can be identified because it is solely described by a power law function, f(x = kxα, where the exponent, α, is a measure of scale-invariance. The focus of this paper is to describe and illustrate that innovation systems have properties of a complex adaptive system. In particular scale-invariant emergent properties indicative of their complex nature that can be quantified and used to inform public policy. The global research system is an example of an innovation system. Peer-reviewed publications containing knowledge are a characteristic output. Citations or references to these articles are an indirect measure of the impact the knowledge has on the research community. Peer-reviewed papers indexed in Scopus and in the Web of Science were used as data sources to produce measures of sizes and impact. These measures are used to illustrate how scale-invariant properties can be identified and quantified. It is demonstrated that the distribution of impact has a reasonable likelihood of being scale-invariant with scaling exponents that tended toward a value of less than 3.0 with the passage of time and decreasing group sizes. Scale-invariant correlations are shown between the evolution of impact and size with time and between field impact and sizes at points in time. The recursive or self-similar nature of scale-invariance suggests that any smaller innovation system within the global research system is likely to be complex with scale-invariant properties too.

Application of Nearly Linear Solvers to Electric Power System Computation

Science.gov (United States)

Grant, Lisa L.

To meet the future needs of the electric power system, improvements need to be made in the areas of power system algorithms, simulation, and modeling, specifically to achieve a time frame that is useful to industry. If power system time-domain simulations could run in real-time, then system operators would have situational awareness to implement online control and avoid cascading failures, significantly improving power system reliability. Several power system applications rely on the solution of a very large linear system. As the demands on power systems continue to grow, there is a greater computational complexity involved in solving these large linear systems within reasonable time. This project expands on the current work in fast linear solvers, developed for solving symmetric and diagonally dominant linear systems, in order to produce power system specific methods that can be solved in nearly-linear run times. The work explores a new theoretical method that is based on ideas in graph theory and combinatorics. The technique builds a chain of progressively smaller approximate systems with preconditioners based on the system's low stretch spanning tree. The method is compared to traditional linear solvers and shown to reduce the time and iterations required for an accurate solution, especially as the system size increases. A simulation validation is performed, comparing the solution capabilities of the chain method to LU factorization, which is the standard linear solver for power flow. The chain method was successfully demonstrated to produce accurate solutions for power flow simulation on a number of IEEE test cases, and a discussion on how to further improve the method's speed and accuracy is included.

Control system analysis for the perturbed linear accelerator rf system

CERN Document Server

Sung Il Kwon

2002-01-01

This paper addresses the modeling problem of the linear accelerator RF system in SNS. Klystrons are modeled as linear parameter varying systems. The effect of the high voltage power supply ripple on the klystron output voltage and the output phase is modeled as an additive disturbance. The cavity is modeled as a linear system and the beam current is modeled as the exogenous disturbance. The output uncertainty of the low level RF system which results from the uncertainties in the RF components and cabling is modeled as multiplicative uncertainty. Also, the feedback loop uncertainty and digital signal processing signal conditioning subsystem uncertainties are lumped together and are modeled as multiplicative uncertainty. Finally, the time delays in the loop are modeled as a lumped time delay. For the perturbed open loop system, the closed loop system performance, and stability are analyzed with the PI feedback controller.

CONTROL SYSTEM ANALYSIS FOR THE PERTURBED LINEAR ACCELERATOR RF SYSTEM

International Nuclear Information System (INIS)

SUNG-IL KWON; AMY H. REGAN

2002-01-01

This paper addresses the modeling problem of the linear accelerator RF system in SNS. Klystrons are modeled as linear parameter varying systems. The effect of the high voltage power supply ripple on the klystron output voltage and the output phase is modeled as an additive disturbance. The cavity is modeled as a linear system and the beam current is modeled as the exogenous disturbance. The output uncertainty of the low level RF system which results from the uncertainties in the RF components and cabling is modeled as multiplicative uncertainty. Also, the feedback loop uncertainty and digital signal processing signal conditioning subsystem uncertainties are lumped together and are modeled as multiplicative uncertainty. Finally, the time delays in the loop are modeled as a lumped time delay. For the perturbed open loop system, the closed loop system performance, and stability are analyzed with the PI feedback controller

CVA identification of nonlinear systems with LPV state-space models of affine dependence

NARCIS (Netherlands)

Larimore, W.E.; Cox, P.B.; Toth, R.

2015-01-01

This paper discusses an improvement on the extension of linear subspace methods (originally developed in the Linear Time-Invariant (LTI) context) to the identification of Linear Parameter-Varying (LPV) and state-affine nonlinear system models. This includes the fitting of a special polynomial

H infinity Integrated Fault Estimation and Fault Tolerant Control of Discrete-time Piecewise Linear Systems

DEFF Research Database (Denmark)

Tabatabaeipour, Seyed Mojtaba; Bak, Thomas

2012-01-01

In this paper we consider the problem of fault estimation and accommodation for discrete time piecewise linear systems. A robust fault estimator is designed to estimate the fault such that the estimation error converges to zero and H∞ performance of the fault estimation is minimized. Then, the es...

The imaginary-time path integral and non-time-reversal-invariant saddle points of the Euclidean action

International Nuclear Information System (INIS)

Dasgupta, I.

1998-01-01

We discuss new bounce-like (but non-time-reversal-invariant) solutions to Euclidean equations of motion, which we dub boomerons. In the Euclidean path integral approach to quantum theories, boomerons make an imaginary contribution to the vacuum energy. The fake vacuum instability can be removed by cancelling boomeron contributions against contributions from time reversed boomerons (anti-boomerons). The cancellation rests on a sign choice whose significance is not completely understood in the path integral method. (orig.)

Quasi-min-max Fuzzy MPC of UTSG Water Level Based on Off-Line Invariant Set

Science.gov (United States)

Liu, Xiangjie; Jiang, Di; Lee, Kwang Y.

2015-10-01

In a nuclear power plant, the water level of the U-tube steam generator (UTSG) must be maintained within a safe range. Traditional control methods encounter difficulties due to the complexity, strong nonlinearity and “swell and shrink” effects, especially at low power levels. A properly designed robust model predictive control can well solve this problem. In this paper, a quasi-min-max fuzzy model predictive controller is developed for controlling the constrained UTSG system. While the online computational burden could be quite large for the real-time control, a bank of ellipsoid invariant sets together with the corresponding feedback control laws are obtained by off-line solving linear matrix inequalities (LMIs). Based on the UTSG states, the online optimization is simplified as a constrained optimization problem with a bisection search for the corresponding ellipsoid invariant set. Simulation results are given to show the effectiveness of the proposed controller.

A Method to Determine Oscillation Emergence Bifurcation in Time-Delayed LTI System with Single Lag

Directory of Open Access Journals (Sweden)

Yu Xiaodan

2014-01-01

Full Text Available One type of bifurcation named oscillation emergence bifurcation (OEB found in time-delayed linear time invariant (abbr. LTI systems is fully studied. The definition of OEB is initially put forward according to the eigenvalue variation. It is revealed that a real eigenvalue splits into a pair of conjugated complex eigenvalues when an OEB occurs, which means the number of the system eigenvalues will increase by one and a new oscillation mode will emerge. Next, a method to determine OEB bifurcation in the time-delayed LTI system with single lag is developed based on Lambert W function. A one-dimensional (1-dim time-delayed system is firstly employed to explain the mechanism of OEB bifurcation. Then, methods to determine the OEB bifurcation in 1-dim, 2-dim, and high-dimension time-delayed LTI systems are derived. Finally, simulation results validate the correctness and effectiveness of the presented method. Since OEB bifurcation occurs with a new oscillation mode emerging, work of this paper is useful to explore the complex phenomena and the stability of time-delayed dynamic systems.

Quantum Many-Body System in Presence of Time-Dependent Potential and Electric Field

Energy Technology Data Exchange (ETDEWEB)

Sobhani, Hadi; Hassanabadi, Hassan [Shahrood University of Technology, Shahrood (Iran, Islamic Republic of)

2017-07-15

In this article, a quantum many-body system is considered. Then two time-dependent interactions have been added to the system. Changing of them is assumed in general form. After that, by using algebraic method, time evolution of this many-body system has been investigated. In order to study the time evolution, Lewis-Riesenfeld dynamical invariant and time evolution operator method have been used. Appropriate dynamical invariants are constructed and their Eigenvalues are derived as well as appropriate time evolution operators are constructed. These calculations have been done in general form so there are no limiting assumptions on changing of time-dependent functions.

Decentralized Observer with a Consensus Filter for Distributed Discrete-Time Linear Systems

Science.gov (United States)

Acikmese, Behcet; Mandic, Milan

2011-01-01

This paper presents a decentralized observer with a consensus filter for the state observation of a discrete-time linear distributed systems. In this setup, each agent in the distributed system has an observer with a model of the plant that utilizes the set of locally available measurements, which may not make the full plant state detectable. This lack of detectability is overcome by utilizing a consensus filter that blends the state estimate of each agent with its neighbors' estimates. We assume that the communication graph is connected for all times as well as the sensing graph. It is proven that the state estimates of the proposed observer asymptotically converge to the actual plant states under arbitrarily changing, but connected, communication and sensing topologies. As a byproduct of this research, we also obtained a result on the location of eigenvalues, the spectrum, of the Laplacian for a family of graphs with self-loops.

Evidence for a time-invariant phase variable in human ankle control.

Directory of Open Access Journals (Sweden)

Robert D Gregg

Full Text Available Human locomotion is a rhythmic task in which patterns of muscle activity are modulated by state-dependent feedback to accommodate perturbations. Two popular theories have been proposed for the underlying embodiment of phase in the human pattern generator: a time-dependent internal representation or a time-invariant feedback representation (i.e., reflex mechanisms. In either case the neuromuscular system must update or represent the phase of locomotor patterns based on the system state, which can include measurements of hundreds of variables. However, a much simpler representation of phase has emerged in recent designs for legged robots, which control joint patterns as functions of a single monotonic mechanical variable, termed a phase variable. We propose that human joint patterns may similarly depend on a physical phase variable, specifically the heel-to-toe movement of the Center of Pressure under the foot. We found that when the ankle is unexpectedly rotated to a position it would have encountered later in the step, the Center of Pressure also shifts forward to the corresponding later position, and the remaining portion of the gait pattern ensues. This phase shift suggests that the progression of the stance ankle is controlled by a biomechanical phase variable, motivating future investigations of phase variables in human locomotor control.

A new look at the robust control of discrete-time Markov jump linear systems

Science.gov (United States)

Todorov, M. G.; Fragoso, M. D.

2016-03-01

In this paper, we make a foray in the role played by a set of four operators on the study of robust H2 and mixed H2/H∞ control problems for discrete-time Markov jump linear systems. These operators appear in the study of mean square stability for this class of systems. By means of new linear matrix inequality (LMI) characterisations of controllers, which include slack variables that, to some extent, separate the robustness and performance objectives, we introduce four alternative approaches to the design of controllers which are robustly stabilising and at the same time provide a guaranteed level of H2 performance. Since each operator provides a different degree of conservatism, the results are unified in the form of an iterative LMI technique for designing robust H2 controllers, whose convergence is attained in a finite number of steps. The method yields a new way of computing mixed H2/H∞ controllers, whose conservatism decreases with iteration. Two numerical examples illustrate the applicability of the proposed results for the control of a small unmanned aerial vehicle, and for an underactuated robotic arm.

Freezing and melting line invariants of the Lennard-Jones system

DEFF Research Database (Denmark)

Costigliola, Lorenzo; Schrøder, Thomas; Dyre, Jeppe C.

2016-01-01

The invariance of several structural and dynamical properties of the Lennard-Jones (LJ) system along the freezing and melting lines is interpreted in terms of isomorph theory. First the freezing/melting lines of the LJ system are shown to be approximated by isomorphs. Then we show...... that the invariants observed along the freezing and melting isomorphs are also observed on other isomorphs in the liquid and crystalline phases. The structure is probed by the radial distribution function and the structure factor and dynamics are probed by the mean-square displacement, the intermediate scattering...... function, and the shear viscosity. Studying these properties with reference to isomorph theory explains why the known single-phase melting criteria hold, e.g., the Hansen–Verlet and the Lindemann criteria, and why the Andrade equation for the viscosity at freezing applies, e.g., for most liquid metals. Our...

A Family of Invariant Stress Surfaces

DEFF Research Database (Denmark)

Krenk, S.

A family of invariant stress surfaces with a cubic dependence on the deviatoric stress components is expressed as a linear combination of the second and third deviatori stress invariants. A simple geometric derivation demonstrates the convexity of the contours in the deviatoric plane. An explicit...... representation of the deviatoric contours in terms of a size and a shape parameter is given. The shape parameter effects a continuous transition from a triangle to a circle in the deviatoric plane. An explicit format in terms of the triaxial compresson and tension generators is derived, and the plane stress...

Signals and transforms in linear systems analysis

CERN Document Server

Wasylkiwskyj, Wasyl

2013-01-01

Signals and Transforms in Linear Systems Analysis covers the subject of signals and transforms, particularly in the context of linear systems theory. Chapter 2 provides the theoretical background for the remainder of the text. Chapter 3 treats Fourier series and integrals. Particular attention is paid to convergence properties at step discontinuities. This includes the Gibbs phenomenon and its amelioration via the Fejer summation techniques. Special topics include modulation and analytic signal representation, Fourier transforms and analytic function theory, time-frequency analysis and frequency dispersion. Fundamentals of linear system theory for LTI analogue systems, with a brief account of time-varying systems, are covered in Chapter 4 . Discrete systems are covered in Chapters 6 and 7.  The Laplace transform treatment in Chapter 5 relies heavily on analytic function theory as does Chapter 8 on Z -transforms. The necessary background on complex variables is provided in Appendix A. This book is intended to...

The invariance of second-order functionals revisited

International Nuclear Information System (INIS)

Battezzati, M.

1984-01-01

In this paper some invariance properties of certain homogeneous functional forms of perturbative second-order energies with respect to transformations on the arguments are briefly considered. It has been shown that, if this energy is regarded as an Hamiltonian governing the time evolution of the arguments, which are the components of the first-order perturbed functions, the x and y couples play naturally the role of canonically conjugated co-ordinates and momenta. A search has been made for those linear transformations on these functions which preserve the above duality or reciprocity relations. It has been found that certain canonical transformations are of this type. In particular, the spinorial covariant-contravariant transformations for rotations in four-dimensional space-time

Boost-invariant early time dynamics from AdS/CFT

International Nuclear Information System (INIS)

Beuf, Guillaume; Peschanski, Robi; Heller, Michal P.; Janik, Romuald A.

2009-01-01

Boost-invariant dynamics of a strongly-coupled conformal plasma is studied in the regime of early proper-time using the AdS/CFT correspondence. It is shown, in contrast with the late-time expansion, that a scaling solution does not exist. The boundary dynamics in this regime depends on initial conditions encoded in the bulk behavior of a Fefferman-Graham metric coefficient at initial proper-time. The relation between the early-time expansion of the energy density and initial conditions in the bulk of AdS is provided. As a general result it is proven that a singularity of some metric coefficient in Fefferman-Graham frame exists at all times. Requiring that this singularity at τ = 0 is a mere coordinate singularity without the curvature blow-up gives constraints on the possible boundary dynamics. Using a simple Pade resummation for solutions satisfying the regularity constraint, the features of a transition to local equilibrium, and thus to the hydrodynamical late-time regime, have been observed. The impact of this study on the problem of thermalization is discussed.

Non-Perturbative Formulation of Time-Dependent String Solutions

CERN Document Server

Alexandre, J; Mavromatos, Nikolaos E; Alexandre, Jean; Ellis, John; Mavromatos, Nikolaos E.

2006-01-01

We formulate here a new world-sheet renormalization-group technique for the bosonic string, which is non-perturbative in the Regge slope alpha' and based on a functional method for controlling the quantum fluctuations, whose magnitudes are scaled by the value of alpha'. Using this technique we exhibit, in addition to the well-known linear-dilaton cosmology, a new, non-perturbative time-dependent background solution. Using the reparametrization invariance of the string S-matrix, we demonstrate that this solution is conformally invariant to alpha', and we give a heuristic inductive argument that conformal invariance can be maintained to all orders in alpha'. This new time-dependent string solution may be applicable to primordial cosmology or to the exit from linear-dilaton cosmology at large times.

Modeling road traffic fatalities in India: Smeed's law, time invariance and regional specificity

Directory of Open Access Journals (Sweden)

Raj V. Ponnaluri

2012-07-01

Full Text Available Mathematical formulations linking road traffic fatalities to vehicle ownership, regional population, and economic growth continue to be developed against the backdrop of Smeed and Andreassen models. Though a few attempts were made, Smeed's law has not been fully tested in India. Using the 1991–2009 panel data from all states, this work (a developed the generalized Smeed and Andreassen models; (b evaluated if traffic fatalities were impacted by structural changes; and (c examined if – in relation to the generalized model – the individual (time and regional models are more relevant for application. Seven models (Smeed: original, generalized, time-variant, state-variant; and Andreassen: generalized, time-variant, state-variant were developed and tested for fit with the actual data. Results showed that the per vehicle fatality rate closely resembled Smeed's formulation. Chow-test yielded a significant F-stat, suggesting that the models for four pre-defined time-blocks are structurally different from the 19-year generalized model. The counterclockwise rotation of the log-linear form also suggested lower fatality rates. While the new government policies, reduced vehicle operating speeds, better healthcare, and improved vehicle technology could be the factors, further research is required to understand the reasons for fatality rate reductions. The intercept and gradients of the time-series models showed high stability and varied only slightly in comparison to the 19-year generalized models, thus suggesting that the latter are pragmatic for application. Regional formulations, however, indicate that they may be more relevant for studying trends and tendencies. This research illustrates the robustness of Smeed's law, and provides evidence for time-invariance but state-specificity.

Constructing a Time-Invariant Measure of the Socio-economic Status of U.S. Census Tracts.

Science.gov (United States)

Miles, Jeremy N; Weden, Margaret M; Lavery, Diana; Escarce, José J; Cagney, Kathleen A; Shih, Regina A

2016-02-01

Contextual research on time and place requires a consistent measurement instrument for neighborhood conditions in order to make unbiased inferences about neighborhood change. We develop such a time-invariant measure of neighborhood socio-economic status (NSES) using exploratory and confirmatory factor analyses fit to census data at the tract level from the 1990 and 2000 U.S. Censuses and the 2008-2012 American Community Survey. A single factor model fit the data well at all three time periods, and factor loadings--but not indicator intercepts--could be constrained to equality over time without decrement to fit. After addressing remaining longitudinal measurement bias, we found that NSES increased from 1990 to 2000, and then--consistent with the timing of the "Great Recession"--declined in 2008-2012 to a level approaching that of 1990. Our approach for evaluating and adjusting for time-invariance is not only instructive for studies of NSES but also more generally for longitudinal studies in which the variable of interest is a latent construct.

On logarithmic extensions of local scale-invariance

International Nuclear Information System (INIS)

Henkel, Malte

2013-01-01

Ageing phenomena far from equilibrium naturally present dynamical scaling and in many situations this may be generalised to local scale-invariance. Generically, the absence of time-translation-invariance implies that each scaling operator is characterised by two independent scaling dimensions. Building on analogies with logarithmic conformal invariance and logarithmic Schrödinger-invariance, this work proposes a logarithmic extension of local scale-invariance, without time-translation-invariance. Carrying this out requires in general to replace both scaling dimensions of each scaling operator by Jordan cells. Co-variant two-point functions are derived for the most simple case of a two-dimensional logarithmic extension. Their form is compared to simulational data for autoresponse functions in several universality classes of non-equilibrium ageing phenomena

A game theoretic approach to a finite-time disturbance attenuation problem

Science.gov (United States)

Rhee, Ihnseok; Speyer, Jason L.

1991-01-01

A disturbance attenuation problem over a finite-time interval is considered by a game theoretic approach where the control, restricted to a function of the measurement history, plays against adversaries composed of the process and measurement disturbances, and the initial state. A zero-sum game, formulated as a quadratic cost criterion subject to linear time-varying dynamics and measurements, is solved by a calculus of variation technique. By first maximizing the quadratic cost criterion with respect to the process disturbance and initial state, a full information game between the control and the measurement residual subject to the estimator dynamics results. The resulting solution produces an n-dimensional compensator which expresses the controller as a linear combination of the measurement history. A disturbance attenuation problem is solved based on the results of the game problem. For time-invariant systems it is shown that under certain conditions the time-varying controller becomes time-invariant on the infinite-time interval. The resulting controller satisfies an H(infinity) norm bound.

Generalized shift-invariant systems and approximately dual frames

DEFF Research Database (Denmark)

Benavente, Ana; Christensen, Ole; Zakowicz, Maria I.

2017-01-01

Dual pairs of frames yield a procedure for obtaining perfect reconstruction of elements in the underlying Hilbert space in terms of superpositions of the frame elements. However, practical constraints often force us to apply sequences that do not exactly form dual frames. In this article, we...... consider the important case of generalized shift-invariant systems and provide various ways of estimating the deviation from perfect reconstruction that occur when the systems do not form dual frames. The deviation from being dual frames will be measured either in terms of a perturbation condition...

Approaches to linear local gauge-invariant observables in inflationary cosmologies

Czech Academy of Sciences Publication Activity Database

Fröb, M. B.; Hack, T.-P.; Khavkine, Igor

2018-01-01

Roč. 35, č. 11 (2018), č. článku 115002. ISSN 0264-9381 R&D Projects: GA ČR(CZ) GA18-07776S Institutional support: RVO:67985840 Keywords : Gauge-invariant observables * cosmological perturbations * single field inflation Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 3.119, year: 2016 http://iopscience.iop.org/article/10.1088/1361-6382/aabcb7/meta

Narayanaswamy's 1971 aging theory and material time

Science.gov (United States)

Dyre, Jeppe C.

2015-09-01

The Bochkov-Kuzovlev nonlinear fluctuation-dissipation theorem is used to derive Narayanaswamy's phenomenological theory of physical aging, in which this highly nonlinear phenomenon is described by a linear material-time convolution integral. A characteristic property of the Narayanaswamy aging description is material-time translational invariance, which is here taken as the basic assumption of the derivation. It is shown that only one possible definition of the material time obeys this invariance, namely, the square of the distance travelled from a configuration of the system far back in time. The paper concludes with suggestions for computer simulations that test for consequences of material-time translational invariance. One of these is the "unique-triangles property" according to which any three points on the system's path form a triangle such that two side lengths determine the third; this is equivalent to the well-known triangular relation for time-autocorrelation functions of aging spin glasses [L. F. Cugliandolo and J. Kurchan, J. Phys. A: Math. Gen. 27, 5749 (1994)]. The unique-triangles property implies a simple geometric interpretation of out-of-equilibrium time-autocorrelation functions, which extends to aging a previously proposed framework for such functions in equilibrium [J. C. Dyre, e-print arXiv:cond-mat/9712222 (1997)].

Compressive system identification of LTI and LTV ARX models: The limited data set case

NARCIS (Netherlands)

Sanandaij, B. M.; Vincent, T. L.; Wakin, M. B.; Toth, R.; Poolla, K.

2011-01-01

In this paper, we consider identifying Auto Regressive with eXternal input (ARX) models for both Linear Time-Invariant (LTI) and Linear Time-Variant (LTV) systems. We aim at doing the identification from the smallest possible number of observations. This is inspired by the field of Compressive

H2 Control for the Continuous-Time Markovian Jump Linear Uncertain Systems with Partly Known Transition Rates and Input Quantization

Directory of Open Access Journals (Sweden)

Xin-Gang Zhao

2013-01-01

Full Text Available For a class of continuous-time Markovian jump linear uncertain systems with partly known transition rates and input quantization, the H2 state-feedback control design is considered. The elements in the transition rates matrix include completely known, boundary known, and completely unknown ones. First, an H2 cost index for Markovian jump linear uncertain systems is introduced; then by introducing a new matrix inequality condition, sufficient conditions are formulated in terms of linear matrix inequalities (LMIs for the H2 control of the Markovian jump linear uncertain systems. Less conservativeness is achieved than the result obtained with the existing technique. Finally, a numerical example is given to verify the validity of the theoretical results.

Modal Analysis in Periodic, Time-Varying Systems with emphasis to the Coupling between Flexible Rotating Beams and Non-Rotating Flexible Structures

DEFF Research Database (Denmark)

Saracho, C. M.; Santos, Ilmar

2003-01-01

The analysis of dynamical response of a system built by a non-rotating structure coupled to flexible rotating beams is the purpose of this work. The effect of rotational speed upon the beam natural frequencies is well-known, so that an increase in the angular speeds leads to an increase in beam...... natural frequencies, the so-called centrifugal stiffening. The equations of motion of such a global system present matrices with time-depending coefficients, which vary periodically with the angular rotor speed, and introduce parametric vibrations into the system response. The principles of modal analysis...... for time-invariant linear systems are expanded to investigate time-varying systems. Concepts as eigenvalues and eigenvectors, which in this special case are also time-varying, are used to analyse the dynamical response of global system. The time-varying frequencies and modes are also illustrated....

Linear Matrix Inequality Based Fuzzy Synchronization for Fractional Order Chaos

Directory of Open Access Journals (Sweden)

Bin Wang

2015-01-01

Full Text Available This paper investigates fuzzy synchronization for fractional order chaos via linear matrix inequality. Based on generalized Takagi-Sugeno fuzzy model, one efficient stability condition for fractional order chaos synchronization or antisynchronization is given. The fractional order stability condition is transformed into a set of linear matrix inequalities and the rigorous proof details are presented. Furthermore, through fractional order linear time-invariant (LTI interval theory, the approach is developed for fractional order chaos synchronization regardless of the system with uncertain parameters. Three typical examples, including synchronization between an integer order three-dimensional (3D chaos and a fractional order 3D chaos, anti-synchronization of two fractional order hyperchaos, and the synchronization between an integer order 3D chaos and a fractional order 4D chaos, are employed to verify the theoretical results.

Moving attention - Evidence for time-invariant shifts of visual selective attention

Science.gov (United States)

Remington, R.; Pierce, L.

1984-01-01

Two experiments measured the time to shift spatial selective attention across the visual field to targets 2 or 10 deg from central fixation. A central arrow cued the most likely target location. The direction of attention was inferred from reaction times to expected, unexpected, and neutral locations. The development of a spatial attentional set with time was examined by presenting target probes at varying times after the cue. There were no effects of distance on the time course of the attentional set. Reaction times for far locations were slower than for near, but the effects of attention were evident by 150 msec in both cases. Spatial attention does not shift with a characteristic, fixed velocity. Rather, velocity is proportional to distance, resulting in a movement time that is invariant over the distances tested.

Mode-locking in advection-reaction-diffusion systems: An invariant manifold perspective

Science.gov (United States)

Locke, Rory A.; Mahoney, John R.; Mitchell, Kevin A.

2018-01-01

Fronts propagating in two-dimensional advection-reaction-diffusion systems exhibit a rich topological structure. When the underlying fluid flow is periodic in space and time, the reaction front can lock to the driving frequency. We explain this mode-locking phenomenon using the so-called burning invariant manifolds (BIMs). In fact, the mode-locked profile is delineated by a BIM attached to a relative periodic orbit (RPO) of the front element dynamics. Changes in the type (and loss) of mode-locking can be understood in terms of local and global bifurcations of the RPOs and their BIMs. We illustrate these concepts numerically using a chain of alternating vortices in a channel geometry.

Stability analysis of spatially invariant systems with event-triggered communication

NARCIS (Netherlands)

Heijmans, S.H.J.; Dolk, V.S.; Borgers, D.P.; Heemels, W.P.M.H.

2016-01-01

In this paper we analyze spatially invariant inter-connections consisting of a (finite) number of subsystems that use packet-based communication networks for the exchange of information. An example of such an interconnected system is the platoon of vehicles that uses cooperative control to drive

Linear algebra of the permutation invariant Crow-Kimura model of prebiotic evolution.

Science.gov (United States)

Bratus, Alexander S; Novozhilov, Artem S; Semenov, Yuri S

2014-10-01

A particular case of the famous quasispecies model - the Crow-Kimura model with a permutation invariant fitness landscape - is investigated. Using the fact that the mutation matrix in the case of a permutation invariant fitness landscape has a special tridiagonal form, a change of the basis is suggested such that in the new coordinates a number of analytical results can be obtained. In particular, using the eigenvectors of the mutation matrix as the new basis, we show that the quasispecies distribution approaches a binomial one and give simple estimates for the speed of convergence. Another consequence of the suggested approach is a parametric solution to the system of equations determining the quasispecies. Using this parametric solution we show that our approach leads to exact asymptotic results in some cases, which are not covered by the existing methods. In particular, we are able to present not only the limit behavior of the leading eigenvalue (mean population fitness), but also the exact formulas for the limit quasispecies eigenvector for special cases. For instance, this eigenvector has a geometric distribution in the case of the classical single peaked fitness landscape. On the biological side, we propose a mathematical definition, based on the closeness of the quasispecies to the binomial distribution, which can be used as an operational definition of the notorious error threshold. Using this definition, we suggest two approximate formulas to estimate the critical mutation rate after which the quasispecies delocalization occurs. Copyright © 2014 Elsevier Inc. All rights reserved.

A Linear Time Complexity of Breadth-First Search Using P System with Membrane Division

Directory of Open Access Journals (Sweden)

Einallah Salehi

2013-01-01

Full Text Available One of the known methods for solving the problems with exponential time complexity such as NP-complete problems is using the brute force algorithms. Recently, a new parallel computational framework called Membrane Computing is introduced which can be applied in brute force algorithms. The usual way to find a solution for the problems with exponential time complexity with Membrane Computing techniques is by P System with active membrane using division rule. It makes an exponential workspace and solves the problems with exponential complexity in a polynomial (even linear time. On the other hand, searching is currently one of the most used methods for finding solution for problems in real life, that the blind search algorithms are accurate, but their time complexity is exponential such as breadth-first search (BFS algorithm. In this paper, we proposed a new approach for implementation of BFS by using P system with division rule technique for first time. The theorem shows time complexity of BSF in this framework on randomly binary trees reduced from O(2d to O(d.

Modern linear control design a time-domain approach

CERN Document Server

Caravani, Paolo

2013-01-01

This book offers a compact introduction to modern linear control design.  The simplified overview presented of linear time-domain methodology paves the road for the study of more advanced non-linear techniques. Only rudimentary knowledge of linear systems theory is assumed - no use of Laplace transforms or frequency design tools is required. Emphasis is placed on assumptions and logical implications, rather than abstract completeness; on interpretation and physical meaning, rather than theoretical formalism; on results and solutions, rather than derivation or solvability.  The topics covered include transient performance and stabilization via state or output feedback; disturbance attenuation and robust control; regional eigenvalue assignment and constraints on input or output variables; asymptotic regulation and disturbance rejection. Lyapunov theory and Linear Matrix Inequalities (LMI) are discussed as key design methods. All methods are demonstrated with MATLAB to promote practical use and comprehension. ...

Introduction to Mathematical Systems Theory: A Behavioral Approach

NARCIS (Netherlands)

Polderman, Jan W.; Willems, J.C.

1998-01-01

This is a book about modelling, analysis, and control of linear time-invariant systems. The book uses what is called the behavioral approach towards mathematical modelling. Thus a system is viewed as a dynamical relation between manifest and latent variables. The emphasis is on dynamical systems

Asymptotic Stabilization of Continuous-Time Linear Systems with Input and State Quantizations

Directory of Open Access Journals (Sweden)

Sung Wook Yun

2014-01-01

Full Text Available This paper discusses the asymptotic stabilization problem of linear systems with input and state quantizations. In order to achieve asymptotic stabilization of such systems, we propose a state-feedback controller comprising two control parts: the main part is used to determine the fundamental characteristics of the system associated with the cost, and the additional part is employed to eliminate the effects of input and state quanizations. In particular, in order to implement the additional part, we introduce a quantizer with a region-decision making process (RDMP for a certain linear switching surface. The simulation results show the effectiveness of the proposed controller.

Testing the time-invariance of fundamental constants using microwave spectroscopy on cold diatomic radicals

NARCIS (Netherlands)

Bethlem, H.L.; Ubachs, W.M.G.

2009-01-01

The recently demonstrated methods to cool and manipulate neutral molecules offer new possibilities for precision tests of fundamental physics theories. We here discuss the possibility of testing the time-invariance of fundamental constants using near degeneracies between rotational levels in the

Low-sensitivity H ∞ filter design for linear delta operator systems with sampling time jitter

Science.gov (United States)

Guo, Xiang-Gui; Yang, Guang-Hong

2012-04-01

This article is concerned with the problem of designing H ∞ filters for a class of linear discrete-time systems with low-sensitivity to sampling time jitter via delta operator approach. Delta-domain model is used to avoid the inherent numerical ill-condition resulting from the use of the standard shift-domain model at high sampling rates. Based on projection lemma in combination with the descriptor system approach often used to solve problems related to delay, a novel bounded real lemma with three slack variables for delta operator systems is presented. A sensitivity approach based on this novel lemma is proposed to mitigate the effects of sampling time jitter on system performance. Then, the problem of designing a low-sensitivity filter can be reduced to a convex optimisation problem. An important consideration in the design of correlation filters is the optimal trade-off between the standard H ∞ criterion and the sensitivity of the transfer function with respect to sampling time jitter. Finally, a numerical example demonstrating the validity of the proposed design method is given.

Dense time discretization technique for verification of real time systems

International Nuclear Information System (INIS)

Makackas, Dalius; Miseviciene, Regina

2016-01-01

Verifying the real-time system there are two different models to control the time: discrete and dense time based models. This paper argues a novel verification technique, which calculates discrete time intervals from dense time in order to create all the system states that can be reached from the initial system state. The technique is designed for real-time systems specified by a piece-linear aggregate approach. Key words: real-time system, dense time, verification, model checking, piece-linear aggregate

Application of a Statistical Linear Time-Varying System Model of High Grazing Angle Sea Clutter for Computing Interference Power

Science.gov (United States)

2017-12-08

STATISTICAL LINEAR TIME-VARYING SYSTEM MODEL OF HIGH GRAZING ANGLE SEA CLUTTER FOR COMPUTING INTERFERENCE POWER 1. INTRODUCTION Statistical linear time...beam. We can approximate one of the sinc factors using the Dirichlet kernel to facilitate computation of the integral in (6) as follows: ∣∣∣∣sinc(WB...plotted in Figure 4. The resultant autocorrelation can then be found by substituting (18) into (28). The Python code used to generate Figures 1-4 is found

State space and input-output linear systems

CERN Document Server

Delchamps, David F

1988-01-01

It is difficult for me to forget the mild sense of betrayal I felt some ten years ago when I discovered, with considerable dismay, that my two favorite books on linear system theory - Desoer's Notes for a Second Course on Linear Systems and Brockett's Finite Dimensional Linear Systems - were both out of print. Since that time, of course, linear system theory has undergone a transformation of the sort which always attends the maturation of a theory whose range of applicability is expanding in a fashion governed by technological developments and by the rate at which such advances become a part of engineering practice. The growth of the field has inspired the publication of some excellent books; the encyclopedic treatises by Kailath and Chen, in particular, come immediately to mind. Nonetheless, I was inspired to write this book primarily by my practical needs as a teacher and researcher in the field. For the past five years, I have taught a one semester first year gradu­ ate level linear system theory course i...

Non-linear dynamical classification of short time series of the rössler system in high noise regimes.

Science.gov (United States)

Lainscsek, Claudia; Weyhenmeyer, Jonathan; Hernandez, Manuel E; Poizner, Howard; Sejnowski, Terrence J

2013-01-01

Time series analysis with delay differential equations (DDEs) reveals non-linear properties of the underlying dynamical system and can serve as a non-linear time-domain classification tool. Here global DDE models were used to analyze short segments of simulated time series from a known dynamical system, the Rössler system, in high noise regimes. In a companion paper, we apply the DDE model developed here to classify short segments of encephalographic (EEG) data recorded from patients with Parkinson's disease and healthy subjects. Nine simulated subjects in each of two distinct classes were generated by varying the bifurcation parameter b and keeping the other two parameters (a and c) of the Rössler system fixed. All choices of b were in the chaotic parameter range. We diluted the simulated data using white noise ranging from 10 to -30 dB signal-to-noise ratios (SNR). Structure selection was supervised by selecting the number of terms, delays, and order of non-linearity of the model DDE model that best linearly separated the two classes of data. The distances d from the linear dividing hyperplane was then used to assess the classification performance by computing the area A' under the ROC curve. The selected model was tested on untrained data using repeated random sub-sampling validation. DDEs were able to accurately distinguish the two dynamical conditions, and moreover, to quantify the changes in the dynamics. There was a significant correlation between the dynamical bifurcation parameter b of the simulated data and the classification parameter d from our analysis. This correlation still held for new simulated subjects with new dynamical parameters selected from each of the two dynamical regimes. Furthermore, the correlation was robust to added noise, being significant even when the noise was greater than the signal. We conclude that DDE models may be used as a generalizable and reliable classification tool for even small segments of noisy data.

Weak Galilean invariance as a selection principle for coarse-grained diffusive models.

Science.gov (United States)

Cairoli, Andrea; Klages, Rainer; Baule, Adrian

2018-05-29

How does the mathematical description of a system change in different reference frames? Galilei first addressed this fundamental question by formulating the famous principle of Galilean invariance. It prescribes that the equations of motion of closed systems remain the same in different inertial frames related by Galilean transformations, thus imposing strong constraints on the dynamical rules. However, real world systems are often described by coarse-grained models integrating complex internal and external interactions indistinguishably as friction and stochastic forces. Since Galilean invariance is then violated, there is seemingly no alternative principle to assess a priori the physical consistency of a given stochastic model in different inertial frames. Here, starting from the Kac-Zwanzig Hamiltonian model generating Brownian motion, we show how Galilean invariance is broken during the coarse-graining procedure when deriving stochastic equations. Our analysis leads to a set of rules characterizing systems in different inertial frames that have to be satisfied by general stochastic models, which we call "weak Galilean invariance." Several well-known stochastic processes are invariant in these terms, except the continuous-time random walk for which we derive the correct invariant description. Our results are particularly relevant for the modeling of biological systems, as they provide a theoretical principle to select physically consistent stochastic models before a validation against experimental data.

Computer-aided mass detection in mammography: False positive reduction via gray-scale invariant ranklet texture features

International Nuclear Information System (INIS)

Masotti, Matteo; Lanconelli, Nico; Campanini, Renato

2009-01-01

In this work, gray-scale invariant ranklet texture features are proposed for false positive reduction (FPR) in computer-aided detection (CAD) of breast masses. Two main considerations are at the basis of this proposal. First, false positive (FP) marks surviving our previous CAD system seem to be characterized by specific texture properties that can be used to discriminate them from masses. Second, our previous CAD system achieves invariance to linear/nonlinear monotonic gray-scale transformations by encoding regions of interest into ranklet images through the ranklet transform, an image transformation similar to the wavelet transform, yet dealing with pixels' ranks rather than with their gray-scale values. Therefore, the new FPR approach proposed herein defines a set of texture features which are calculated directly from the ranklet images corresponding to the regions of interest surviving our previous CAD system, hence, ranklet texture features; then, a support vector machine (SVM) classifier is used for discrimination. As a result of this approach, texture-based information is used to discriminate FP marks surviving our previous CAD system; at the same time, invariance to linear/nonlinear monotonic gray-scale transformations of the new CAD system is guaranteed, as ranklet texture features are calculated from ranklet images that have this property themselves by construction. To emphasize the gray-scale invariance of both the previous and new CAD systems, training and testing are carried out without any in-between parameters' adjustment on mammograms having different gray-scale dynamics; in particular, training is carried out on analog digitized mammograms taken from a publicly available digital database, whereas testing is performed on full-field digital mammograms taken from an in-house database. Free-response receiver operating characteristic (FROC) curve analysis of the two CAD systems demonstrates that the new approach achieves a higher reduction of FP marks

Exterior difference systems and invariance properties of discrete mechanics

International Nuclear Information System (INIS)

Xie Zheng; Xie Duanqiang; Li Hongbo

2008-01-01

Invariance properties describe the fundamental physical laws in discrete mechanics. Can those properties be described in a geometric way? We investigate an exterior difference system called the discrete Euler-Lagrange system, whose solution has one-to-one correspondence with solutions of discrete Euler-Lagrange equations, and use it to define the first integrals. The preservation of the discrete symplectic form along the discrete Hamilton phase flows and the discrete Noether's theorem is also described in the language of difference forms

Application of linearized model to the stability analysis of the pressurized water reactor

International Nuclear Information System (INIS)

Li Haipeng; Huang Xiaojin; Zhang Liangju

2008-01-01

A Linear Time-Invariant model of the Pressurized Water Reactor is formulated through the linearization of the nonlinear model. The model simulation results show that the linearized model agrees well with the nonlinear model under small perturbation. Based upon the Lyapunov's First Method, the linearized model is applied to the stability analysis of the Pressurized Water Reactor. The calculation results show that the methodology of linearization to stability analysis is conveniently feasible. (authors)

Conformally invariant amplitudes and field theory in a space-time of constant curvature

International Nuclear Information System (INIS)

Drummond, I.T.

1977-02-01

The problem of calculating the ultra violet divergences of a field theory in a spherical space-time is reduced to analysing the pole structure of conformally invariant integrals which are analogous to amplitudes which occur in the theory of dual models. The calculations are illustrated with phi 3 -theory in six-dimensions. (author)

SymPix: A Spherical Grid for Efficient Sampling of Rotationally Invariant Operators

Science.gov (United States)

Seljebotn, D. S.; Eriksen, H. K.

2016-02-01

We present SymPix, a special-purpose spherical grid optimized for efficiently sampling rotationally invariant linear operators. This grid is conceptually similar to the Gauss-Legendre (GL) grid, aligning sample points with iso-latitude rings located on Legendre polynomial zeros. Unlike the GL grid, however, the number of grid points per ring varies as a function of latitude, avoiding expensive oversampling near the poles and ensuring nearly equal sky area per grid point. The ratio between the number of grid points in two neighboring rings is required to be a low-order rational number (3, 2, 1, 4/3, 5/4, or 6/5) to maintain a high degree of symmetries. Our main motivation for this grid is to solve linear systems using multi-grid methods, and to construct efficient preconditioners through pixel-space sampling of the linear operator in question. As a benchmark and representative example, we compute a preconditioner for a linear system that involves the operator \\widehat{{\\boldsymbol{D}}}+{\\widehat{{\\boldsymbol{B}}}}T{{\\boldsymbol{N}}}-1\\widehat{{\\boldsymbol{B}}}, where \\widehat{{\\boldsymbol{B}}} and \\widehat{{\\boldsymbol{D}}} may be described as both local and rotationally invariant operators, and {\\boldsymbol{N}} is diagonal in the pixel domain. For a bandwidth limit of {{\\ell }}{max} = 3000, we find that our new SymPix implementation yields average speed-ups of 360 and 23 for {\\widehat{{\\boldsymbol{B}}}}T{{\\boldsymbol{N}}}-1\\widehat{{\\boldsymbol{B}}} and \\widehat{{\\boldsymbol{D}}}, respectively, compared with the previous state-of-the-art implementation.

Robust Adaptive Dynamic Programming of Two-Player Zero-Sum Games for Continuous-Time Linear Systems.

Science.gov (United States)

Fu, Yue; Fu, Jun; Chai, Tianyou

2015-12-01

In this brief, an online robust adaptive dynamic programming algorithm is proposed for two-player zero-sum games of continuous-time unknown linear systems with matched uncertainties, which are functions of system outputs and states of a completely unknown exosystem. The online algorithm is developed using the policy iteration (PI) scheme with only one iteration loop. A new analytical method is proposed for convergence proof of the PI scheme. The sufficient conditions are given to guarantee globally asymptotic stability and suboptimal property of the closed-loop system. Simulation studies are conducted to illustrate the effectiveness of the proposed method.

Reduced-Rank Shift-Invariant Technique and Its Application for Synchronization and Channel Identification in UWB Systems

Directory of Open Access Journals (Sweden)

Kennedy RodneyA

2008-01-01

Full Text Available Abstract We investigate reduced-rank shift-invariant technique and its application for synchronization and channel identification in UWB systems. Shift-invariant techniques, such as ESPRIT and the matrix pencil method, have high resolution ability, but the associated high complexity makes them less attractive in real-time implementations. Aiming at reducing the complexity, we developed novel reduced-rank identification of principal components (RIPC algorithms. These RIPC algorithms can automatically track the principal components and reduce the computational complexity significantly by transforming the generalized eigen-problem in an original high-dimensional space to a lower-dimensional space depending on the number of desired principal signals. We then investigate the application of the proposed RIPC algorithms for joint synchronization and channel estimation in UWB systems, where general correlator-based algorithms confront many limitations. Technical details, including sampling and the capture of synchronization delay, are provided. Experimental results show that the performance of the RIPC algorithms is only slightly inferior to the general full-rank algorithms.

Classification of irreps and invariants of the N-extended Supersymmetric Quantum Mechanics

International Nuclear Information System (INIS)

Kuznetsova, Zhanna; Rojas, Moises; Toppan, Francesco

2006-01-01

We present an algorithmic classification of the irreps of the N-extended one-dimensional supersymmetry algebra linearly realized on a finite number of fields. Our work is based on the 1-to-1 correspondence between Weyl-type Clifford algebras (whose irreps are fully classified) and classes of irreps of the N-extended 1D supersymmetry. The complete classification of irreps is presented up to N ≤ 10. The fields of an irrep are accommodated in l different spin states. N = 10 is the minimal value admitting length l>4 irreps. The classification of length-4 irreps of the N = 12 and real N = 11 extended supersymmetries is also explicitly presented. Tensoring irreps allows us to systematically construct manifestly (N-extended) supersymmetric multi-linear invariants without introducing a superspace formalism. Multi-linear invariants can be constructed both for unconstrained and multi-linearly constrained fields. A whole class of off-shell invariant actions are produced in association with each irreducible representation. The explicit example of the N = 8 off-shell action of the (1,8,7) multiplet is presented. Tensoring zero-energy irreps leads us to the notion of the fusion algebra of the 1D N-extended supersymmetric vacua

Slow feature analysis: unsupervised learning of invariances.

Science.gov (United States)

Wiskott, Laurenz; Sejnowski, Terrence J

2002-04-01

Invariant features of temporally varying signals are useful for analysis and classification. Slow feature analysis (SFA) is a new method for learning invariant or slowly varying features from a vectorial input signal. It is based on a nonlinear expansion of the input signal and application of principal component analysis to this expanded signal and its time derivative. It is guaranteed to find the optimal solution within a family of functions directly and can learn to extract a large number of decorrelated features, which are ordered by their degree of invariance. SFA can be applied hierarchically to process high-dimensional input signals and extract complex features. SFA is applied first to complex cell tuning properties based on simple cell output, including disparity and motion. Then more complicated input-output functions are learned by repeated application of SFA. Finally, a hierarchical network of SFA modules is presented as a simple model of the visual system. The same unstructured network can learn translation, size, rotation, contrast, or, to a lesser degree, illumination invariance for one-dimensional objects, depending on only the training stimulus. Surprisingly, only a few training objects suffice to achieve good generalization to new objects. The generated representation is suitable for object recognition. Performance degrades if the network is trained to learn multiple invariances simultaneously.

On output regulation for linear systems

NARCIS (Netherlands)

Saberi, Ali; Stoorvogel, Antonie Arij; Sannuti, Peddapullaiah

For both continuous- and discrete-time systems, we revisit the output regulation problem for linear systems. We generalize the problem formulation in order • to expand the class of reference or disturbance signals, • to utilize the derivative or feedforward information of reference signals whenever

Linearization of the Lorenz system

International Nuclear Information System (INIS)

Li, Chunbiao; Sprott, Julien Clinton; Thio, Wesley

2015-01-01

A partial and complete piecewise linearized version of the Lorenz system is proposed. The linearized versions have an independent total amplitude control parameter. Additional further linearization leads naturally to a piecewise linear version of the diffusionless Lorenz system. A chaotic circuit with a single amplitude controller is then implemented using a new switch element, producing a chaotic oscillation that agrees with the numerical calculation for the piecewise linear diffusionless Lorenz system. - Highlights: • A partial and complete piecewise linearized version of the Lorenz system are addressed. • The linearized versions have an independent total amplitude control parameter. • A piecewise linear version of the diffusionless Lorenz system is derived by further linearization. • A corresponding chaotic circuit without any multiplier is implemented for the chaotic oscillation

Linearization of the Lorenz system

Energy Technology Data Exchange (ETDEWEB)

Li, Chunbiao, E-mail: goontry@126.com [School of Electronic & Information Engineering, Nanjing University of Information Science & Technology, Nanjing 210044 (China); Engineering Technology Research and Development Center of Jiangsu Circulation Modernization Sensor Network, Jiangsu Institute of Commerce, Nanjing 211168 (China); Sprott, Julien Clinton [Department of Physics, University of Wisconsin–Madison, Madison, WI 53706 (United States); Thio, Wesley [Department of Electrical and Computer Engineering, The Ohio State University, Columbus, OH 43210 (United States)

2015-05-08

A partial and complete piecewise linearized version of the Lorenz system is proposed. The linearized versions have an independent total amplitude control parameter. Additional further linearization leads naturally to a piecewise linear version of the diffusionless Lorenz system. A chaotic circuit with a single amplitude controller is then implemented using a new switch element, producing a chaotic oscillation that agrees with the numerical calculation for the piecewise linear diffusionless Lorenz system. - Highlights: • A partial and complete piecewise linearized version of the Lorenz system are addressed. • The linearized versions have an independent total amplitude control parameter. • A piecewise linear version of the diffusionless Lorenz system is derived by further linearization. • A corresponding chaotic circuit without any multiplier is implemented for the chaotic oscillation.

Equidistribution for Nonuniformly Expanding Dynamical Systems, and Application to the Almost Sure Invariance Principle

Science.gov (United States)

Korepanov, Alexey

2017-12-01

Let {T : M \\to M} be a nonuniformly expanding dynamical system, such as logistic or intermittent map. Let {v : M \\to R^d} be an observable and {v_n = \\sum_{k=0}^{n-1} v circ T^k} denote the Birkhoff sums. Given a probability measure {μ} on M, we consider v n as a discrete time random process on the probability space {(M, μ)} . In smooth ergodic theory there are various natural choices of {μ} , such as the Lebesgue measure, or the absolutely continuous T-invariant measure. They give rise to different random processes. We investigate relation between such processes. We show that in a large class of measures, it is possible to couple (redefine on a new probability space) every two processes so that they are almost surely close to each other, with explicit estimates of "closeness". The purpose of this work is to close a gap in the proof of the almost sure invariance principle for nonuniformly hyperbolic transformations by Melbourne and Nicol.

Invariance Signatures: Characterizing contours by their departures from invariance

OpenAIRE

Squire, David; Caelli, Terry M.

1997-01-01

In this paper, a new invariant feature of two-dimensional contours is reported: the Invariance Signature. The Invariance Signature is a measure of the degree to which a contour is invariant under a variety of transformations, derived from the theory of Lie transformation groups. It is shown that the Invariance Signature is itself invariant under shift, rotation and scaling of the contour. Since it is derived from local properties of the contour, it is well-suited to a neural network implement...

Vibration control of large linear quadratic symmetric systems. Ph.D. Thesis

Science.gov (United States)

Jeon, G. J.

1983-01-01

Some unique properties on a class of the second order lambda matrices were found and applied to determine a damping matrix of the decoupled subsystem in such a way that the damped system would have preassigned eigenvalues without disturbing the stiffness matrix. The resulting system was realized as a time invariant velocity only feedback control system with desired poles. Another approach using optimal control theory was also applied to the decoupled system in such a way that the mode spillover problem could be eliminated. The procedures were tested successfully by numerical examples.

Invariant sets for Windows

CERN Document Server

Morozov, Albert D; Dragunov, Timothy N; Malysheva, Olga V

1999-01-01

This book deals with the visualization and exploration of invariant sets (fractals, strange attractors, resonance structures, patterns etc.) for various kinds of nonlinear dynamical systems. The authors have created a special Windows 95 application called WInSet, which allows one to visualize the invariant sets. A WInSet installation disk is enclosed with the book.The book consists of two parts. Part I contains a description of WInSet and a list of the built-in invariant sets which can be plotted using the program. This part is intended for a wide audience with interests ranging from dynamical

Webs on surfaces, rings of invariants, and clusters.

Science.gov (United States)

Fomin, Sergey; Pylyavskyy, Pavlo

2014-07-08

We construct and study cluster algebra structures in rings of invariants of the special linear group action on collections of 3D vectors, covectors, and matrices. The construction uses Kuperberg's calculus of webs on marked surfaces with boundary.

Topological phases in a three-dimensional topological insulator with a time-reversal invariant external field

International Nuclear Information System (INIS)

Guo, Xiaoyong; Ren, Xiaobin; Wang, Gangzhi; Peng, Jie

2014-01-01

We investigate the impact of a time-reversal invariant external field on the topological phases of a three-dimensional (3D) topological insulator. By taking the momentum k z as a parameter, we calculate the spin-Chern number analytically. It is shown that both the quantum spin Hall phase and the integer quantum Hall phase can be realized in our system. When the strength of the external field is varied, a series of topological phase transitions occurs with the closing of the energy gap or the spin-spectrum gap. In a tight-binding form, the surface modes are discussed numerically to confirm the analytically results. (paper)

Normal forms of invariant vector fields under a finite group action

International Nuclear Information System (INIS)

Sanchez Bringas, F.

1992-07-01

Let Γ be a finite subgroup of GL(n,C). This subgroup acts on the space of germs of holomorphic vector fields vanishing at the origin in C n . We prove a theorem of invariant conjugation to a normal form and linearization for the subspace of invariant elements and we give a description of these normal forms in dimension n=2. (author)

Relative Error Model Reduction via Time-Weighted Balanced Stochastic Singular Perturbation

DEFF Research Database (Denmark)

Tahavori, Maryamsadat; Shaker, Hamid Reza

2012-01-01

A new mixed method for relative error model reduction of linear time invariant (LTI) systems is proposed in this paper. This order reduction technique is mainly based upon time-weighted balanced stochastic model reduction method and singular perturbation model reduction technique. Compared...... by using the concept and properties of the reciprocal systems. The results are further illustrated by two practical numerical examples: a model of CD player and a model of the atmospheric storm track....

Timing-Invariant CT Angiography Derived from CT Perfusion Imaging in Acute Stroke : A Diagnostic Performance Study

NARCIS (Netherlands)

Smith, E. J.; Vonken, E. -J.; Meijer, F. J. A.; Dankbaar, J. W.; Horsch, A. D.; van Ginneken, B.; Velthuis, B.; van der Schaaf, I.; Prokop, M.

2015-01-01

BACKGROUND AND PURPOSE: Timing-invariant (or delay-insensitive) CT angiography derived from CT perfusion data may obviate a separate cranial CTA in acute stroke, thus enhancing patient safety by reducing total examination time, radiation dose, and volume of contrast material. We assessed the

On non-autonomous dynamical systems

Energy Technology Data Exchange (ETDEWEB)

Anzaldo-Meneses, A., E-mail: answald@ymail.com [Departamento de Ciencias Básicas, Universidad Autónoma Metropolitana, Distrito Federal 02200, México (Mexico)

2015-04-15

In usual realistic classical dynamical systems, the Hamiltonian depends explicitly on time. In this work, a class of classical systems with time dependent nonlinear Hamiltonians is analyzed. This type of problems allows to find invariants by a family of Veronese maps. The motivation to develop this method results from the observation that the Poisson-Lie algebra of monomials in the coordinates and momenta is clearly defined in terms of its brackets and leads naturally to an infinite linear set of differential equations, under certain circumstances. To perform explicit analytic and numerical calculations, two examples are presented to estimate the trajectories, the first given by a nonlinear problem and the second by a quadratic Hamiltonian with three time dependent parameters. In the nonlinear problem, the Veronese approach using jets is shown to be equivalent to a direct procedure using elliptic functions identities, and linear invariants are constructed. For the second example, linear and quadratic invariants as well as stability conditions are given. Explicit solutions are also obtained for stepwise constant forces. For the quadratic Hamiltonian, an appropriated set of coordinates relates the geometric setting to that of the three dimensional manifold of central conic sections. It is shown further that the quantum mechanical problem of scattering in a superlattice leads to mathematically equivalent equations for the wave function, if the classical time is replaced by the space coordinate along a superlattice. The mathematical method used to compute the trajectories for stepwise constant parameters can be applied to both problems. It is the standard method in quantum scattering calculations, as known for locally periodic systems including a space dependent effective mass.

Implications of conformal invariance for quantum field theories in d>2

International Nuclear Information System (INIS)

Osborn, H.

1994-01-01

Recently obtained results for two and three point functions for quasi-primary operators in conformally invariant theories in arbitrary dimensions d are described. As a consequence the three point function for the energy momentum tensor has three linearly independent forms for general d compatible with conformal invariance. The corresponding coefficients may be regarded as possible generalisations of the Virasoro central charge to d larger than 2. Ward identities which link two linear combinations of the coefficients to terms appearing in the energy momentum tensor trace anomaly on curved space are discussed. The requirement of positivity for expectation values of the energy density is also shown to lead to positivity conditions which are simple for a particular choice of the three coefficients. Renormalisation group like equations which express the constraints of broken conformal invariance for quantum field theories away from critical points are postulated and applied to two point functions. (orig.)

Donaldson invariants in algebraic geometry

International Nuclear Information System (INIS)

Goettsche, L.

2000-01-01

In these lectures I want to give an introduction to the relation of Donaldson invariants with algebraic geometry: Donaldson invariants are differentiable invariants of smooth compact 4-manifolds X, defined via moduli spaces of anti-self-dual connections. If X is an algebraic surface, then these moduli spaces can for a suitable choice of the metric be identified with moduli spaces of stable vector bundles on X. This can be used to compute Donaldson invariants via methods of algebraic geometry and has led to a lot of activity on moduli spaces of vector bundles and coherent sheaves on algebraic surfaces. We will first recall the definition of the Donaldson invariants via gauge theory. Then we will show the relation between moduli spaces of anti-self-dual connections and moduli spaces of vector bundles on algebraic surfaces, and how this makes it possible to compute Donaldson invariants via algebraic geometry methods. Finally we concentrate on the case that the number b + of positive eigenvalues of the intersection form on the second homology of the 4-manifold is 1. In this case the Donaldson invariants depend on the metric (or in the algebraic geometric case on the polarization) via a system of walls and chambers. We will study the change of the invariants under wall-crossing, and use this in particular to compute the Donaldson invariants of rational algebraic surfaces. (author)

Monomial codes seen as invariant subspaces

Directory of Open Access Journals (Sweden)

García-Planas María Isabel

2017-08-01

Full Text Available It is well known that cyclic codes are very useful because of their applications, since they are not computationally expensive and encoding can be easily implemented. The relationship between cyclic codes and invariant subspaces is also well known. In this paper a generalization of this relationship is presented between monomial codes over a finite field and hyperinvariant subspaces of n under an appropriate linear transformation. Using techniques of Linear Algebra it is possible to deduce certain properties for this particular type of codes, generalizing known results on cyclic codes.

Reactivity-induced time-dependencies of EBR-II linear and non-linear feedbacks

International Nuclear Information System (INIS)

Grimm, K.N.; Meneghetti, D.

1988-01-01

Time-dependent linear feedback reactivities are calculated for stereotypical subassemblies in the EBR-II reactor. These quantities are calculated from nodal reactivities obtained from a kinetic code analysis of an experiment in which the change in power resulted from the dropping of a control rod. Shown with these linear reactivities are the reactivity associated with the control-rod shaft contraction and also time-dependent non-linear (mainly bowing) component deduced from the inverse kinetics of the experimentally measured fission power and the calculated linear reactivities. (author)

Local invariants vanishing on stationary horizons: a diagnostic for locating black holes.

Science.gov (United States)

Page, Don N; Shoom, Andrey A

2015-04-10

Inspired by the example of Abdelqader and Lake for the Kerr metric, we construct local scalar polynomial curvature invariants that vanish on the horizon of any stationary black hole: the squared norms of the wedge products of n linearly independent gradients of scalar polynomial curvature invariants, where n is the local cohomogeneity of the spacetime.

Gravity, two times, tractors, Weyl invariance, and six-dimensional quantum mechanics

International Nuclear Information System (INIS)

Bonezzi, R.; Latini, E.; Waldron, A.

2010-01-01

Fefferman and Graham showed some time ago that four-dimensional conformal geometries could be analyzed in terms of six-dimensional, ambient, Riemannian geometries admitting a closed homothety. Recently, it was shown how conformal geometry provides a description of physics manifestly invariant under local choices of unit systems. Strikingly, Einstein's equations are then equivalent to the existence of a parallel scale tractor (a six-component vector subject to a certain first order covariant constancy condition at every point in four-dimensional spacetime). These results suggest a six-dimensional description of four-dimensional physics, a viewpoint promulgated by the 2 times physics program of Bars. The Fefferman-Graham construction relies on a triplet of operators corresponding, respectively, to a curved six-dimensional light cone, the dilation generator and the Laplacian. These form an sp(2) algebra which Bars employs as a first class algebra of constraints in a six-dimensional gauge theory. In this article four-dimensional gravity is recast in terms of six-dimensional quantum mechanics by melding the 2 times and tractor approaches. This parent formulation of gravity is built from an infinite set of six-dimensional fields. Successively integrating out these fields yields various novel descriptions of gravity including a new four-dimensional one built from a scalar doublet, a tractor-vector multiplet and a conformal class of metrics.

Method of chronokinemetrical invariants

International Nuclear Information System (INIS)

Vladimirov, Yu.S.; Shelkovenko, A.Eh.

1976-01-01

A particular case of a general dyadic method - the method of chronokinemetric invariants is formulated. The time-like dyad vector is calibrated in a chronometric way, and the space-like vector - in a kinemetric way. Expressions are written for the main physical-geometrical values of the dyadic method and for differential operators. The method developed may be useful for predetermining the reference system of a single observer, and also for studying problems connected with emission and absorption of gravitational and electromagnetic waves [ru

Viability, invariance and applications

CERN Document Server

Carja, Ovidiu; Vrabie, Ioan I

2007-01-01

The book is an almost self-contained presentation of the most important concepts and results in viability and invariance. The viability of a set K with respect to a given function (or multi-function) F, defined on it, describes the property that, for each initial data in K, the differential equation (or inclusion) driven by that function or multi-function) to have at least one solution. The invariance of a set K with respect to a function (or multi-function) F, defined on a larger set D, is that property which says that each solution of the differential equation (or inclusion) driven by F and issuing in K remains in K, at least for a short time.The book includes the most important necessary and sufficient conditions for viability starting with Nagumo's Viability Theorem for ordinary differential equations with continuous right-hand sides and continuing with the corresponding extensions either to differential inclusions or to semilinear or even fully nonlinear evolution equations, systems and inclusions. In th...

Spectral theory of linear operators and spectral systems in Banach algebras

CERN Document Server

Müller, Vladimir

2003-01-01

This book is dedicated to the spectral theory of linear operators on Banach spaces and of elements in Banach algebras. It presents a survey of results concerning various types of spectra, both of single and n-tuples of elements. Typical examples are the one-sided spectra, the approximate point, essential, local and Taylor spectrum, and their variants. The theory is presented in a unified, axiomatic and elementary way. Many results appear here for the first time in a monograph. The material is self-contained. Only a basic knowledge of functional analysis, topology, and complex analysis is assumed. The monograph should appeal both to students who would like to learn about spectral theory and to experts in the field. It can also serve as a reference book. The present second edition contains a number of new results, in particular, concerning orbits and their relations to the invariant subspace problem. This book is dedicated to the spectral theory of linear operators on Banach spaces and of elements in Banach alg...

Weyl and transverse diffeomorphism invariant spin-2 models in D = 2 + 1

International Nuclear Information System (INIS)

Dalmazi, Denis; Mendonca, E.L.; Santos, A.L.R. dos; Ghosh, Subir

2017-01-01

There are two covariant descriptions of massless spin-2 particles in D = 3 + 1 via a symmetric rank-2 tensor: the linearized Einstein-Hilbert (LEH) theory and the Weyl plus transverse diffeomorphism (WTDIFF) invariant model. From the LEH theory one can obtain the linearized new massive gravity (NMG) in D = 2 + 1 via Kaluza-Klein dimensional reduction followed by a dual master action. Here we show that a similar route takes us from the WTDIFF model to a linearized scalar-tensor NMG which belongs to a larger class of consistent spin-0 modifications of NMG. We also show that a traceless master action applied to a parity singlet furnishes two new spin-2 self-dual models. Moreover, we examine the singular replacement h_μ_ν → h_μ_ν - η_μ_νh/D and prove that it leads to consistent massive spin-2 models in D = 2 + 1. They include linearized versions of unimodular topologically massive gravity (TMG) and unimodular NMG. Although the free part of those unimodular theories are Weyl invariant, we do not expect any improvement in the renormalizability. Both the linearized K-term (in NMG) and the linearized gravitational Chern-Simons term (in TMG) are invariant under longitudinal reparametrizations δh_μ_ν = ∂_μ∂_νζ, which is not a symmetry of the WTDIFF Einstein-Hilbert term. Therefore, we still have one degree of freedom whose propagator behaves like 1/p"2 for large momentum. (orig.)

Weyl and transverse diffeomorphism invariant spin-2 models in D=2+1

Science.gov (United States)

Dalmazi, Denis; dos Santos, A. L. R.; Ghosh, Subir; Mendonça, E. L.

2017-09-01

There are two covariant descriptions of massless spin-2 particles in D=3+1 via a symmetric rank-2 tensor: the linearized Einstein-Hilbert (LEH) theory and the Weyl plus transverse diffeomorphism (WTDIFF) invariant model. From the LEH theory one can obtain the linearized new massive gravity (NMG) in D=2+1 via Kaluza-Klein dimensional reduction followed by a dual master action. Here we show that a similar route takes us from the WTDIFF model to a linearized scalar-tensor NMG which belongs to a larger class of consistent spin-0 modifications of NMG. We also show that a traceless master action applied to a parity singlet furnishes two new spin-2 self-dual models. Moreover, we examine the singular replacement h_{μ ν } → h_{μ ν } - η _{μ ν }h/D and prove that it leads to consistent massive spin-2 models in D=2+1. They include linearized versions of unimodular topologically massive gravity (TMG) and unimodular NMG. Although the free part of those unimodular theories are Weyl invariant, we do not expect any improvement in the renormalizability. Both the linearized K-term (in NMG) and the linearized gravitational Chern-Simons term (in TMG) are invariant under longitudinal reparametrizations δ h_{μ ν } = partial _{μ }partial _{ν }ζ , which is not a symmetry of the WTDIFF Einstein-Hilbert term. Therefore, we still have one degree of freedom whose propagator behaves like 1/p^2 for large momentum.

Implementation of CT and IHT Processors for Invariant Object Recognition System

Directory of Open Access Journals (Sweden)

J. Turan jr.

2004-12-01

Full Text Available This paper presents PDL or ASIC implementation of key modules ofinvariant object recognition system based on the combination of theIncremental Hough transform (IHT, correlation and rapid transform(RT. The invariant object recognition system was represented partiallyin C++ language for general-purpose processor on personal computer andpartially described in VHDL code for implementation in PLD or ASIC.

Permutation invariant polynomial neural network approach to fitting potential energy surfaces. II. Four-atom systems

Energy Technology Data Exchange (ETDEWEB)

Li, Jun; Jiang, Bin; Guo, Hua, E-mail: hguo@unm.edu [Department of Chemistry and Chemical Biology, University of New Mexico, Albuquerque, New Mexico 87131 (United States)

2013-11-28

A rigorous, general, and simple method to fit global and permutation invariant potential energy surfaces (PESs) using neural networks (NNs) is discussed. This so-called permutation invariant polynomial neural network (PIP-NN) method imposes permutation symmetry by using in its input a set of symmetry functions based on PIPs. For systems with more than three atoms, it is shown that the number of symmetry functions in the input vector needs to be larger than the number of internal coordinates in order to include both the primary and secondary invariant polynomials. This PIP-NN method is successfully demonstrated in three atom-triatomic reactive systems, resulting in full-dimensional global PESs with average errors on the order of meV. These PESs are used in full-dimensional quantum dynamical calculations.

Reliability modelling and simulation of switched linear system ...

African Journals Online (AJOL)

Reliability modelling and simulation of switched linear system control using temporal databases. ... design of fault-tolerant real-time switching systems control and modelling embedded micro-schedulers for complex systems maintenance.

Uniqueness of the gauge invariant action for cosmological perturbations

International Nuclear Information System (INIS)

Prokopec, Tomislav; Weenink, Jan

2012-01-01

In second order perturbation theory different definitions are known of gauge invariant perturbations in single field inflationary models. Consequently the corresponding gauge invariant cubic actions do not have the same form. Here we show that the cubic action for one choice of gauge invariant variables is unique in the following sense: the action for any other, non-linearly related variable can be brought to the same bulk action, plus additional boundary terms. These boundary terms correspond to the choice of hypersurface and generate extra, disconnected contributions to the bispectrum. We also discuss uniqueness of the action with respect to conformal frames. When expressed in terms of the gauge invariant curvature perturbation on uniform field hypersurfaces the action for cosmological perturbations has a unique form, independent of the original Einstein or Jordan frame. Crucial is that the gauge invariant comoving curvature perturbation is frame independent, which makes it extremely helpful in showing the quantum equivalence of the two frames, and therefore in calculating quantum effects in nonminimally coupled theories such as Higgs inflation

Adaptive operational modal identification for slow linear time-varying structures based on frozen-in coefficient method and limited memory recursive principal component analysis

Science.gov (United States)

Wang, Cheng; Guan, Wei; Wang, J. Y.; Zhong, Bineng; Lai, Xiongming; Chen, Yewang; Xiang, Liang

2018-02-01

To adaptively identify the transient modal parameters for linear weakly damped structures with slow time-varying characteristics under unmeasured stationary random ambient loads, this paper proposes a novel operational modal analysis (OMA) method based on the frozen-in coefficient method and limited memory recursive principal component analysis (LMRPCA). In the modal coordinate, the random vibration response signals of mechanical weakly damped structures can be decomposed into the inner product of modal shapes and modal responses, from which the natural frequencies and damping ratios can be well acquired by single-degree-of-freedom (SDOF) identification approach such as FFT. Hence, for the OMA method based on principal component analysis (PCA), it becomes very crucial to examine the relation between the transformational matrix and the modal shapes matrix, to find the association between the principal components (PCs) matrix and the modal responses matrix, and to turn the operational modal parameter identification problem into PCA of the stationary random vibration response signals of weakly damped mechanical structures. Based on the theory of "time-freezing", the method of frozen-in coefficient, and the assumption of "short time invariant" and "quasistationary", the non-stationary random response signals of the weakly damped and slow linear time-varying structures (LTV) can approximately be seen as the stationary random response time series of weakly damped and linear time invariant structures (LTI) in a short interval. Thus, the adaptive identification of time-varying operational modal parameters is turned into decompositing the PCs of stationary random vibration response signals subsection of weakly damped mechanical structures after choosing an appropriate limited memory window. Finally, a three-degree-of-freedom (DOF) structure with weakly damped and slow time-varying mass is presented to illustrate this method of identification. Results show that the LMRPCA

Invariant class operators in the decoherent histories analysis of timeless quantum theories

International Nuclear Information System (INIS)

Halliwell, J. J.; Wallden, P.

2006-01-01

The decoherent histories approach to quantum theory is applied to a class of reparametrization-invariant models whose state is an energy eigenstate. A key step in this approach is the construction of class operators characterizing the questions of physical interest, such as the probability of the system entering a given region of configuration space without regard to time. In nonrelativistic quantum mechanics these class operators are given by time-ordered products of projection operators. But in reparametrization-invariant models, where there is no time, the construction of the class operators is more complicated, the main difficulty being to find operators which commute with the Hamiltonian constraint (and so respect the invariance of the theory). Here, inspired by classical considerations, we put forward a proposal for the construction of such class operators for a class of reparametrization-invariant systems. They consist of continuous infinite temporal products of Heisenberg picture projection operators. We investigate the consequences of this proposal in a number of simple models and also compare with the evolving constants method. The formalism developed here is ultimately aimed at cosmological models described by a Wheeler-DeWitt equation, but the specific features of such models are left to future papers

On the sighting of unicorns: A variational approach to computing invariant sets in dynamical systems

Science.gov (United States)

Junge, Oliver; Kevrekidis, Ioannis G.

2017-06-01

We propose to compute approximations to invariant sets in dynamical systems by minimizing an appropriate distance between a suitably selected finite set of points and its image under the dynamics. We demonstrate, through computational experiments, that this approach can successfully converge to approximations of (maximal) invariant sets of arbitrary topology, dimension, and stability, such as, e.g., saddle type invariant sets with complicated dynamics. We further propose to extend this approach by adding a Lennard-Jones type potential term to the objective function, which yields more evenly distributed approximating finite point sets, and illustrate the procedure through corresponding numerical experiments.

The Formalization of Fairness: Issues in Testing for Measurement Invariance Using Subtest Scores

Science.gov (United States)

Molenaar, Dylan; Borsboom, Denny

2013-01-01

Measurement invariance is an important prerequisite for the adequate comparison of group differences in test scores. In psychology, measurement invariance is typically investigated by means of linear factor analyses of subtest scores. These subtest scores typically result from summing the item scores. In this paper, we discuss 4 possible problems…

Discover potential in a search for time-reversal invariance violation in nuclei

Energy Technology Data Exchange (ETDEWEB)

Gudkov, Vladimir, E-mail: gudkov@sc.edu; Song, Young-Ho [University of South Carolina, Department of Physics and Astronomy (United States)

2013-03-15

Time reversal invariance violating (TRIV) effects in low energy physics could be very important in searching for new physics, being complementary to neutron and atomic electric dipole moment (EDM) measurements. In this relation, we discuss a sensitivity of some TRIV observables to different models of time-reversal (CP) violation and their dependencies on nuclear structure. As a measure of a sensitivity of TRIV effects to the value of TRIV nucleon coupling constant, we introduce a coefficient of a 'discovery potential', which shows a possible factor for improving the current limits of the EDM experiments by measuring nuclear TRIV effects.

Trends in modern system theory

Science.gov (United States)

Athans, M.

1976-01-01

The topics considered are related to linear control system design, adaptive control, failure detection, control under failure, system reliability, and large-scale systems and decentralized control. It is pointed out that the design of a linear feedback control system which regulates a process about a desirable set point or steady-state condition in the presence of disturbances is a very important problem. The linearized dynamics of the process are used for design purposes. The typical linear-quadratic design involving the solution of the optimal control problem of a linear time-invariant system with respect to a quadratic performance criterion is considered along with gain reduction theorems and the multivariable phase margin theorem. The stumbling block in many adaptive design methodologies is associated with the amount of real time computation which is necessary. Attention is also given to the desperate need to develop good theories for large-scale systems, the beginning of a microprocessor revolution, the translation of the Wiener-Hopf theory into the time domain, and advances made in dynamic team theory, dynamic stochastic games, and finite memory stochastic control.

Design of an optimal preview controller for linear discrete-time descriptor systems with state delay

Science.gov (United States)

Cao, Mengjuan; Liao, Fucheng

2015-04-01

In this paper, the linear discrete-time descriptor system with state delay is studied, and a design method for an optimal preview controller is proposed. First, by using the discrete lifting technique, the original system is transformed into a general descriptor system without state delay in form. Then, taking advantage of the first-order forward difference operator, we construct a descriptor augmented error system, including the state vectors of the lifted system, error vectors, and desired target signals. Rigorous mathematical proofs are given for the regularity, stabilisability, causal controllability, and causal observability of the descriptor augmented error system. Based on these, the optimal preview controller with preview feedforward compensation for the original system is obtained by using the standard optimal regulator theory of the descriptor system. The effectiveness of the proposed method is shown by numerical simulation.

PCA-based detection of damage in time-varying systems

Science.gov (United States)

Bellino, A.; Fasana, A.; Garibaldi, L.; Marchesiello, S.

2010-10-01

When performing Structural Health Monitoring, it is well known that the natural frequencies do not depend only on the damage but also on environmental conditions, such as temperature and humidity. The Principal Component Analysis is used to take this problem into account, because it allows eliminating the effect of external factors. The purpose of the present work is to show that this technique can be successfully used not only for time-invariant systems, but also for time-varying ones. Referring to the latter, one of the most studied systems which shows these characteristics is the bridge with crossing loads, such as the case of the railway bridge studied in present paper; in this case, the mass and the velocity of the train can be considered as "environmental" factors.This paper, after a brief description of the PCA method and one example of its application on time-invariant systems, presents the great potentialities of the methodology when applied to time-varying systems. The results show that this method is able to better detect the presence of damage and also to properly distinguish among different levels of crack depths.

Linear and non-linear energy barriers in systems of interacting single-domain ferromagnetic particles

International Nuclear Information System (INIS)

Petrila, Iulian; Bodale, Ilie; Rotarescu, Cristian; Stancu, Alexandru

2011-01-01

A comparative analysis between linear and non-linear energy barriers used for modeling statistical thermally-excited ferromagnetic systems is presented. The linear energy barrier is obtained by new symmetry considerations about the anisotropy energy and the link with the non-linear energy barrier is also presented. For a relevant analysis we compare the effects of linear and non-linear energy barriers implemented in two different models: Preisach-Neel and Ising-Metropolis. The differences between energy barriers which are reflected in different coercive field dependence of the temperature are also presented. -- Highlights: → The linear energy barrier is obtained from symmetry considerations. → The linear and non-linear energy barriers are calibrated and implemented in Preisach-Neel and Ising-Metropolis models. → The temperature and time effects of the linear and non-linear energy barriers are analyzed.

Introduction to geometric nonlinear control; Linearization, observability, decoupling

Energy Technology Data Exchange (ETDEWEB)

Respondek, W [Laboratoire de Mathematiques, INSA de Rouen (France)

2002-07-15

These notes are devoted to the problems of linearization, observability, and decoupling of nonlinear control systems. Together with notes of Bronislaw Jakubczyk in the same volume, they form an introduction to geometric methods in nonlinear control theory. In the first part we discuss equivalence of control systems. We consider various aspects of the problem: state-space and feedback equivalence, local and global equivalence, equivalence to linear and partially linear systems. In the second part we present the notion of observability and give a geometric rank condition for local observability and an algebraic characterization of local observability. We discuss unm observability, decompositions of non-observable systems, and properties of generic observable systems. In the third part we introduce the notion of invariant distributions and discuss disturbance decoupling and input-output decoupling. Many concepts and results are illustrated with examples. (author)

Correct-by-design output feedback of LTI systems

NARCIS (Netherlands)

Haesaert, S.; Abate, A.; van den Hof, P.M.J.

2016-01-01

Current state-of-the-art correct-by-design controllers are designed for full-state measurable systems. This work extends the applicability of correct-by-design controllers to partially observable linear, time-invariant (LTI) models. Towards the certification of the synthesised controllers,