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

Modelling architectural decisions under changing requirements

Modelling architectural decisions under changing requirement...

Joint 10th Working IEEE/IFIP Conference on Software Architecture, WICSA 2012 and 6th European Conference on Software, ECSA 2012

作者： Szlenk, Marcin Zalewski, Andrzej Kijas, Szymon Institute of Control and Computation Engineering Warsaw Univeristy of Technology Warsaw Poland

ISBN: (纸本)9780769548272

One of the approaches for documenting software architecture is to treat it as a set of architectural design decisions. Such decisions are always made in the context of requirements that must be fulfilled and in the context of decisions that were made before. Currently, models for representing architectural decisions are mainly concentrated on showing the decision making process of the initial architectural design. However, decisions that have been made in such a process may need to be changed during further evolution and maintenance of the software architecture, typically in response to the new or changed requirements. A graphical modelling notation for documenting architectural decisions (Maps of Architectural Decisions) has been developed by our team. In this paper, it is presented how this notation could be used to model architectural decisions under changing requirements. It is proposed how one decision change could be effectively propagated through the rest of the architectural decision model and how a rigorous and tool-supported process of updating such models could be organized. © 2012 IEEE.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

LMI-based design of robust iterative learning control schemes with finite frequency range tracking specifications

LMI-based design of robust iterative learning control scheme...

引用

American control Conference

作者： Wojciech Paszke Eric Rogers Krzysztof Galkowski Institute of Control and Computation Engineering University of Zielona Gora ul. Podgorna 50 65-246 Zielona Gora Poland Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK

ISBN: (纸本)9781479901777

Many systems compete the same finite duration task over and over again, where once each is complete the system resets to the starting location and the next one begins. Each execution is known as a trial and the duration the trial length. Iterative learning control has been developed for such systems where the distinguishing feature is the use of information from previous trials to update the control signal applied on the next one. The new contributions in this paper are for algorithms that use a feedforward filter often termed the learning filter. A condition for existence of this filter is formulated in terms of linear matrix inequalities through application of the generalized Kalman-Yakubovich-Popov lemma. This allows filter design over a finite, as opposed to the complete, frequency range which is more practically relevant in many cases. An extension to systems with uncertainties represented by a polytopic description is also developed using parameter dependent Lyapunov functions.

关键词： frequency ranges Finite Filters fundamental design filter design FEEDFORWARD linear matrix inequalities Trials trial Specifications

来源：评论

学校读者我要写书评

暂无评论

New KYP lemma based stability tests and control law design algorithms for differential linear repetitive processes

New KYP lemma based stability tests and control law design a...

引用

IEEE Annual Conference on Decision and control

作者： Wojciech Paszke Eric Rogers Krzysztof Galkowski Institute of Control and Computation Engineering University of Zielona Gora ul. Podgorna 50 65-246 Zielona Gora Poland School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK

ISBN: (纸本)9781467357159

This paper uses the Kalman-Yakubovich-Popov lemma to develop new stability tests for differential linear repetitive processes. The control systems theory for these processes have a number of applications areas and the new results in this paper also extend to the design of control laws. In comparison to currently available alternatives, these new tests offer the potential of reduced conservativeness by allowing the use of a Lyapunov matrix with piecewise constant entries as opposed to current algorithms where the Lyapunov matrix has constant entries. For control law design, linear matrix inequality formulations are developed that also extend to the practically relevant case where frequency attenuation is not enforced over the complete spectrum.

关键词： control law stability study Lemma frequency attenuation Repetitive entry

来源：评论

学校读者我要写书评

暂无评论

Two Decades of Research on Linear Repetitive Processes Part I: Theory

Two Decades of Research on Linear Repetitive Processes Part ...

引用

nDS '13;Proceedings of the 8th International Workshop on Multidimensional Systems

作者： Eric Rogers Krzysztof Galkowski David H. Owens Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK Institute of Control and Computation Engineering University of Zielona Gora ul. Licealna 9 65-417 Zielona Gora Poland ‡Department of Automatic Control and Systems Engineering University of Sheffield Sheffield S1 3JD UK

Multipass processes was the name used to describe the dynamics of longwall coal cutting in the early 1970's. Later the term 'repetitive process' was used and, using coal cutting as a motivating example, the development of a stability and control theory for these processes began. In the past two decades, this theory has been developed, motivated by the emergence of more physical examples and the recognition that repetitive process control theory can also be used to solve problems in other areas, to the stage where experimental verification is available to support the theory. This paper gives a reflective overview of the progress achieved in the underlying systems theory and in a companion paper the application of this theory is described together with a discussion of possible future developments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Testbed implementation of energy aware wireless sensor network

Testbed implementation of energy aware wireless sensor netwo...

引用

2012 Military Communications and Information Systems Conference, MCC 2012

作者： Niewiadomska-Szynkiewicz, Ewa Marks, Michal Nabrdalik, Filip Warsaw Poland Institute of Control and Computation Engineering Warsaw University of Technology Warsaw Poland

ISBN: (纸本)9788392012092

Wireless sensor networks (WSNs) are autonomous ad hoc networks designed and developed for potential applications in monitoring, surveillance, security, etc. The sensor devices that are battery powered should have lifetime of months or years. Therefore, energy efficiency is a crucial design challenge in WSN. In this paper the energy efficient communication techniques, i.e., activity control and power control protocols are presented and discussed. We focus on the implementation of energy aware algorithm for WSN - Geographical Adaptive Fidelity (GAF) - in our testbed network formed by the Maxfor devices. The results of experiments confirm significant energy savings that lead to network lifetime increase. © 2012 Military Univ of Tech.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Stability and Stabilization of Nonlinear 2D Markovian Jump Systems with Applications

引用

IFAC Proceedings Volumes 2013年第11期46卷 695-700页

作者： Julia Emelianova Pavel Pakshin Krzysztof Gałkowski Eric Rogers Arzamas Polytechnic Institute of R.E. Alekseev Nizhny Novgorod State Technical University 19 Kalinina Street Arzamas 607227 Russia Institute of Control and Computation Engineering University of Zielona Góra ul. Podgórna 50 65-246 Zielona Góra Poland School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK

This paper develops a vector Lyapunov function based approach to the stability of continuous and discrete 2D nonlinear systems with Markovian jumps. Nonlinear continuous-time 2D systems described by a Roesser model and nonlinear discrete-time repetitive process with Markovian jumps are considered, for which global asymptotic stability in the mean square is defined and sufficient conditions for the existence of this property obtained in terms of stochastic vector Lyapunov functions. These conditions are then applied to iterative learning control design for a set of linear systems with jumps that are controlled over a network. The resulting networked ILC model has the form of repetitive process with a Markovian random structure. The ILC convergence problem is reduced to a stochastic stabilization problem, where the use of a stochastic Lyapunov function as a vector of quadratic forms results in control law design algorithms that can be computed using linear matrix inequalities.

关键词： Nonlinear 2D systems onnlinear repetitive processes Markovian jumps stability iterative learning control

来源：评论

学校读者我要写书评

暂无评论

A class of problems that can be solved using interval algorithms

A class of problems that can be solved using interval algori...

引用

作者： Kubica, Bartlomiej Jacek Institute of Control and Computation Engineering WUT ul. Nowowiejska 15/19 Warsaw 00-665 Poland

The paper discusses several theoretical and implementational problems of interval branch-and-bound methods. A trial to define a class of problems that can be solved with such methods is done. Features and variants of the method are presented. Useful data structures and shared-memory parallelization issues are considered. © 2011 The Author(s).

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Specification of robotic systems on an example of visual servoing

Specification of robotic systems on an example of visual ser...

引用

10th IFAC Symposium on Robot control, SYROCO 2012

作者： Zieliński, Cezary Kornuta, Tomasz Boryń, Matusz Warsaw University of Technology Institute of Control and Computation Engineering Nowowiejska 15/19 00-665 Warsaw Poland

ISBN: (纸本)9783902823113

The paper presents a formal method of specifying complex robotic systems. Although the method is general, here it is applied to the description of two, however diverse, robot behaviours, in which the induced motion was computed on the basis of information retrieved from different cameras: a camera integrated with the robot gripper and a camera statically mounted above the scene. The presented experimental results confirm the correctness of the developed systems, thus validate the design method. © 2012 IFAC.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Towards unknown input filters for non-linear stochastic systems without a fault decoupling effect

Towards unknown input filters for non-linear stochastic syst...

引用

8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS 2012

作者： Józefowicz, Rafal Witczak, Marcin Dziekan, Lukasz Institute of Control and Computation Engineering University of Zielona Gora ul. Podgorna 50 65-246 Zielona Gora Poland

ISBN: (纸本)9783902823090

The paper deals with the problem of designing filters for non-linear discrete-time stochastic systems. In particular, it is shown how to design an unknown input filter for a single (constant) unknown input distribution matrix, which guarntees that the effect of a fault will not be decoupled from the residual. Subsequently, the problem of using one, fixed disturbance distribution matrix is eliminated by using the interacting multiple models algorithm to select an appropriate unknown input distribution matrix from a predefined set of matrices. The final part of the paper shows an illustrative example, which confirms the effectiveness of the proposed approach. © 2012 IFAC.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Stability and robustness of discrete linear repetitive processes in the finite frequency domain using the KYP lemma

Stability and robustness of discrete linear repetitive proce...

引用

IEEE Annual Conference on Decision and control

作者： Wojciech Paszke Pawel Dabkowski Eric Rogers Krzysztof Galkowski Institute of Control and Computation Engineering University of Zielona Gora ul. Podgorna 50 65-246 Zielona Gora Poland Institute of Physics Faculty of Physics Astronomy and Informatics Nicolaus Copernicus University ul. Grudziadzka 5 87-100 Torun Poland Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK

ISBN: (纸本)9781467357159

This paper develops a new set of conditions for strong practical stability of linear discrete repetitive processes through use of the generalized version of the Kalman-Yakubovich-Popov Lemma, with an extension to examples with uncertainty. These new conditions reduce the problem of determining if an example has this stability property to checking for the existence of a solution to a set of linear matrix inequalities (LMIs) and, relative to alternatives, can reduce the level of conservatism. The validity of the developed results are demonstrated by numerical example. A numerical example is also given.

关键词： Lemma Repetitive numerical example

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：