IEEE

Equivalence of Linear Time-Delay Systems

Abstract: The question of characterizing those time-delay systems which are equivalent (up to bicausal transformations) to a delay-free system is a natural and fundamental problem which has been ...
IEEE

Equivalent Stability Notions, Lyapunov Inequality, and Its Application in Discrete-Time Linear Systems With Stochastic Dynamics Determined by an i.i.d. Process

Abstract: This paper is concerned with stability analysis and synthesis for discrete-time linear systems with stochastic dynamics. Equivalence is first proved for three stability notions under some ...
SciELO

Evaluation of the equivalent slip modulus of nailed connections for application in linear analysis of plywood timber beams

I School of Civil Engineering, Architecture and Urbanism, State University of Campinas UNICAMP, CP 6021, 13083 852 Campinas SP, Brazil II School of Civil Engineering, Architecture and Urbanism, State ...
INSPIRE

Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress.

In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic μMALL : linear logic extended with least and ...