We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EFSM). To specify coverage criteria we use observer automata with parameters, which monitor and accept traces that cover a given test criterion of an EFSM. The flexibility of the technique is demonstrated by specifying a...

The problem of estimating unmeasured state and disturbance variables for nonlinear process control applications is considered. We assume that the process model is affine with respect to the unmeasured disturbances and any unmeasured state variables. The disturbances are considered as additional state variables, and a nonlinear observer is designed for the augmented state-space system. The obser...

A novel approach to the problem of robust state estimation in the presence of model uncertainty as well as plant disturbance and sensor noise is considered. Two new observer structures are discussed and shown to have certain advantages over the classical state space observer when studying robustness issues. The results are used to design an observer for a real industrial boiler system.

In this paper we consider the distributed estimation problem for continuous-time linear time-invariant (LTI) systems. A single linear plant is observed by a network of local observers. Each local observer in the network has access to only part of the output of the observed system, but can also receive information on the state estimates of its neigbours. Each local observer should in this way ge...

In this study, an observer-based tracking controller is proposed and evaluatedexperimentally to solve the trajectory tracking problem of robotic manipulators with the torque saturationin the presence of model uncertainties and external disturbances. In comparison with the state-of-the-artobserver-based controllers in the literature, this paper introduces a saturated observer-based controllerbas...