A NEW FAMILY OF FIRST-ORDER TIME-DELAYED CHAOTIC SYSTEMS

2011 ◽  
Vol 21 (09) ◽  
pp. 2547-2558 ◽  
Author(s):  
XIAOMING ZHANG ◽  
JUFANG CHEN ◽  
JIANHUA PENG
Keyword(s):  
Chaotic Systems ◽  
Linear Time ◽  
Period Doubling ◽  
First Order ◽  
New Family ◽  
Delayed Differential Equations ◽  
Stable Periodic ◽  
Delayed System ◽  
Bifurcation Direction ◽  
General Method

A general method for formulating first-order time-delayed chaotic systems with simple linear time-delayed term is proposed. The formulated systems are realized with electronic circuit experiments. In order to determine the unknown coefficients in a general delayed differential equations for having chaotic solutions, we follow the route of period-doubling bifurcation to chaos. Firstly, the conditions for a time-delayed system having a stable periodic solution, generating from a destablized steady state, is analyzed with Hopf bifurcation theory. Then the delay time parameter is changed according to the bifurcation direction to search the chaotic state, which is identified by the Lyapunov exponents spectra. The theoretical analysis is well confirmed by numerical simulations and circuit experiments.

BIFURCATIONS AND CHAOS IN CELLULAR NEURAL NETWORKS

2003 ◽  
Vol 12 (04) ◽  
pp. 417-433 ◽  
Author(s):  
M. BIEY ◽  
P. CHECCO ◽  
M. GILLI
Keyword(s):  
Neural Networks ◽  
Bifurcation Analysis ◽  
Complex Dynamics ◽  
Chaotic Behavior ◽  
Period Doubling ◽  
Cellular Neural Networks ◽  
Two Dimensional ◽  
First Order ◽  
Stable Periodic ◽  
Torus Breakdown

The dynamic behavior of first-order autonomous space invariant cellular neural networks (CNNs) is investigated. It is shown that complex dynamics may occur in very simple CNN structures, described by two-dimensional templates that present only vertical and horizontal couplings. The bifurcation processes are analyzed through the computation of the limit cycle Floquet's multipliers, the evaluation of the Lyapunov exponents and of the signal spectra. As a main result a detailed and accurate two-dimensional bifurcation diagram is reported. The diagram allows one to distinguish several regions in the parameter space of a single CNN. They correspond to stable, periodic, quasi-periodic, and chaotic behavior, respectively. In particular it is shown that chaotic regions can be reached through two different routes: period doubling and torus breakdown. We remark that most practical CNN implementations exploit first order cells and space-invariant templates: so far only a few examples of complex dynamics and no complete bifurcation analysis have been presented for such networks.

Dynamics, Synchronization and Electronic Implementations of a New Lorenz-like Chaotic System with Nonhyperbolic Equilibria

2019 ◽  
Vol 29 (14) ◽  
pp. 1950197 ◽  
Author(s):  
P. D. Kamdem Kuate ◽  
Qiang Lai ◽  
Hilaire Fotsin
Keyword(s):  
Chaotic System ◽  
Chaotic Systems ◽  
Lorenz System ◽  
Chaotic Behavior ◽  
Piecewise Linear ◽  
Period Doubling ◽  
Adaptive Synchronization ◽  
The Novel ◽  
Algebraic Equations ◽  
The Lorenz System

The Lorenz system has attracted increasing attention on the issue of its simplification in order to produce the simplest three-dimensional chaotic systems suitable for secure information processing. Meanwhile, Sprott’s work on elegant chaos has revealed a set of 19 chaotic systems all described by simple algebraic equations. This paper presents a new piecewise-linear chaotic system emerging from the simplification of the Lorenz system combined with the elegance of Sprott systems. Unlike the majority, the new system is a non-Shilnikov chaotic system with two nonhyperbolic equilibria. It is multiplier-free, variable-boostable and exclusively based on absolute value and signum nonlinearities. The use of familiar tools such as Lyapunov exponents spectra, bifurcation diagrams, frequency power spectra as well as Poincaré map help to demonstrate its chaotic behavior. The novel system exhibits inverse period doubling bifurcations and multistability. It has only five terms, one bifurcation parameter and a total amplitude controller. These features allow a simple and low cost electronic implementation. The adaptive synchronization of the novel system is investigated and the corresponding electronic circuit is presented to confirm its feasibility.

Towards the Temporal Approach to Abstract Data Types

1988 ◽  
Vol 11 (1) ◽  
pp. 49-63
Author(s):  
Andrzej Szalas
Keyword(s):  
Temporal Logic ◽  
Abstract Data Types ◽  
Data Types ◽  
First Order ◽  
Abstract Data ◽  
Order Completeness ◽  
General Method

In this paper we deal with a well known problem of specifying abstract data types. Up to now there were many approaches to this problem. We follow the axiomatic style of specifying abstract data types (cf. e.g. [1, 2, 6, 8, 9, 10]). We apply, however, the first-order temporal logic. We introduce a notion of first-order completeness of axiomatic specifications and show a general method for obtaining first-order complete axiomatizations. Some examples illustrate the method.

Second Order Averaging Study of an Autoparametric System

1993 ◽  
Author(s):  
Bappaditya Banerjee ◽  
Anil K. Bajaj ◽  
Patricia Davies
Keyword(s):  
Dynamical Behavior ◽  
Period Doubling ◽  
Nonlinear Effects ◽  
Single Mode ◽  
Pitchfork Bifurcation ◽  
Second Order ◽  
System Response ◽  
Response Curves ◽  
Vibratory System ◽  
First Order

Abstract The autoparametric vibratory system consisting of a primary spring-mass-dashpot system coupled with a damped simple pendulum serves as an useful example of two degree-of-freedom nonlinear systems that exhibit complex dynamic behavior. It exhibits 1:2 internal resonance and amplitude modulated chaos under harmonic forcing conditions. First-order averaging studies of this system using AUTO and KAOS have yielded useful information about the amplitude dynamics of this system. Response curves of the system indicate saturation and the pitchfork bifurcation sets are found to be symmetric. The period-doubling route to chaotic solutions is observed. However questions about the range of the small parameter ε (a function of the forcing amplitude) for which the solutions are valid cannot be answered by a first-order study. Some observed dynamical behavior, like saturation, may not persist when higher-order nonlinear effects are taken into account. Second-order averaging of the system, using Mathematica (Maeder, 1991; Wolfram, 1991) is undertaken to address these questions. Loss of saturation is observed in the steady-state amplitude responses. The breaking of symmetry in the various bifurcation sets becomes apparent as a consequence of ε appearing in the averaged equations. The dynamics of the system is found to be very sensitive to damping, with extremely complicated behavior arising for low values of damping. For large ε second-order averaging predicts additional Pitchfork and Hopf bifurcation points in the single-mode response.

scholarly journals Probabilistic Inference for Predicate Constraint Satisfaction

2020 ◽  
Vol 34 (02) ◽  
pp. 1644-1651
Author(s):  
Yuki Satake ◽  
Hiroshi Unno ◽  
Hinata Yanagi
Keyword(s):  
Graphical Models ◽  
Constraint Satisfaction ◽  
Linear Time ◽  
Predicate Logic ◽  
Probabilistic Inference ◽  
Search Space ◽  
Constraint Satisfaction Problems ◽  
Safety Properties ◽  
First Order ◽  
Guided Inductive

In this paper, we present a novel constraint solving method for a class of predicate Constraint Satisfaction Problems (pCSP) where each constraint is represented by an arbitrary clause of first-order predicate logic over predicate variables. The class of pCSP properly subsumes the well-studied class of Constrained Horn Clauses (CHCs) where each constraint is restricted to a Horn clause. The class of CHCs has been widely applied to verification of linear-time safety properties of programs in different paradigms. In this paper, we show that pCSP further widens the applicability to verification of branching-time safety properties of programs that exhibit finitely-branching non-determinism. Solving pCSP (and CHCs) however is challenging because the search space of solutions is often very large (or unbounded), high-dimensional, and non-smooth. To address these challenges, our method naturally combines techniques studied separately in different literatures: counterexample guided inductive synthesis (CEGIS) and probabilistic inference in graphical models. We have implemented the presented method and obtained promising results on existing benchmarks as well as new ones that are beyond the scope of existing CHC solvers.

scholarly journals Dynamic Linear Time Temporal Logic

1997 ◽  
Vol 4 (8) ◽  
Author(s):  
Jesper G. Henriksen ◽  
P. S. Thiagarajan
Keyword(s):  
Temporal Logic ◽  
Linear Time ◽  
Dynamic Logic ◽  
Order Theory ◽  
Simple Extension ◽  
Propositional Dynamic Logic ◽  
First Order ◽  
Time Semantics ◽  
Linear Time Temporal Logic ◽  
Obvious Manner

A simple extension of the propositional temporal logic of linear<br />time is proposed. The extension consists of strengthening the until<br />operator by indexing it with the regular programs of propositional<br />dynamic logic (PDL). It is shown that DLTL, the resulting logic, is<br />expressively equivalent to S1S, the monadic second-order theory<br />of omega-sequences. In fact a sublogic of DLTL which corresponds<br />to propositional dynamic logic with a linear time semantics is<br />already as expressive as S1S. We pin down in an obvious manner<br />the sublogic of DLTL which correponds to the first order fragment<br />of S1S. We show that DLTL has an exponential time decision<br />procedure. We also obtain an axiomatization of DLTL. Finally,<br />we point to some natural extensions of the approach presented<br />here for bringing together propositional dynamic and temporal<br />logics in a linear time setting.

New family of parasupercoherent states: entanglement, uncertainties, and statistical properties

2020 ◽  
Vol 98 (10) ◽  
pp. 953-958
Author(s):  
Amin Motamedinasab ◽  
Azam Anbaraki ◽  
Davood Afshar ◽  
Mojtaba Jafarpour
Keyword(s):  
Harmonic Oscillator ◽  
Arbitrary Order ◽  
Annihilation Operator ◽  
The Other ◽  
Mandel Parameter ◽  
First Order ◽  
New Family ◽  
Wide Range ◽  
New States ◽  
Minimum Uncertainty

The general parasupersymmetric annihilation operator of arbitrary order does not reduce to the Kornbluth–Zypman general supersymmetric annihilation operator for the first order. In this paper, we introduce an annihilation operator for a parasupersymmetric harmonic oscillator that in the first order matches with the Kornblouth–Zypman results. Then, using the latter operator, we obtain the parasupercoherent states and calculate their entanglement, uncertainties, and statistics. We observe that these states are entangled for any arbitrary order of parasupersymmetry and their entanglement goes to zero for the large values of the coherency parameter. In addition, we find that the maximum of the entanglement of parasupercoherent states is a decreasing function of the parasupersymmetry order. Moreover, these states are minimum uncertainty states for large and also small values of the coherency parameter. Furthermore, these states show squeezing in one of the quadrature operators for a wide range of the coherency parameter, while no squeezing in the other quadrature operator is observed at all. In addition, using the Mandel parameter, we find that the statistics of these new states are subPoissonian for small values of the coherency parameter.

The Kinetic Basis of a General Method for the Investigation of Active Site Content of Enzymes and Catalytic Antibodies: First-Order Behaviour under Single-turnover and Cycling Conditions

2000 ◽  
Vol 204 (2) ◽  
pp. 239-256 ◽  
Author(s):  
CHRISTOPHER M. TOPHAM ◽  
SHERAZ GUL ◽  
MARINA RESMINI ◽  
SANJIV SONKARIA ◽  
GERRARD GALLACHER ◽  
...  
Keyword(s):  
Active Site ◽  
Catalytic Antibodies ◽  
First Order ◽  
Single Turnover ◽  
General Method

scholarly journals Characteristic Model-Based Adaptive Control for a Class of MIMO Uncertain Nonaffine Nonlinear Systems Governed by Differential Equations

Complexity ◽  
2020 ◽  
Vol 2020 ◽  
pp. 1-13
Author(s):  
Duo-Qing Sun ◽  
Xiao-Ying Ma
Keyword(s):  
Nonlinear Systems ◽  
Differential Equations ◽  
Linear Time ◽  
Uncertain System ◽  
Adaptive Controller ◽  
Characteristic Model ◽  
First Order ◽  
Position Tracking Control ◽  
The Stability ◽  
Nonaffine Nonlinear Systems

This paper addresses the difficulty of designing a controller for a class of multi-input multi-output uncertain nonaffine nonlinear systems governed by differential equations. We first derive the first-order characteristic model composed of a linear time-varying uncertain system for such nonaffine systems and then design an adaptive controller based on this first-order characteristic model for position tracking control. The designed controller exhibits a simple structure that can effectively avoid the controller singularity problem. The stability of the closed-loop system is analyzed using the Lyapunov method. The effectiveness of our proposed method is validated with a numerical example.

Sign in / Sign up

Export Citation Format

Share Document