The Ramadge-Wonham framework for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models. It is shown that the RW concept of controllability an...
详细信息
The Ramadge-Wonham framework for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models. It is shown that the RW concept of controllability and the existence of maximally permissive supervisory controls can be suitably generalized. The enhanced setting admits subsystem composition and the concept of forcible event as an event that preempts the tick of a global dock. An example of a simple manufacturing cell illustrates how the new framework can be used to solve synthesis problems which may include logic-based, temporal and quantitative optimality specifications.
The problem of design and evaluation of binary hypothesis tests based on a set of available observations is considered. A so-called structured adaptive network (SAN) configuration for the modeling and implementation o...
详细信息
The problem of design and evaluation of binary hypothesis tests based on a set of available observations is considered. A so-called structured adaptive network (SAN) configuration for the modeling and implementation of a wide class of such tests is introduced. A general framework for the analysis and performance evaluation of a SAN is developed.
We consider the problem of multisensor detection in the presence of misalignment. We assume that the region that is covered by the sensors contains subregions that constitute blind spots in the sensors' fields of ...
详细信息
We consider the problem of multisensor detection in the presence of misalignment. We assume that the region that is covered by the sensors contains subregions that constitute blind spots in the sensors' fields of view. For analytical simplicity and numerical convenience, we consider the two-sensor case only, and describe the misalignment mathematically using a model that we have developed earlier. Preliminary assumptions involve a known geometry of the regions covered by each sensor and symmetric coverage. We formulate and analyze the distributed decision problem in the presence of misalignment when the sensors transmit only local decisions to the fusion. Different combining roles are considered at the fusion and compared with a centralized fusion scheme. Numerical results in the Gaussian channel indicate that for two sensors and under the imposed assumptions, only the OR combining rule at the fusion results in performance that degrades gracefully as the coverage factor decreases. The performance of the fusion under the OR rule is comparable-although inferior-to the performance of the centralized scheme. However, the AND combining rule yields very poor performance that degrades rapidly as the coverage factor varies.
Grey box modeling is a widely used term, which presently reflects that both a priori and experimental knowledge is being incorporated into the model building process. A brief investigation into various uses of grey bo...
详细信息
Grey box modeling is a widely used term, which presently reflects that both a priori and experimental knowledge is being incorporated into the model building process. A brief investigation into various uses of grey box modeling approaches reveals that they mainly differ with respect to the required model accuracy. The goal of the model application also has to be considered in the model building, since it constrains the necessary accuracy required by the model. In this paper these two viewpoints are combined thus leading to a proposed new definition of grey box modeling.
In this paper, the asymptotic tracking problem is considered for a class of multivariable nonlinear systems by using the principles of singular perturbation theory. Sufficient conditions together with a high-gain PI c...
详细信息
In this paper, the asymptotic tracking problem is considered for a class of multivariable nonlinear systems by using the principles of singular perturbation theory. Sufficient conditions together with a high-gain PI controller are given for a solution to exist. An application study of a three-link rigid robotic manipulator is included to illustrate the type of results which may be obtained by using the proposed controller.
An intelligent and robust voting service for real-time distributed controlsystems is proposed. Three novel features of the voter are described. Firstly, the voter is distributed using a primary site algorithm. This a...
详细信息
Current computer aided control system design environments seldom support optimization methods for controller design in a truly interactive manner. A prototype tool, called PARSIM, supporting parallel processing, optim...
详细信息
Current computer aided control system design environments seldom support optimization methods for controller design in a truly interactive manner. A prototype tool, called PARSIM, supporting parallel processing, optimization and a graphical user interface is presented addressing many of the problems inherent in current approaches to multiobjective optimization based design methods. An XWindows interface is used to simplify problem formulation and control the optimization processes. Using a previously developed interface, the computational burden may be alleviated by parallel processing.< >
We introduce a new model of fuzzy pattern recognition where data available about class membership are given implicitly rather than explicitly. While the explicit classification training set conveys complete details ab...
详细信息
We introduce a new model of fuzzy pattern recognition where data available about class membership are given implicitly rather than explicitly. While the explicit classification training set conveys complete details about class membership, the implicit format of classification lends itself to more synthetic forms of classification outcomes (such as those expressed in terms of similarities between some pairs of patterns). The relevant architectures are proposed along with the pertinent learning schemes.< >
This paper outlines some preliminary work on the stability analysis of switched and hybrid systems. The hybrid systems considered are those that combine continuous dynamics, represented by differential or difference e...
详细信息
This paper outlines some preliminary work on the stability analysis of switched and hybrid systems. The hybrid systems considered are those that combine continuous dynamics, represented by differential or difference equations, with finite dynamics usually thought of as being a finite automaton. Here, we concentrate on the continuous dynamics and model the finite dynamics as switching among finitely many continuous systems. We introduce multiple Lyapunov functions as a tool for analyzing Lyapunov stability of such "switched systems". We use iterated function systems theory as a tool for Lagrange stability. We also discuss the case where the switched systems are indexed by an arbitrary compact set.< >
暂无评论