Nonautonomous elementary net systems and their application to programmable logic control

In this paper, a novel approach to Petri net modeling of programmable logic controller (PLC) programs is presented. The modeling approach is a simple extension of elementary net systems, and a graphical design tool that supports the use of this modeling approach is provided. A key characteristic of the model is that the binary sensory inputs and binary actuation outputs of the PLC are explicitly represented. This leads to the following two improvements: outputs are unambiguous, and interaction patterns are more clearly represented in the graphical form. The use of this modeling approach produces programs that are simple, lightweight, and portable. The approach is demonstrated by applying it to the development of a control module for a MonTech Positioning Station. © 2008 IEEE.

Nonautonomous contact guidance signaling during collective cell migration.

Directed migration of groups of cells is a critical aspect of tissue morphogenesis that ensures proper tissue organization and, consequently, function. Cells moving in groups, unlike single cells, must coordinate their migratory behavior to maintain tissue integrity. During directed migration, cells are guided by a combination of mechanical and chemical cues presented by neighboring cells and the surrounding extracellular matrix. One important class of signals that guide cell migration includes topographic cues. Although the contact guidance response of individual cells to topographic cues has been extensively characterized, little is known about the response of groups of cells to topographic cues, the impact of such cues on cell-cell coordination within groups, and the transmission of nonautonomous contact guidance information between neighboring cells. Here, we explore these phenomena by quantifying the migratory response of confluent monolayers of epithelial and fibroblast cells to contact guidance cues provided by grooved topography. We show that, in both sparse clusters and confluent sheets, individual cells are contact-guided by grooves and show more coordinated behavior on grooved versus flat substrates. Furthermore, we demonstrate both in vitro and in silico that the guidance signal provided by a groove can propagate between neighboring cells in a confluent monolayer, and that the distance over which signal propagation occurs is not significantly influenced by the strength of cell-cell junctions but is an emergent property, similar to cellular streaming, triggered by mechanical exclusion interactions within the collective system.

Periodic paths on nonautonomous graphs

We define nonautonomous graphs as a class of dynamic graphs in discrete time whose time-dependence consists in connecting or disconnecting edges. We study periodic paths in these graphs, and the associated zeta functions. Based on the analytic properties of these zeta functions we obtain explicit formulae for the number of n-periodic paths, as the sum of the nth powers of some specific algebraic numbers.

A GRADIENT-LIKE NONAUTONOMOUS EVOLUTION PROCESS

In this paper we consider a dissipative damped wave equation with nonautonomous damping of the form u(tt) + beta(t)u(t) - Delta u + f(u) (1) in a bounded smooth domain Omega subset of R(n) with Dirichlet boundary conditions, where f is a dissipative smooth nonlinearity and the damping beta : R -> (0, infinity) is a suitable function. We prove, if (1) has finitely many equilibria, that all global bounded solutions of (1) are backwards and forwards asymptotic to equilibria. Thus, we give a class of examples of nonautonomous evolution processes for which the structure of the pullback attractors is well understood. That complements the results of [Carvalho & Langa, 2009] on characterization of attractors, where it was shown that a small nonautonomous perturbation of an autonomous gradient-like evolution process is also gradient-like. Note that the evolution process associated to (1) is not a small nonautonomous perturbation of any autonomous gradient-like evolution processes. Moreover, we are also able to prove that the pullback attractor for (1) is also a forwards attractor and that the rate of attraction is exponential.

UNIFORM DISSIPATIVENESS, ROBUST SYNCHRONIZATION AND LOCATION OF THE ATTRACTOR OF PARAMETRIZED NONAUTONOMOUS DISCRETE SYSTEMS

In this series of papers, we study issues related to the synchronization of two coupled chaotic discrete systems arising from secured communication. The first part deals with uniform dissipativeness with respect to parameter variation via the Liapunov direct method. We obtain uniform estimates of the global attractor for a general discrete nonautonomous system, that yields a uniform invariance principle in the autonomous case. The Liapunov function is allowed to have positive derivative along solutions of the system inside a bounded set, and this reduces substantially the difficulty of constructing a Liapunov function for a given system. In particular, we develop an approach that incorporates the classical Lagrange multiplier into the Liapunov function method to naturally extend those Liapunov functions from continuous dynamical system to their discretizations, so that the corresponding uniform dispativeness results are valid when the step size of the discretization is small. Applications to the discretized Lorenz system and the discretization of a time-periodic chaotic system are given to illustrate the general results. We also show how to obtain uniform estimation of attractors for parametrized linear stable systems with nonlinear perturbation.

Nonautonomous difference equations with applications

This work is divided in two parts. In the first part we develop the theory of discrete nonautonomous dynamical systems. In particular, we investigate skew-product dynamical system, periodicity, stability, center manifold, and bifurcation. In the second part we present some concrete models that are used in ecology/biology and economics. In addition to developing the mathematical theory of these models, we use simulations to construct graphs that illustrate and describe the dynamics of the models. One of the main contributions of this dissertation is the study of the stability of some concrete nonlinear maps using the center manifold theory. Moreover, the second contribution is the study of bifurcation, and in particular the construction of bifurcation diagrams in the parameter space of the autonomous Ricker competition model. Since the dynamics of the Ricker competition model is similar to the logistic competition model, we believe that there exists a certain class of two-dimensional maps with which we can generalize our results. Finally, using the Brouwer’s fixed point theorem and the construction of a compact invariant and convex subset of the space, we present a proof of the existence of a positive periodic solution of the nonautonomous Ricker competition model.

Nonautonomous mixed mKdV-sinh-Gordon hierarchy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

PULLBACK ATTRACTORS FOR A SINGULARLY NONAUTONOMOUS PLATE EQUATION

We consider the family of singularly nonautonomous plate equation with structural dampingu(tt) + a(t, x)u(t) - Delta u(t) + (-Delta)(2)(u) + lambda u = f(u),in a bounded domain Omega subset of R(n), with Navier boundary conditions. When the nonlinearity f is dissipative we show that this problem is globally well posed in H(0)(2)(Omega) x L(2)(Omega) and has a family of pullback attractors which is upper-semicontinuous under small perturbations of the damping a.

LOWER SEMICONTINUITY of PULLBACK ATTRACTORS FOR A SINGULARLY NONAUTONOMOUS PLATE EQUATION

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

On the value function for nonautonomous optimal control problems with infinite horizon

In this paper we consider nonautonomous optimal control problems of infinite horizon type, whose control actions are given by L-1-functions. We verify that the value function is locally Lipschitz. The equivalence between dynamic programming inequalities and Hamilton-Jacobi-Bellman (HJB) inequalities for proximal sub (super) gradients is proven. Using this result we show that the value function is a Dini solution of the HJB equation. We obtain a verification result for the class of Dini sub-solutions of the HJB equation and also prove a minimax property of the value function with respect to the sets of Dini semi-solutions of the HJB equation. We introduce the concept of viscosity solutions of the HJB equation in infinite horizon and prove the equivalence between this and the concept of Dini solutions. In the Appendix we provide an existence theorem. (c) 2006 Elsevier B.V. All rights reserved.

Perturbation of a nonautonomous problem in ℝn

In this paper, we prove a stability result about the asymptotic dynamics of a perturbed nonautonomous evolution equation in ℝn governed by a maximal monotone operator. Copyright © 2013 John Wiley & Sons, Ltd. Copyright © 2013 John Wiley & Sons, Ltd.

Wide localized solutions of the parity-time-symmetric nonautonomous nonlinear Schrodinger equation

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Continuity of Dynamical Structures for Nonautonomous Evolution Equations Under Singular Perturbations

In this paper we study the continuity of invariant sets for nonautonomous infinite-dimensional dynamical systems under singular perturbations. We extend the existing results on lower-semicontinuity of attractors of autonomous and nonautonomous dynamical systems. This is accomplished through a detailed analysis of the structure of the invariant sets and its behavior under perturbation. We prove that a bounded hyperbolic global solutions persists under singular perturbations and that their nonlinear unstable manifold behave continuously. To accomplish this, we need to establish results on roughness of exponential dichotomies under these singular perturbations. Our results imply that, if the limiting pullback attractor of a nonautonomous dynamical system is the closure of a countable union of unstable manifolds of global bounded hyperbolic solutions, then it behaves continuously (upper and lower) under singular perturbations.

Evidence for a Myotomal Hox/Myf Cascade Governing Nonautonomous Control of Rib Specification within Global Vertebral Domains

Hox genes are essential for the patterning of the axial skeleton. Hox group 10 has been shown to specify the lumbar domain by setting a rib-inhibiting program in the presomitic mesoderm (PSM). We have now produced mice with ribs in every vertebra by ectopically expressing Hox group 6 in the PSM, indicating that Hox genes are also able to specify the thoracic domain. We show that the information provided by Hox genes to specify rib-containing and rib-less areas is first interpreted in the myotome through the regional-specific control of Myf5 and Myf6 expression. This information is then transmitted to the sclerotome by a system that includes FGF and PDGF signaling to produce vertebrae with or without ribs at different axial levels. Our findings offer a new perspective of how Hox genes produce global patterns in the axial skeleton and support a redundant nonmyogenic role of Myf5 and Myf6 in rib formation.