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

MARKOV DECISION PROCESSES WITH UNCERTAIN TRANSITION RATES: SENSITIVITY AND MAX HYPHEN MIN CONTROL

Asian Journal of Control 2008年第2期6卷

作者： Suresh Kalyanasundaram Edwin K. P. Chong Ness B. Shroff Motorola India Electronics Limited No. 66/1 Plot 5 Bagmane Techpark C. V. Raman Nagar Post Bangalore 560 093 India. Department of Electrical and Computer Engineering Colorado State University Fort Collins CO 80523-1373 USA. Professor Edwin K. P. Chong received the B.E.(Hons.) degree with First Class Honors from the University of Adelaide South Australia in 1987 graduating top of his class and the M.A. and Ph.D. degrees in 1989 and 1991 respectively both from Princeton University where he held an IBM Fellowship. He joined the School of Electrical and Computer Engineering at Purdue University in 1991 where he was named a University Faculty Scholar in 1999 and promoted to Full Professor in 2001. Since August 2001 he has been a Professor of Electrical and Computer Engineering and Professor of Mathematics at Colorado State University. His current interests are in communication networks and optimization methods. He coauthored the best-selling book An Introduction to Optimization 2nd Edition Wiley-Interscience 2001. He received the NSF CAREER Award in 1995 and the ASEE Frederick Emmons Terman Award in 1998. He coauthored a paper that was awarded Best Paper in the journal Computer Networks 2003. Professor Chong is a Fellow of the IEEE. He was founding chairman of the IEEE Control Systems Society Technical Committee on Discrete Event Systems and until recently served as an IEEE Control Systems Society Distinguished Lecturer. He has been on the editorial board of the IEEE Transactions on Automatic Control. He is currently on the editorial board of the journal Computer Networks. He has also served on the organizing committees of several international conferences. He has been on the program committees for the IEEE Conference on Decision and Control the American Control Conference the IEEE International Symposium on Intelligent Control IEEE Symposium on Computers and Communications and the IEEE Global Telecommunications Conference. He has also served in the executive committees for the IEEE Co

Solution techniques for Markov decision problems rely on exact knowledge of the transition rates, which may be difficult or impossible to obtain. In this paper, we consider Markov decision problems with uncertain transition rates represented as compact sets. We first consider the problem of sensitivity analysis where the aim is to quantify the range of uncertainty of the average per-unit-time reward given the range of uncertainty of the transition rates. We then develop solution techniques for the problem of obtaining the max-min optimal policy, which maximizes the worst-case average per-unit-time reward. In each of these problems, we distinguish between systems that can have their transition rates chosen independently and those where the transition rates depend on each other. Our solution techniques are applicable to Markov decision processes with fixed but unknown transition rates and to those with time-varying transition rates.

关键词： Markov decision processes sensitivity max-min control call admission control policy iteration

来源：评论

学校读者我要写书评

暂无评论

A mission level design language based on AleC++

A mission level design language based on AleC++

引用

2006 25th International Conference on Microelectronics, MIEL 2006

作者： Andelković, Bojan Litovski, Vančo Zerbe, Volker Department of Electronics Faculty of Electronic Engineering University of Niš Aleksandra Medvedeva 14 18000 Niš Serbia Computer Science and Automation Faculty Technical University of Ilmenau Germany

ISBN: (纸本)1424401178

Modern complex system design demands modeling on a high level of abstraction together with the system environment components. Such model enables mission level system simulation in the context of its operational conditions. A mission level design language providing mission and system level verification is presented in this paper. Also, this language enables designers to describe some of the components at implementation level to test and validate the system implementation at mission level. In this way a uniform design framework is achieved from mission/system down to implementation level. © 2006 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Semiactive backstepping control for vibration attenuation in structures equipped with magnetorheological actuators

Semiactive backstepping control for vibration attenuation in...

引用

IEEE International Conference on Control Applications

作者： Luo, Ningsu Villamizar, Rodolfo Vehi, Josep Dyke, Shirley Department of Electronics Computer Science and Automation Universitat de Girona 17071 Girona Spain School of Electrical and Electronics Engineering and Telecommunication Universidad Industrial de Santander Bucaramanga Colombia Faculty of Engineering Sciences Washington University St. Louis United States

ISBN: (纸本)9780780397958

This paper deals with the problem of semiactive vibration control of civil engineering structures subject to unknown external disturbances (for example, earthquakes, winds, etc.). Two kinds of semiactive controllers are proposed based on the backstepping control technique. The experimental setup used is a 6-story test structure equipped with shear-mode semiactive magnetorheological dampers being installed in the Washington University Structural Control and Earthquake engineering Laboratory (WUSCEEL). The experimental results obtained have verified the effectiveness of the proposed control algorithms.

关键词： smart structures semiactive control vibration attenuation backstepping control hysteretic damper

来源：评论

学校读者我要写书评

暂无评论

Semiactive backstepping control for vibration attenuation in structures equipped with magnetorheological actuato

Semiactive backstepping control for vibration attenuation in...

引用

2006 IEEE International Conference on Control Applications, CCA 2006

作者： Luo, Ningsu Villamizar, Rodolfo Vehí, Villamizar Dyke, Shirley Department of Electronics Computer Science and Automation Universitat de Girona 17071 Girona Spain School of Electrical and Electronics Engineering and Telecommunication Universidad Industrial de Santander Bucaramanga Colombia Faculty of Engineering Sciences Washington University St.Louis United States

ISBN: (纸本)9780780397965

关键词： Earthquake engineering

来源：评论

学校读者我要写书评

暂无评论

A Mission Level Design Language Based on AleC++

A Mission Level Design Language Based on AleC++

引用

International Conference on Microelectronics, MIEL

作者： B. Andelkovic V. Litovski V. Zerbe Department of Electronics Faculty of Electronic Engineering University of Niš Nis Serbia Computer Science and Automation Faculty Technical University Ilmenau Germany

关键词： Hardware Power system modeling System testing Context modeling Embedded software Process design Navigation System-on-a-chip computer architecture Software systems

来源：评论

学校读者我要写书评

暂无评论

Semiactive backstepping control for vibration attenuation in structures equipped with magnetorheological actuators

Semiactive backstepping control for vibration attenuation in...

引用

IEEE International Conference on computer-Aided Design

作者： Ningsu Luo Rodolfo Villamizar Josep Vehi Shirley Dyke Department of Electronics Computer Science and Automation Universitat de Girona Girona Spain School of Electrical and Electronics Engineering and Telecommunication Universidad Industrial de Santander Bucaramanga Colombia Faculty of Engineering Sciences Washington University of Saint Louis USA

关键词： Backstepping Vibration control Attenuation Actuators Civil engineering Testing Shock absorbers Damping Earthquake engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

Educational Virtual Instrumentation Application for System Identification

Educational Virtual Instrumentation Application for System I...

引用

IEEE Instrumentation and Measurement Technology Conference

作者： Mircea Popa Raul Ionel Voicu Groza Marius Marcu Computer and Software Engineering Department Faculty of Automation and Computers University E2809CPolitehnicaE2809DTimisoara Romania Measurement and Optical Electronics Department Faculty of Electronics and Telecommunication Engineering UniversityE2809CPolitehnicaE2809DTimisoara Romania School of Information Technology and Engineering University of Ottawa Ottawa Canada

The PC based virtual instrumentation is a dynamic and attractive alternative to the classic instrumentation. Its main advantages are: flexibility and adaptability, low cost, wide development of extension PC boards with measurements features, attractive representation of measurement results, in different forms, on the PC's monitor. The paper presents a system identification application with PC based (virtual) instrumentation. The virtual system is made of an external board, connected to the PC via the USB interface and a software tool, Agilent VEE (Visual engineering Environment). The presented virtual system can work as a voltmeter, ammeter, signal generator, digital oscilloscope and power supply. The main contribution of the paper is the extension of the application domain of the virtual instrumentation system to system identification. The identification method consists of applying to the system input a binary pseudorandom signal (BPRS) and determining the impulse response of the system as being well approximated by the cross-correlation function between the input signal and the answer of the system. The application is intended for educational purposes but can be used in other areas too

关键词： Instruments System identification Application software Signal processing Costs Universal Serial Bus Software tools Power engineering and energy Voltmeters Ammeters

来源：评论

学校读者我要写书评

暂无评论

Delay-dependent stability of 2D state-delayed linear systems

Delay-dependent stability of 2D state-delayed linear systems

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： W. Paszke J. Lam K. Galkowski Shengyuan Xu E. Rogers A. Kummert Institute of Control and Computation Engineering University of Zielona Góra Zielona Gora Poland Department of Mechanical Engineering University of Hong Kong Hong Kong China Department of Automation Nanjing University of Science and Technology of PLA Nanjing China Faculty of Electrical Information and Media Engineering University of Wuppertal Wuppertal Germany School of Electronics and Computer Science University of Southampton Southampton UK

This paper addresses the problem of stability for two-dimensional systems with delays in the state. To solve this problem, the Lyapunov second method is used. The resulting condition is written in terms of linear matrix inequalities and it is dependent on the size of delays. This fact allows us to reduce the conservatism in the stability analysis of two-dimensional systems with state delays. A simulation example is given to illustrate the theoretical developments

关键词： Stability Linear systems Delay systems Symmetric matrices Control systems Linear matrix inequalities Delay lines Automatic control Control engineering computing Mechanical engineering

来源：评论

学校读者我要写书评

暂无评论

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

21st IEEE International Conference on Software Maintenance, ICSM 2005

作者： Jiang, Ying Hou, Shan-Shan Shan, Jin-Hui Zhang, Lu Xie, Bing Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming 650093 China

ISBN: (纸本)0769523684

Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computationexpensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort. © 2005 IEEE.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

International Conference on Software Maintenance (ICSM)

作者： Ying Jiang Shan-Shan Hou Jin-Hui Shan Lu Zhang Bing Xie Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China

Testing plays an important role in the maintenance of component based software development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort.

关键词： Genetic mutations Contracts Software testing Software reusability Software maintenance Electronic equipment testing Programming Application software computer science automation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：