A theory of the infinite horizon LQ-problem for composite systems of PDEs with boundary control

We study the infinite horizon Linear-Quadratic problem and the associated algebraic Riccati equations for systems with unbounded control actions. The operator-theoretic context is motivated by composite systems of Partial Differential Equations (PDE) with boundary or point control. Specific focus is placed on systems of coupled hyperbolic/parabolic PDE with an overall `predominant' hyperbolic character, such as, e.g., some models for thermoelastic or fluid-structure interactions. While unbounded control actions lead to Riccati equations with unbounded (operator) coefficients, unlike the parabolic case solvability of these equations becomes a major issue, owing to the lack of sufficient regularity of the solutions to the composite dynamics. In the present case, even the more general theory appealing to estimates of the singularity displayed by the kernel which occurs in the integral representation of the solution to the control system fails. A novel framework which embodies possible hyperbolic components of the dynamics has been introduced by the authors in 2005, and a full theory of the LQ-problem on a finite time horizon has been developed. The present paper provides the infinite time horizon theory, culminating in well-posedness of the corresponding (algebraic) Riccati equations. New technical challenges are encountered and new tools are needed, especially in order to pinpoint the differentiability of the optimal solution. The theory is illustrated by means of a boundary control problem arising in thermoelasticity.Comment: 50 pages, submitte

Adaptive auditory risk assessment in the dogbane tiger moth when pursued by bats

Moths and butterflies flying in search of mates risk detection by numerous aerial predators; under the cover of night, the greatest threat will often be from insectivorous bats. During such encounters, the toxic dogbane tiger moth, Cycnia tenera uses the received intensity, duration and emission pattern of the bat's echolocation calls to determine when, and how many, defensive ultrasonic clicks to produce in return. These clicks, which constitute an acoustic startle response, act as warning signals against bats in flight. Using an integrated test of stimulus generalization and dishabituation, here we show that C. tenera is able to discriminate between the echolocation calls characteristic of a bat that has only just detected it versus those of a bat actively in pursuit of it. We also show that C. tenera habituates more profoundly to the former stimulus train (‘early attack’) than to the latter (‘late attack’), even though it was initially equally responsive to both stimuli. Matched sensory and behavioural data indicate that reduced responsiveness reflects habituation and is not merely attributable to sensory adaptation or motor fatigue. In search of mates in the face of bats, C. tenera's ability to discriminate between attacking bats representing different levels of risk, and to habituate less so to those most dangerous, should function as an adaptive cost–benefit trade-off mechanism in nature

The Non-Archimedean Theory of Discrete Systems

In the paper, we study behavior of discrete dynamical systems (automata) w.r.t. transitivity; that is, speaking loosely, we consider how diverse may be behavior of the system w.r.t. variety of word transformations performed by the system: We call a system completely transitive if, given arbitrary pair $a,b$ of finite words that have equal lengths, the system $\mathfrak A$, while evolution during (discrete) time, at a certain moment transforms $a$ into $b$. To every system $\mathfrak A$, we put into a correspondence a family $\mathcal F_{\mathfrak A}$ of continuous maps of a suitable non-Archimedean metric space and show that the system is completely transitive if and only if the family $\mathcal F_{\mathfrak A}$ is ergodic w.r.t. the Haar measure; then we find easy-to-verify conditions the system must satisfy to be completely transitive. The theory can be applied to analyze behavior of straight-line computer programs (in particular, pseudo-random number generators that are used in cryptography and simulations) since basic CPU instructions (both numerical and logical) can be considered as continuous maps of a (non-Archimedean) metric space $\mathbb Z_2$ of 2-adic integers.Comment: The extended version of the talk given at MACIS-201

Scaling in a continuous time model for biological aging

In this paper we consider a generalization to the asexual version of the Penna model for biological aging, where we take a continuous time limit. The genotype associated to each individual is an interval of real numbers over which Dirac $\delta$--functions are defined, representing genetically programmed diseases to be switched on at defined ages of the individual life. We discuss two different continuous limits for the evolution equation and two different mutation protocols, to be implemented during reproduction. Exact stationary solutions are obtained and scaling properties are discussed.Comment: 10 pages, 6 figure

Controllability on infinite-dimensional manifolds

Following the unified approach of A. Kriegl and P.W. Michor (1997) for a treatment of global analysis on a class of locally convex spaces known as convenient, we give a generalization of Rashevsky-Chow's theorem for control systems in regular connected manifolds modelled on convenient (infinite-dimensional) locally convex spaces which are not necessarily normable.Comment: 19 pages, 1 figur

Towards Autopoietic Computing

A key challenge in modern computing is to develop systems that address complex, dynamic problems in a scalable and efficient way, because the increasing complexity of software makes designing and maintaining efficient and flexible systems increasingly difficult. Biological systems are thought to possess robust, scalable processing paradigms that can automatically manage complex, dynamic problem spaces, possessing several properties that may be useful in computer systems. The biological properties of self-organisation, self-replication, self-management, and scalability are addressed in an interesting way by autopoiesis, a descriptive theory of the cell founded on the concept of a system's circular organisation to define its boundary with its environment. In this paper, therefore, we review the main concepts of autopoiesis and then discuss how they could be related to fundamental concepts and theories of computation. The paper is conceptual in nature and the emphasis is on the review of other people's work in this area as part of a longer-term strategy to develop a formal theory of autopoietic computing.Comment: 10 Pages, 3 figure

Electronics Letters

The optimal refined instrumental variable method for the estimation of the Box-Jenkins (BJ) model is modified so that it functions as an optimal filter and state-estimation algorithm. In contrast to the previously developed minimal and non-minimal state-space (NMSS) forms for an Auto-Regressive Moving Average with eXogenous variables (ARMAX) model, the new algorithm requires the introduction of a novel extended NMSS form. This facilitates representation of the more general noise component of the BJ model. The approach can be used for adaptive filtering and state variable feedback control

Ball on a beam: stabilization under saturated input control with large basin of attraction

This article is devoted to the stabilization of two underactuated planar systems, the well-known straight beam-and-ball system and an original circular beam-and-ball system. The feedback control for each system is designed, using the Jordan form of its model, linearized near the unstable equilibrium. The limits on the voltage, fed to the motor, are taken into account explicitly. The straight beam-and-ball system has one unstable mode in the motion near the equilibrium point. The proposed control law ensures that the basin of attraction coincides with the controllability domain. The circular beam-and-ball system has two unstable modes near the equilibrium point. Therefore, this device, never considered in the past, is much more difficult to control than the straight beam-and-ball system. The main contribution is to propose a simple new control law, which ensures by adjusting its gain parameters that the basin of attraction arbitrarily can approach the controllability domain for the linear case. For both nonlinear systems, simulation results are presented to illustrate the efficiency of the designed nonlinear control laws and to determine the basin of attraction