检索结果-内蒙古大学图书馆

4th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 1993

作者： Nadjm-Tehrani, S. Stromberg, J.-E. Dept. of Computer and Information Science Linkoping University LinkopingS-58183 Sweden Div. of Automatic Control Dept. of Electrical Engineering Linkoping University LinkopingS-58183 Sweden

ISBN: (纸本)0818640200

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. © 1993 IEEE.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Modelling and verification of hybrid systems: A case study

Modelling and verification of hybrid systems: A case study

引用

Annual Conference of AI, Simulation, and Planning in High Autonomy Syslems

作者： S. Nadjm-Tehrani J.-E. Stromberg Department of Computer and Information Science Linköping University Sweden Division of Automatic Control Department of Electrical Engineering Linköping University Sweden

关键词： computer aided software engineering Timing Roads Traffic control Intelligent robots Safety Embedded software Physics computing Information science Software systems

来源：评论

学校读者我要写书评

暂无评论

Optimal control of Stochastic Singularly Perturbed Systems with Exponentiated Quadratic Cost

引用

IFAC Proceedings Volumes 1993年第2期26卷 323-328页

作者： Z. Pan T. Başar Decision and Control Laboratory Coordinated Science Laboratory and the Department of Electrical and Computer Engineering University of Illinois Urbana IL 61801 USA

The optimal control of singularly perturbed stochastic linear systems with exponentiated quadratic cost is studied under perfect state measurements. Both finite and infinite horizon formulations are addressed, and particular focus is given to the issues of robustness of the solution to unmodeled fast dynamics, and robustness to the precise value of a singular perturbation parameter (say, ∊). An ∊-independent control is constructed by solving two separate (slow and fast) optimal control problems, and combining the optimal controls of these two problems. It is shown that this composite controller achieves a performance level close to the optimal one whenever the full-order problem has a solution. The slow controller, on the other hand, achieves a finite performance level, with some degradation from the optimal one, whenever the fast subsystem is open-loop stable. It is further shown that if the intensity of the noise in the system dynamics decreases to zero, the slow controller also yields a performance close to the optimal one. The paper also delineates the link between this problem with a positively exponentiated cost and a class of deterministic singularly perturbed H ∞ -optimal control problems.

关键词： Linear exponential quadratic gaussian control singular perturbations robustness generalized Riccati equation risk-sensitive stochastic control

来源：评论

学校读者我要写书评

暂无评论

automatic vehicle location expert system

Automatic vehicle location expert system

引用

International Conference on Industrial Electronics, control and Instrumentation

作者： Zhe Chen Kang Chen Yong-Hong Zhang J.C. Hung Automatic Control Department Beijing Aeronautics and Astronautics University Beijing China Electrical and Computer Engineering Department University of Tennessee Knoxville TN USA

Introduced in this paper is a land-based automatic vehicle location (AVL) expert system in the city and the suburbs environment of Beijing, China. Some issues about the data structure and graphic display are taken into account. A variety of expert knowledges and rules are stored in static or dynamic data bases for applications. A* algorithm is applied to determine the minimum cost route between the start and goal nodes. An example on route finding is given to show the effectiveness of A* algorithm. The route guidance functions are discussed in some detail. It is shown that the expert system of AVL developed in this paper is successful.< >

关键词： Vehicles Expert systems Road transportation Cities and towns Data structures Costs Navigation Telecommunication traffic Rail transportation Rivers

来源：评论

学校读者我要写书评

暂无评论

Applications of control to Semiconductor Manufacturing: Reactive Ion Etching

Applications of Control to Semiconductor Manufacturing: Reac...

引用

American control Conference (ACC)

作者： M. Elta H. Etemad J. S. Freudenberg M. D. Giles J. W. Grizzle P. T. Kabamba P. P. Khargonekar S. Lafortune S. M. Meerkov J. R. Moyne B. A. Rashap D. Teneketzis F. L. Terry Solid State Electronics Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA Control Systems Laboratory and Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

This paper describes the development of real-time control technology for the improvement of manufacturing characteristics of reactive ion etchers. A general control strategy is presented as well as supporting experime... 详细信息

关键词： Semiconductor device manufacture Etching Plasma applications Laboratories Pulp manufacturing Manufacturing processes Plasma materials processing Feedback control control systems Production facilities

来源：评论

学校读者我要写书评

暂无评论

A method for recognizing character strings from maps using linguistic knowledge

A method for recognizing character strings from maps using l...

引用

International Conference on Document Analysis and Recognition

作者： A. Nakamura O. Shiku M. Anegawa C. Nakamura H. Kuroda Department of Electrical Engineering and Computer Science Faculty of Engineering Nagasaki University Nagasaki Japan Department of Control Engineering Sasebo National College of Technology Nagasaki Japan

It is difficult to recognize character strings from maps, which involve various figures. The authors describe a method for recognizing character strings from these topographical maps. The method consists of a bottom-up process and a top-down process. First, in the bottom-up process, character candidates are extracted from a map. Second, in the top-down process, these character candidates are grouped into strings using linguistic knowledge of strings. Through the top-down process, character strings are recognized correctly and efficiently from low precise character candidates extracted through the bottom-up process. The method was applied to 13 maps (512/spl times/512 pixels) involving 98 strings. As a result, 95% of 98 strings were extracted correctly.< >

关键词： Character recognition Roads Carbon capture and storage control engineering Knowledge engineering Data mining Buildings Educational institutions Image recognition Dictionaries

来源：评论

学校读者我要写书评

暂无评论

Robust Pole Placement Using Two-Pole Dominant Models

引用

IFAC Proceedings Volumes 1993年第2期26卷 9-13页

作者： P. Padmanabhan C.V. Hollot W. Siegl Department of Electrical and Computer Engineering University of Massachusetts Amherst MA 01003 USA Automatic Control Laboratory Swiss Federal Institute of Technology ETH-Zürich CH-8092 Zürich Switzerland

In this paper, we consider the problem of robust pole placement using fixed-order compensation. It is assumed that the coefficients of the numerator and denominator polynomials of the uncertain plant depend muitilinearly on the "parameters" and that the design specifications are given in the form of a two-pole dominant model. We present a design methodology for choosing a fixed-order compensator which ensures that all the roots of the closed loop polynomial lie in the regions prescribed by the two-pole dominant model.

关键词： Uncertain Plant Robust Pole Placement Two-Pole Dominant Model

来源：评论

学校读者我要写书评

暂无评论

Multi-time scale zero-sum differential games with perfect state measurements

Multi-time scale zero-sum differential games with perfect st...

引用

IEEE Conference on Decision and control

作者： Zigang Pan T. Basar Decision and Control Laboratory Coordinated Science Laboratory and the Department of Electrical and Computer Engineering University of Illinois Urbana IL USA

Obtains necessary and sufficient conditions for the existence of "approximate" saddle-point solutions in linear-quadratic zero-sum differential games when the state dynamics are defined on multiple (three) time scales. These different time scales are characterized in terms of two small positive parameters /spl epsiv//sub 1/ and /spl epsiv//sub 2/, and the terminology "approximate saddle-point solution" is used to refer to saddle-point policies that do not depend on /spl epsiv//sub 1/ and /spl epsiv//sub 2/, while providing cost levels within O(/spl epsiv//sub 1/) of the full-order game. It is shown in the paper that, under perfect state measurements, the original game can be decomposed into three subgames - slow, fast and fastest, the composite saddle-point solution of which make up the approximate saddle-point solution of the original game. Specifically, for the minimizing player, it is necessary to use a composite policy that uses the solutions of all three subgames, whereas for the maximizing player, it is sufficient to use a slow policy. In the finite-horizon case this slow policy could be a feedback policy, whereas in the infinite-horizon case it has to be chosen as an open-loop policy that is generated from the solution and dynamics of the slow subgame. These results have direct applications in the H/sup /spl infin//-optimal control of three-time scale singularly perturbed linear systems under perfect state measurements.< >

关键词： Riccati equations Costs Open loop systems control systems Differential equations Differential algebraic equations Coordinate measuring machines Electric variables measurement Time measurement Sufficient conditions

来源：评论

学校读者我要写书评

暂无评论

Real-time control of reactive ion etching: identification and disturbance rejection

Real-time control of reactive ion etching: identification an...

引用

IEEE Conference on Decision and control

作者： B.A. Rashap P.P. Khargonekar J.W. Grizzle M.E. Elta J.S. Freudenberg F.L. Terry Electronics Manufacturing and Control Systems Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

The main processes involved in the manufacture of integrated circuits are deposition, lithography, etching, and implantation. This paper describes results on identification and real-time control of reactive ion etchers. Experimental results show that significant disturbances to the etch rate can be attenuated with real-time feedback control.< >

关键词： Etching Feedback control Plasma applications Manufacturing processes Laboratories Pressure control Weight control Open loop systems PD control Pi control

来源：评论

学校读者我要写书评

暂无评论

New Vertex Results in Establishing the Strictly Positive Realness of Weighted Interval Systems

引用

IFAC Proceedings Volumes 1993年第2期26卷 329-334页

作者： C.V. Hollot L. Guzzella R. Tempo F. Kraus M. Mansour Department of Electrical and Computer Engineering University of Massachusetts Amherst MA 01003 USA Automatic Control Laboratory Swiss Federal Institute of Technology ETH-Zürich CH-8092 Zürich Switzerland CENS-CNR Politecnico di Torino Corso Duca degli Abruzzi 24 10129 Torino Italy

For a given plant transfer function P ( s ) and cone size k, solutions to versions of the absolute stability problem boil down to finding a SPR multiplier Z ( s ) such that [ k ¯ - 1 + P ( s ) ] Z ( s ) is SPR. In this paper, we consider an interval plant P ( s , q , r ) and prove that first order multiplierslead to vertex results when establishing the positive realnells of [ k ¯ - 1 + P ( s , q , r ) ] Z ( s ) . Additionally, we give an example of a second order multiplier and interval plant which fails to have this vertex property. These new results are then applied to the problem of robust stability of time-varying interval systems.

关键词： Vertex Results Strictly Positive Realness Weighted Interval Systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：