This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of the model requires the knowledge of the desired steady state design data, including liquid holdups and composition profiles. The application of the developed linear process model in composition estimation and control of...

In this paper, we describe our application of SPIN [1] to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. We used the SPIN model to check certain performance properties of the system; in particular, we were able to verify that the algorithm achieves synchronization within a time bound, even in the presence of certain typ...

SOLUTION OF LARGE-SCALE SPACE-TIME ESTIMATION PROBLEMS Terrence T. Ho, Paul W. Fieguth, Alan S. Willsky Laboratory for Information and Decision Systems Massachusetts Institute of Technology, Cambridge, MA 02139 ABSTRACT The successful application of a recently developed treebased multiscale estimation framework [1] to large-scale static estimation problems has proven the statistical exibility a...

The Gaussian kernel has long been used in the classical multiscale analysis. The purpose of the paper is to propose the uniform B-spline as an alternative for the visual modeling. A general framework for various scale-space representations is formulated using theB-spline approach. In particular, the evolution of the wavelet models can be well understood from such an approach. Most of the wavele...

We consider how the tedious chore of folding clothes can be performed by a robot. At the core of our approach is the definition of a cloth model that allows us to reason about the geometry rather than the physics of the cloth in significant parts of the state space. We present an algorithm that, given the geometry of the cloth, computes how many grippers are needed and what the motion of these ...

This paper presents a performance and dependability study of a software fault-tolerant memory mechanism, namely the Distributed Memory (DM), which has been developed within a R&D European project. Relying on the UML specification (produced within the project), Stochastic Well-Formed Nets models of the DM are developed and analysed. Combinatorial methods are used in conjunction with state space ...

A key planning activity within a Virtual Enterprise (VE) is to establish agreed inter-organizational processes. This activity, or meta-process, has to allow for gradual evolution of the VE processes and for a multi layer development from informal business agreements to precise workflows. To support this meta-process, a collaborative electronic whiteboard supported by a tuplespace is proposed. T...

 In this paper by use of mathematical modeling of an observer [14,15] the notion of relative information functional for relative dynamical systemson compact metric spaces is presented. We extract the information function ofan ergodic dynamical system (X,T) from the relative information of T fromthe view point of observer χX, where X denotes the base space of the system.We also generalize the in...