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
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
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
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
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
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
On feedback stabilization of nonlinear discrete-time state-delayed systems [PDF]
, 2009 In this paper, we consider the problem of feedback stabilization of discrete-time systems with delays. The systems under consideration are nonlinear and nonaffine.
Woihida Aggoune +5 more
core +1 more source
Discrete exterior geometry approach to structure-preserving discretization of distributed-parameter port-Hamiltonian systems [PDF]
, 2011 This paper addresses the issue of structure-preserving discretization of open distributed-parameter systems with Hamiltonian dynamics. Employing the formalism of discrete exterior calculus, we introduce a simplicial Dirac structure as a discrete analogue
Seslija, Marko, +11 more
core +3 more sources