scholarly journals Accelerating Numerical Simulation of Continuous-Time Boolean Satisfiability Solver Using Discrete Gradient

2021 ◽  
pp. 105908
Author(s):  
Hiroshi Yamashita ◽  
Kazuyuki Aihara ◽  
Hideyuki Suzuki
Keyword(s):  
Numerical Simulation ◽  
Continuous Time ◽  
Boolean Satisfiability ◽  
Discrete Gradient ◽  
Satisfiability Solver

scholarly journals Preview Tracking Control for Continuous-Time Singular Interconnected Systems

2019 ◽  
Vol 2019 ◽  
pp. 1-13
Author(s):  
Hao Xie ◽  
Fucheng Liao ◽  
Jiamei Deng
Keyword(s):  
Numerical Simulation ◽  
Continuous Time ◽  
Tracking Control ◽  
Singular Systems ◽  
Tracking Error ◽  
Original System ◽  
Interconnected Systems ◽  
Interconnected System ◽  
Tracking Controller ◽  
Error System

This paper proposes and investigates a problem of preview tracking control for a class of continuous-time singular interconnected systems. Firstly, the related items are deleted to obtain several isolated subsystems with low dimensions. An error system is constructed for each isolated subsystem so that the tracking error is included in the state vector of the error system; then, the tracking problem is transformed into a regulation problem. Secondly, the preview tracking controller is designed for each error system and obtained controllers are combined as the controller of the error system of the singular interconnected system. Thirdly, the Lyapunov function method is utilized to determine the constraints of the related terms so that the closed-loop system of the error system of the singular interconnected system is stable under the action of the controller obtained. Finally, the preview tracking controller of the singular interconnected system is obtained from the relationship between the error system and the original system. A numerical simulation algorithm for continuous-time singular systems is also proposed in this paper. The numerical simulation illustrates the effectiveness of the theoretical results.

Constructing Chaotic Systems from a Class of Switching Systems

2018 ◽  
Vol 28 (02) ◽  
pp. 1850032 ◽  
Author(s):  
Yuping Zhang ◽  
Xinzhi Liu ◽  
Huaiyue Zhang ◽  
Chunhua Jia
Keyword(s):  
Numerical Simulation ◽  
Theoretical Analysis ◽  
Continuous Time ◽  
Chaotic Systems ◽  
Switching Systems ◽  
Heteroclinic Loop ◽  
Time Switching ◽  
Loop Design ◽  
Implementation Scheme ◽  
Shilnikov Criterion

This paper aims to develop an approach for constructing chaotic systems from a class of linear continuous-time switching systems. First, the Shilnikov criterion is analyzed and extended to the switching systems. Then some kinds of “swing planes” are provided via a heteroclinic loop design, which act as switching planes to chaotify the systems. Furthermore, a numerical example is presented to validate the proposed principle and implementation scheme. The theoretical analysis and numerical simulation have demonstrated the feasibility and effectiveness of the developed techniques.

scholarly journals DYNAMICAL ANALYSIS OF A NOVEL DISCRETE FRACTIONAL SITRS MODEL FOR COVID-19

Fractals ◽  
2021 ◽  
pp. 2140035
Author(s):  
AMR ELSONBATY ◽  
ZULQURNAIN SABIR ◽  
RAJAGOPALAN RAMASWAMY ◽  
WALEED ADEL
Keyword(s):  
Experimental Data ◽  
Numerical Simulation ◽  
Stability Analysis ◽  
Continuous Time ◽  
Present Model ◽  
Equilibrium Points ◽  
Disease Spread ◽  
Dynamical Analysis ◽  
Infection Rates ◽  
Proposed Model

In this paper, a discrete fractional Susceptible-Infected-Treatment-Recovered-Susceptible (SITRS) model for simulating the coronavirus (COVID-19) pandemic is presented. The model is a modification to a recent continuous-time SITR model by taking into account the possibility that people who have been infected before can lose their temporary immunity and get reinfected. Moreover, a modification is suggested in the present model to correct the improper assumption that the infection rates of both normal susceptible and old aged/seriously diseased people are equal. This modification complies with experimental data. The equilibrium points for the proposed model are found and results of thorough stability analysis are discussed. A full numerical simulation is carried out and gives a better analysis of the disease spread, influences of model’s parameters, and how to control the virus. Comparisons with clinical data are also provided.

Sign in / Sign up

Export Citation Format

Share Document