Perturbation Methods and Formal Modeling for Dynamic Systems

Perturbation Methods and Formal Modeling for Dynamic Systems

Saved in:

Bibliographic Details
Main Authors:	Saeed Islam, Sher Afzal Khan, Gul Zaman, Il Hyo Jung
Format:	Article
Language:	English
Published:	Wiley 2015-01-01
Series:	Abstract and Applied Analysis
Online Access:	http://dx.doi.org/10.1155/2015/384710
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dynamical Analysis of Approximate Solutions of HIV-1 Model with an Arbitrary Order
by: Asma, et al.
Published: (2019-01-01)

Prevention of Leptospirosis Infected Vector and Human Population by Multiple Control Variables
by: Muhammad Altaf Khan, et al.
Published: (2014-01-01)

Iris Recognition Using Image Moments and k-Means Algorithm
by: Yaser Daanial Khan, et al.
Published: (2014-01-01)

Formalization of Methods in Criminalistics
by: L. P. Grynko
Published: (2019-12-01)

Component-Based Formal Modeling of PLC Systems
by: Rui Wang, et al.
Published: (2013-01-01)

Exploring Immune Responses through Dynamic Modeling of Cell-Immune Interactions in Viral Infection and Vaccination
by: Kwang Su Kim, et al.
Published: (2024-01-01)

Multiple Control Strategies for Prevention of Avian Influenza Pandemic
by: Roman Ullah, et al.
Published: (2014-01-01)

Modal Perturbation Method for the Dynamic Characteristics of Timoshenko Beams
by: Menglin Lou, et al.
Published: (2005-01-01)

Towards Sophisticated Air Traffic Control System Using Formal Methods
by: Abdessamad Jarrar, et al.
Published: (2018-01-01)

Stochastic dynamics of SIRS epidemic models withrandom perturbation
by: Qingshan Yang, et al.
Published: (2014-02-01)

Perturbation Methods for the Eigencharacteristics of Symmetric and Asymmetric Systems
by: Philip D. Cha, et al.
Published: (2018-01-01)

FORMALIZATION OF THE PROBLEM OF SELECTION OF AUTOMATED SYSTEM
by: A. V. Petukhov
Published: (2018-06-01)

Formalized Methods of Managing Enterprise Political Risk
by: G. O. Reshetnikov
Published: (2011-08-01)

Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
by: Lisong Wang, et al.
Published: (2018-01-01)

Relational dynamics and Page-Wootters formalism in group field theory
by: Andrea Calcinari, et al.
Published: (2025-01-01)

On the Formal Integrability Problem for Planar Differential Systems
by: Antonio Algaba, et al.
Published: (2013-01-01)

Trench's Perturbation Theorem for Dynamic Equations
by: Martin Bohner, et al.
Published: (2007-01-01)

On the use of an high order perturbation method for numerical time integration in structural dynamics.
by: Claude, Bertille, et al.
Published: (2023-06-01)

Methodologies and formalisms of resonance energy transfer in biophysics. Application to membrane model systems
by: Luís M. S. Loura, et al.
Published: (2003-01-01)

Threshold dynamics of stochastic SIRSW infectious disease model with multiparameter perturbation
by: Zhengwen Yin, et al.
Published: (2024-11-01)

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
by: Eduardo Valente, et al.
Published: (2018-01-01)

Role of formal ontologies in modern information system engineering
by: Donatas Čiukšys, et al.
Published: (2003-12-01)

Formal Lagrangian Operad
by: Alberto S. Cattaneo, et al.
Published: (2010-01-01)

Formalization of Hybrid Systems Models for Port Terminal Management With Considering of Key Performance Indicators
by: Liudmyla L. Nikolaieva, et al.
Published: (2025-01-01)

Stochastic dynamics and survival analysis of a cell population model with random perturbations
by: Cristina Anton, et al.
Published: (2018-09-01)

The Multistage Homotopy Perturbation Method for Solving Chaotic and Hyperchaotic Lü System
by: M. S. H. Chowdhury, et al.
Published: (2015-01-01)

Homotopy Perturbation Method with an Auxiliary Term
by: Ji-Huan He
Published: (2012-01-01)

Studying the Bound State of the BK¯ System in the Bethe-Salpeter Formalism
by: Zhen-Yang Wang, et al.
Published: (2019-01-01)

multiPDEVS: A Parallel Multicomponent System Specification Formalism
by: Damien Foures, et al.
Published: (2018-01-01)

The use of formal languages for business rules realisation in information systems
by: Olegas Vasilecas, et al.
Published: (2005-12-01)

Dynamics of a General Stochastic Nonautonomous Lotka-Volterra Model with Delays and Impulsive Perturbations
by: Qing Wang, et al.
Published: (2015-01-01)

Dynamics Analysis of a Stochastic Hybrid Logistic Model with Delay and Two-Pulse Perturbations
by: Haokun Qi, et al.
Published: (2020-01-01)

The types of formality in legal transactions
by: E. Benelfakih
Published: (2024-11-01)

Modeling Dark Sector in Horndeski Gravity at First-Order Formalism
by: F. F. Santos, et al.
Published: (2019-01-01)

AI-assisted discovery of quantitative and formal models in social science
by: Julia Balla, et al.
Published: (2025-01-01)

Fault Estimation Method for Nonlinear Systems With Perturbations Based on Augmented Fault Observer
by: Yanxiu Sun, et al.
Published: (2025-01-01)

Application of the Homotopy Perturbation Method to Solve Nonlinear Equations Arising in Oscillatory Systems
by: Mohammadjavad Mahmoodabadi, et al.
Published: (2025-01-01)

Z Specification of Gate and Apron Control Management at Airport
by: Nazir Ahmad Zafar, et al.
Published: (2014-01-01)

Formalization of Linear Space Theory in the Higher-Order Logic Proving System
by: Jie Zhang, et al.
Published: (2013-01-01)

A Case Study on Formal Analysis of an Automated Guided Vehicle System
by: Jie Zhang, et al.
Published: (2014-01-01)