The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment...
详细信息
A robust discrete-time PI controller can be designed for stable systems based on a simple model. The controller has three tuning parameters, one of them being the sampling period, which can be chosen from the step res...
详细信息
A robust discrete-time PI controller can be designed for stable systems based on a simple model. The controller has three tuning parameters, one of them being the sampling period, which can be chosen from the step response of the plant. The relationships between the parameters assuring the stability of the system are derived. The structure of the controller is a particular case of Internal Model control (IMC) (Morari and Zafiriou, 1989), and can also be used to control processes with large dead times. The paper establishes the model and derives the discrete controller. The conditions for asymptotic stability of the closed-loop system for an unknown stable plant are derived. The paper applies the proposed scheme to plant with large dead times and its relationship with the predictive PI controller of (Hagglund, 1992) is shown.< >
The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment...
详细信息
The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment is used. To use available methods within the field of software verification, discrete representations of the continuous components are described systematically. A nontrivial case study within the domain of road traffic is used to illustrate the derivation of discrete models without losing information relevant to the verification task. The different modeling stages involved are shown first within an untimed formalism, and then in a formalism incorporating quantitative time.< >
作者：
Völker, F.Dr.-Ing. Frank Völker (1958)
VDI studied mechanical engineering special subjects “powerengineering automatic control engineering and mechanical science” at the University-GH-Duisburg/Germany where he got his Dipl.-Ing. degree in 1984. From 1984 to 1990 he has been a scientific assistant at the department “Konstruktionslehre und Fördertechnik” special subject “computer simulation of the performance characteristics of driving systems” at the same University where he received his Dr.-Ing. degree in 1990. In 1990 he joined Klöckner-Moeller GmbH Bonn/Germany as research engineer at the department “Forschung”. Since 1992 he is manager of Energy Management Systems at this company. (Klöckner-Moeller GmbH Head Office Energy Management Systems Hein-Moeller-Str. 7-11 D-53115 Bonn T +49228/602 - 11 62 Fax +49228/602- 11 94)
A discrete thermal network is given as an equivalent circuit of the steady‐state thermal performance characteristics of circuit breakers. The immediate environment of the enclosure and the feeders of the unenclosed s...
In this note, an explicit solution to the multivariable discrete linear quadratic (LQ) regulation problem is obtained in the limiting singular case where the input weighting matrix tends to zero. Such a solution follo...
详细信息
In this note, an explicit solution to the multivariable discrete linear quadratic (LQ) regulation problem is obtained in the limiting singular case where the input weighting matrix tends to zero. Such a solution follows from a suitable spectral factorization of the input spectrum density matrix under the assumption that the system is stabilizable and detectable, and its transfer function matrix is a full rank. The suitable spectral factor is shown to be the product of the system minimum-phase image and its unitary interactor matrix. The unitary interactor matrix defined here is a special case of the nilpotent interactor matrix defined in [5].
Some aspects of mechanisms of approximate reasoning and knowledge acquisition for rule-based expert systems are studied in the framework of fuzzy relation equations used for the implementation of inference procedures....
详细信息
In this paper, we investigate a methodology of modelling a class of hierarchically structured complex systems. It is assumed that the subsystems of a system X are characterized as the equivalence classes of certain fa...
We show, under the assumptions described in the paper, that: (1) we can approximate a neural net to any degree of accuracy using a fuzzy expert system;and conversely (2) we may approximate a fuzzy expert system to any...
详细信息
We discuss the direct fuzzification of a standard layered, feedforward, neural network where the signals and weights are fuzzy sets. A fuzzified delta rule is presented for learning. TTiree implications are given incl...
详细信息
The fuzzy expert system we are concerned about in this paper is a rule based fuzzy expert system using any method of approximate reasoning to evaluate the rules when given new data. In this paper we argue that: (1) an...
详细信息
暂无评论