Robust filtering for discrete-time Markovian jump delay systems [PDF]
, 2004 Copyright [2004] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services.
Liu, X, Wang, Z, Lam, J
core +7 more sources
Generalised verification of the observer property in discrete event systems [PDF]
, 2012 The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N. +4 more
core +1 more source
Construction of discrete-time model for port-controlled Hamiltonian systems with applications [PDF]
, 2006 The issues of constructing a discrete-time model for Hamiltonian systems are in general different from those for dissipative systems. We propose an algorithm for constructing an approximate discrete-time model, which guarantees Hamiltonian conservation ...
Astolfi, A., +4 more
core +1 more source
Time-dependent analysis of virtual waiting time behaviour in discrete time queues [PDF]
, 2005 Discrete time queueing models have been shown previously to be of practical use for modelling the approximate time-dependent behaviour of queue length in systems of the form M(t)/G/c.
Wall, A, Worthington, D J
core +4 more sources
Discrete-time synchronization of chaotic systems for secure communication [PDF]
, 2012 This paper deals with the problem of designing an exact nonlinear reconstructor for discrete-time chaotic encrypted messages. More precisely, we investigate the problem of designing a discrete-time dead-beat observer for nonlinear systems with unknown ...
Belmouhoub, Inaâm +7 more
core +1 more source
Input-to-state stability for discrete-time time-varying systems with applications to robust stabilization of systems in power form [PDF]
, 2005 Input-to-state stability (ISS) of a parameterized family of discrete-time time-varying nonlinear systems is investigated. A converse Lyapunov theorem for such systems is developed.
Laila, D. S. +5 more
core +1 more source
Optimal Finite-time Control of Positive Linear Discrete-time Systems [PDF]
Journal of Electrical and Computer Engineering Innovations, 2016 This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable.
Gholam Reza Rezaei +2 more
doaj +1 more source
Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]
, 2012 This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +1 more source
Controlling hopf bifurcations: Discrete-time systems
Discrete Dynamics in Nature and Society, 2000 Bifurcation control has attracted increasing attention in recent years. A simple and unified state-feedback methodology is developed in this paper for Hopf bifurcation control for discrete-time systems. The control task can be either shifting an existing
Guanrong Chen +3 more
doaj +1 more source
Towards ℓ2-stability of discrete-time reset control systems via dissipativity theory [PDF]
, 2013 This paper proposes conditions on input-output stability of discrete-time reset systems by using some key dissipativity properties. In the continuous-time setting, dissipativity of the base linear system is preserved under reset actions if the storage ...
Carrasco, Joaquín; id_orcid +1 more
core +1 more source