This paper seeks to analyse stability and dynamics of back EMF MRAS based approach used in sensorless control of induction motors. Stability analysis is investigated to show unstable zones and it is explored using a state representation. A new rotor speed estimator is designed to achieve the stability in the various operating modes except for the inobservability line. c ⃝ 2015 International Ass...

Article history: Available online xxxx We present a novel temporal logic for expressing properties of behaviour in context. The logic is applied to models of continuous processes, specifically using the continuous π-calculus as a modelling language for biochemical systems. The logic allows the expression of the temporal behaviour of a system when placed in the context of another system. Here we...

It is well known that the use of a modular approach for modeling has many advantages: it allows the modeler to consider different parts of the model independently of one another. A modular approach to analysis is also attractive: it often dramatically decreases the complexity of the analysis task. To create Petri net models of large systems, four bottom-up techniques, consisting of sharing oper...

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...

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 ...