Stability analysis of nonlinear digital systems under hardware overflow constraint for dealing with finite word-length effects of digital technologies

Muhammad Umair Amjad, Muhammad Rehan, Muhammad Tufail, Choon Ki Ahn, Haroon Ur Rashid

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

The purpose of this paper is to examine stability and originate stability criteria for nonlinear digital systems under the influence of saturation overflow, both in the absence and presence of external interference. The developed approaches can be employed to analyse overflow oscillation-free implementation of a nonlinear digital system under saturation overflow nonlinearity, caused by the finite word-length limitation of a digital hardware, such as computer processor or micro-controller. Asymptotic stability is examined in the absence of disturbance, whereas in the presence of external interference, the form of stability ensured is uniformly ultimately bounded stability, in which the states trajectories converge to an ellipsoidal region around the origin. In most of the studies reported so far, the authors have performed the overflow stability analysis of linear systems but very little (if any) work has been reported on the overflow oscillation elimination (for nonlinear systems). In the present work, sector conditions derived from saturation constraint along with Lipschitz condition are used with a suitable Lyapunov function for the stability analysis of nonlinear digital systems under overflow. The validity and efficacy of these criteria are tested by using examples from real nonlinear physical systems, including Moon chaotic system's observer and recurrent neural network.

Original languageEnglish
Pages (from-to)139-148
Number of pages10
JournalSignal Processing
Volume140
DOIs
Publication statusPublished - 2017 Nov 1

Fingerprint

Hardware
Recurrent neural networks
Chaotic systems
Moon
Stability criteria
Lyapunov functions
Asymptotic stability
Computer hardware
Linear systems
Nonlinear systems
Trajectories
Controllers

Keywords

  • Digital hardware overflow
  • Finite word-length effects
  • Linear matrix inequality
  • Nonlinear digital systems
  • Stability analysis

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Software
  • Signal Processing
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering

Cite this

Stability analysis of nonlinear digital systems under hardware overflow constraint for dealing with finite word-length effects of digital technologies. / Umair Amjad, Muhammad; Rehan, Muhammad; Tufail, Muhammad; Ahn, Choon Ki; Ur Rashid, Haroon.

In: Signal Processing, Vol. 140, 01.11.2017, p. 139-148.

Research output: Contribution to journalArticle

@article{0d6c543afa80404f8492c45a6647fe2c,
title = "Stability analysis of nonlinear digital systems under hardware overflow constraint for dealing with finite word-length effects of digital technologies",
abstract = "The purpose of this paper is to examine stability and originate stability criteria for nonlinear digital systems under the influence of saturation overflow, both in the absence and presence of external interference. The developed approaches can be employed to analyse overflow oscillation-free implementation of a nonlinear digital system under saturation overflow nonlinearity, caused by the finite word-length limitation of a digital hardware, such as computer processor or micro-controller. Asymptotic stability is examined in the absence of disturbance, whereas in the presence of external interference, the form of stability ensured is uniformly ultimately bounded stability, in which the states trajectories converge to an ellipsoidal region around the origin. In most of the studies reported so far, the authors have performed the overflow stability analysis of linear systems but very little (if any) work has been reported on the overflow oscillation elimination (for nonlinear systems). In the present work, sector conditions derived from saturation constraint along with Lipschitz condition are used with a suitable Lyapunov function for the stability analysis of nonlinear digital systems under overflow. The validity and efficacy of these criteria are tested by using examples from real nonlinear physical systems, including Moon chaotic system's observer and recurrent neural network.",
keywords = "Digital hardware overflow, Finite word-length effects, Linear matrix inequality, Nonlinear digital systems, Stability analysis",
author = "{Umair Amjad}, Muhammad and Muhammad Rehan and Muhammad Tufail and Ahn, {Choon Ki} and {Ur Rashid}, Haroon",
year = "2017",
month = "11",
day = "1",
doi = "10.1016/j.sigpro.2017.05.004",
language = "English",
volume = "140",
pages = "139--148",
journal = "Signal Processing",
issn = "0165-1684",
publisher = "Elsevier",

}

TY - JOUR

T1 - Stability analysis of nonlinear digital systems under hardware overflow constraint for dealing with finite word-length effects of digital technologies

AU - Umair Amjad, Muhammad

AU - Rehan, Muhammad

AU - Tufail, Muhammad

AU - Ahn, Choon Ki

AU - Ur Rashid, Haroon

PY - 2017/11/1

Y1 - 2017/11/1

N2 - The purpose of this paper is to examine stability and originate stability criteria for nonlinear digital systems under the influence of saturation overflow, both in the absence and presence of external interference. The developed approaches can be employed to analyse overflow oscillation-free implementation of a nonlinear digital system under saturation overflow nonlinearity, caused by the finite word-length limitation of a digital hardware, such as computer processor or micro-controller. Asymptotic stability is examined in the absence of disturbance, whereas in the presence of external interference, the form of stability ensured is uniformly ultimately bounded stability, in which the states trajectories converge to an ellipsoidal region around the origin. In most of the studies reported so far, the authors have performed the overflow stability analysis of linear systems but very little (if any) work has been reported on the overflow oscillation elimination (for nonlinear systems). In the present work, sector conditions derived from saturation constraint along with Lipschitz condition are used with a suitable Lyapunov function for the stability analysis of nonlinear digital systems under overflow. The validity and efficacy of these criteria are tested by using examples from real nonlinear physical systems, including Moon chaotic system's observer and recurrent neural network.

AB - The purpose of this paper is to examine stability and originate stability criteria for nonlinear digital systems under the influence of saturation overflow, both in the absence and presence of external interference. The developed approaches can be employed to analyse overflow oscillation-free implementation of a nonlinear digital system under saturation overflow nonlinearity, caused by the finite word-length limitation of a digital hardware, such as computer processor or micro-controller. Asymptotic stability is examined in the absence of disturbance, whereas in the presence of external interference, the form of stability ensured is uniformly ultimately bounded stability, in which the states trajectories converge to an ellipsoidal region around the origin. In most of the studies reported so far, the authors have performed the overflow stability analysis of linear systems but very little (if any) work has been reported on the overflow oscillation elimination (for nonlinear systems). In the present work, sector conditions derived from saturation constraint along with Lipschitz condition are used with a suitable Lyapunov function for the stability analysis of nonlinear digital systems under overflow. The validity and efficacy of these criteria are tested by using examples from real nonlinear physical systems, including Moon chaotic system's observer and recurrent neural network.

KW - Digital hardware overflow

KW - Finite word-length effects

KW - Linear matrix inequality

KW - Nonlinear digital systems

KW - Stability analysis

UR - http://www.scopus.com/inward/record.url?scp=85019916994&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85019916994&partnerID=8YFLogxK

U2 - 10.1016/j.sigpro.2017.05.004

DO - 10.1016/j.sigpro.2017.05.004

M3 - Article

AN - SCOPUS:85019916994

VL - 140

SP - 139

EP - 148

JO - Signal Processing

JF - Signal Processing

SN - 0165-1684

ER -