Persistent memory (PM) has emerged as a promising technology that enables data structure algorithms to preserve their consistent state after recovering from system failures. Detectable data structures have been proposed to resolve the response of the ...

This work proposes a detectability condition for linear time-varying systems based on the exponential dichotomy spectrum. The condition guarantees the existence of an observer, whose gain is determined only by the unstable modes of the system. This allows ...

The recent commercial release of persistent main memory by Intel has sparked intense interest in recoverable concurrent objects. Specifying and implementing such objects is technically challenging on current generation hardware precisely because the top ...

Incremental input/output-to-state stability (i-IOSS) is a popular characterization of detectability for nonlinear systems. For instance, it is known that any system that admits a robustly stable full-order observer (i.e., a system evolving in the same state ...

The emergence of systems with non-volatile main memory (NVM) increases the interest in the design of recoverable concurrent objects that are robust to crash-failures, since their operations are able to recover from such failures by using state retained ...

We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation ...

We analyze the connection between turnpike behaviors and strict dissipativity properties for discrete time finite dimensional linear quadratic optimal control problems. We first use strict dissipativity as a sufficient condition for the turnpike property. ...

This paper is concerned with secret hiding in multiple image bit planes for increased security without undermining capacity. A secure steganographic algorithm based on bit planes index manipulation is proposed. The index manipulation is confined to the ...

Systems dealing with personal information are legally required to satisfy the principle of data minimisation. Privacy-enhancing protocols use cryptographic primitives to minimise the amount of personal information exposed by communication. However, the ...

Quality control for digital mammography should be objective, reproducible and applicable across different manufacturers' systems and technologies. Ideally it should be possible to set clearly defined thresholds of acceptable behaviour that can be ...

In order to monitor for traffic traversal, sensors can be deployed to perform collaborative target detection. Such a sensor network achieves a certain level of detection performance with an associated cost of deployment. This paper addresses two points ...

The theory of infinite-dimensional systems introduced and developed by Salamon [Trans. Amer. Math. Soc., 300 (1987), pp. 383-431] and Weiss [SIAM J. Control Optim., 27 (1989), pp. 527-545] has been recently applied for various systems; see, e.g., the ...

This paper deals with detectability for the class of discrete-time Markov jump linear systems (MJLS) with the underlying Markov chain having countably infinite state space. The formulation here relates the convergence of the output with that of the ...

We present new characterizations of input-output-to-state stability. This is a notion of detectability formulated in the ISS (input-to-state stability) framework. Equivalent properties are presented in terms of asymptotic estimates of the state ...

This work explores Lyapunov characterizations of the input-output-to-state stability (IOSS) property for nonlinear systems. The notion of IOSS is a natural generalization of the standard zero-detectability property used in the linear case. The main ...

An infinite-dimensional linear system described by $\dot{x}(t)=Ax(t)+Bu(t)$ $(t\geq 0)$ is said to be optimizable if for every initial state x(0), an input $u\in L^2$ can be found such that $x\in L^2$. Here, A is the generator of a strongly continuous ...

We study the basic notions related to the stabilization of an infinite-dimensional well-posed liner system in the sense of Salamon and Weiss. We first introduce an appropriate stabilizability and detectability notion and show that if a system is ...

This research features the rapid recognition of three-dimensional objects, focusing on efficient indexing. A major concern in practical vision systems is how to retrieve the best matched models without exploring all possible object matches. We have ...

This paper describes a method for recognizing partially occluded objects for bin-picking tasks using eigenspace analysis, referred to as the "eigen window" method, that stores multiple partial appearances of an object in an eigenspace. Such partial ...