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

Edge-Event Based Consensus in Networks with Common Time-Varying Delays

IFAC Proceedings Volumes 2014年第3期47卷 8299-8304页

作者： Feng Xiao Tongwen Chen Huijun Gao Institute of Intelligent Control and Systems Harbin Institute of Technology Harbin 150080 China Department of Electrical and Computer Engineering University of Alberta Edmonton Alberta T6G 2V4 Canada

This paper studies the delay robustness of a class of periodically edge-event driven synchronous consensus protocols in time-invariant networks. These protocols have the benefits of improved performance at reduced communication and computation costs. Under the assumption that all information links share a common time-varying transmission delay, we give non-conservative estimates of the maximum allowable time-delay and event-detecting period for solving the average consensus problem in terms of the algebraic structure of interaction topologies. Furthermore, rigorous stability analysis shows that the proposed technique is also applicable to the asynchronous consensus with multiple time-delays.

关键词： Multi-agent systems event-based consensus sampled-data consensus time-delays

来源：评论

学校读者我要写书评

暂无评论

Next generation sequencing reads comparison with an alignment-free distance

引用

BMC Research Notes 2014年第1期7卷 1-13页

作者： Weitschek, Emanuel Santoni, Daniele Fiscon, Giulia De Cola, Maria Cristina Bertolazzi, Paola Felici, Giovanni Department of Engineering Roma Tre University Via della Vasca Navale 79 Rome 00146 Italy Institute of Systems Analysis and Computer Science A. Ruberti National Research Council Via dei Taurini 19 Rome 00185 Italy Department of Computer Control and Management Engineering Antonio Ruberti Viale Ariosto 25 Rome 00185 Italy IRCCS Centro Neurolesi Bonino-Pulejo S.S.113 Via Palermo C/da Casazza Messina 98123 Italy

Background: Next Generation Sequencing (NGS) machines extract from a biological sample a large number of short DNA fragments (reads). These reads are then used for several applications, e.g., sequence reconstruction, DNA assembly, gene expression profiling, mutation analysis. Methods: We propose a method to evaluate the similarity between reads. This method does not rely on the alignment of the reads and it is based on the distance between the frequencies of their substrings of fixed dimensions (k-mers). We compare this alignment-free distance with the similarity measures derived from two alignment methods: Needleman-Wunsch and Blast. The comparison is based on a simple assumption: the most correct distance is obtained by knowing in advance the reference sequence. Therefore, we first align the reads on the original DNA sequence, compute the overlap between the aligned reads, and use this overlap as an ideal distance. We then verify how the alignment-free and the alignment-based distances reproduce this ideal distance. The ability of correctly reproducing the ideal distance is evaluated over samples of read pairs from Saccharomyces cerevisiae, Escherichia coli, and Homosapiens. The comparison is based on the correctness of threshold predictors cross-validated over different samples. Results: We exhibit experimental evidence that the proposed alignment-free distance is a potentially useful read-to-read distance measure and performs better than the more time consuming distances based on alignment. Conclusions: Alignment-free distances may be used effectively for reads comparison, and may provide a significant speed-up in several processes based on NGS sequencing (e.g., DNA assembly, reads classification). © 2014 Weitschek et al.

关键词： Alignment-free Next generation sequencing Sequence analysis

来源：评论

学校读者我要写书评

暂无评论

Synthesis of Correct-by-construction control Protocols for Hybrid Systems Using Partial State Information

Synthesis of Correct-by-construction Control Protocols for H...

引用

American control Conference

作者： Oscar Mickelin Necmiye Ozay Richard M. Murray Royal Institute of Technology (KTH) Sweden Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor Department of Control and Dynamical Systems California Institute of Technology

ISBN: (纸本)9781479932757

This paper considers the problem of synthesizing output-feedback control laws for a class of discrete-time hybrid systems in order for the trajectories of the system to satisfy certain high-level specifications expressed in linear temporal logic. By leveraging ideas from robust interpretation of temporal logic formulas and bounded-error estimation, we identify a subclass of systems for which it is possible to reduce the problem to a state-feedback form. In particular, we use locally superstable hybrid observers to resolve the partial information at the continuous level. This allows us to use recent results in temporal logic planning to synthesize the desired controllers based on two-player perfect-information games. The overall control architecture consists of a hybrid observer, a high-level switching protocol and a low-level continuous controller. We demonstrate the proposed framework in a case study on designing control protocols for an aircraft air management system.

关键词： hybrid systems Temporal logic control protocol control Architecture synthesis

来源：评论

学校读者我要写书评

暂无评论

Amphisbaena: Modeling two orthogonal ways to hunt on heterogeneous many-cores

Amphisbaena: Modeling two orthogonal ways to hunt on heterog...

引用

Asia and South Pacific Design Automation Conference

作者： Jun Ma Guihai Yan Yinhe Han Xiaowei Li School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing China Institute of Computing Technology Chinese Academy of Sciences Beiiing China

Heterogeneous many-cores can deliver high performance or energy efficiency. There are two orthogonal ways to improve performance: 1) scale-out by exploiting thread-level parallelism, and 2) scale-up by enabling core heterogeneity. Predicting the performance of such architecture is increasingly challenging. We propose a comprehensive performance model Amphisbaena, or Φ, built from two orthogonal functions α and β. Function α describes the scale-out speedup and function β handles the scale-up speedup. The Φ model can clearly tell not only the overall speedup of a given multithreading and core mapping strategy, but also how to improve the multithreading and core mapping, hence should be a promising performance predictor for future heterogenous many-cores. The results show that Φ model's error rate is within 12%, which is lower than state-of-the-art methods. We demonstrate the application of Φ model by introducing a heuristic scheduling algorithm, which outperforms the baselines by 13% on average.

关键词： Runtime Hardware Instruction sets Computational modeling Multithreading Mathematical model Synchronization

来源：评论

学校读者我要写书评

暂无评论

Detecting Integrity Attacks on control Systems using Robust Physical Watermarking

Detecting Integrity Attacks on Control Systems using Robust ...

引用

IEEE Annual Conference on Decision and control

作者： Sean Weerakkody Yilin Mo Bruno Sinopoli Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA USA 15213 Control and Dynamical Systems Department of California Institute of Technology

ISBN: (纸本)9781467360890

Ensuring the security of control systems against integrity attacks is a major challenge. Due to the events of Stuxnet, replay attacks in particular have been considered by the research community. Replaying previous measurements of a system in steady state allows an adversary to generate statistically correct virtual outputs which can bypass traditional detectors. The adversary can then inject destabilizing inputs to cause damage to the plant. The method of injecting secret noisy control inputs, or physical watermarking, has recently been proposed to detect replay attacks. However, the proposed watermarking design methods assume that the adversary does not use his potential access to real time communication channels to create stealthy virtual outputs to send to the defender. In this paper, we formulate an attack model for an adversary who uses knowledge of the system as well as access to a subset of real time control inputs and sensor outputs to construct stealthy virtual outputs. A robust physical watermark and detector to counter such an adversary is proposed.

关键词： control systems Watermarking Knowledge systems Virtual Output Access

来源：评论

学校读者我要写书评

暂无评论

Distributed minimum-time weight balancing over digraphs

Distributed minimum-time weight balancing over digraphs

引用

International Symposium on Communications control and Signal Processing (ISCCSP)

作者： Themistoklis Charalambous Christoforos N. Hadjicostis Mikael Johansson Department of Automatic Control Royal Institute of Technology (KTH) Stockholm Sweden Department of Electrical and Computer Engineering University of Illinois Nicosia IL USA

We address the weight-balancing problem for a distributed system whose components (nodes) can exchange information via interconnection links (edges) that form an arbitrary, possibly directed, communication topology (digraph). A weighted digraph is balanced if, for each node, the sum of the weights of the edges outgoing from that node is equal to the sum of the weights of the edges incoming to that node. Weight-balanced digraphs play a key role in a variety of applications, such as coordination of groups of robots, distributed decision making, and distributed averaging which is important for a wide range of applications in signal processing. We propose a distributed algorithm for solving the weight balancing problem in a minimum number of iterations, when the weights are nonnegative real numbers. We also provide examples to corroborate the proposed algorithm.

关键词： Vectors Distributed algorithms Polynomials Topology Signal processing algorithms Educational institutions Convergence

来源：评论

学校读者我要写书评

暂无评论

On the convergence of an alternating direction penalty method for nonconvex problems

On the convergence of an alternating direction penalty metho...

引用

Asilomar Conference on Signals, Systems & computers

作者： S. Magnússon P. C. Weeraddana M. G. Rabbat C. Fischione Department of Automatic Control KTH Royal Institute of Technology Stockholm Sweden Department of Electrical and Computer Engineering McGill University Montréal Canada

This paper investigates convergence properties of scalable algorithms for nonconvex and structured optimization. We consider a method that is adapted from the classic quadratic penalty function method, the Alternating Direction Penalty Method (ADPM). Unlike the original quadratic penalty function method, in which single-step optimizations are adopted, ADPM uses alternating optimization, which in turn is exploited to enable scalability of the algorithm. A special case of ADPM is a variant of the well known Alternating Direction Method of Multipliers (ADMM), where the penalty parameter is increased to infinity. We show that due to the increasing penalty, the ADPM asymptotically reaches a primal feasible point under mild conditions. Moreover, we give numerical evidence that demonstrates the potential of the ADPM for computing local optimal points when the penalty is not updated too aggressively.

关键词： Optimization Convergence Linear programming Couplings Approximation algorithms Signal processing algorithms Signal processing

来源：评论

学校读者我要写书评

暂无评论

Analysis, filtering, and control for takagi-sugeno fuzzy models in networked systems

Abstract and Applied Analysis

引用

Abstract and Applied Analysis 2015年第1期2015卷

作者： Zhang, Sunjie Wang, Zidong Hu, Jun Liang, Jinling Alsaadi, Fuad E. School of Information Science and Technology Donghua University Shanghai 200051 China Department of Computer Science Brunel University Uxbridge Middlesex UB8 3PH United Kingdom Communication Systems and Networks (CSN) Research Group Faculty of Engineering King Abdulaziz University Jeddah 21589 Saudi Arabia Research Institute of Intelligent Control and Systems Harbin Institute of Technology Harbin 150001 China Department of Applied Mathematics Harbin University of Science and Technology Harbin 150080 China Department of Mathematics Southeast University Nanjing 210096 China

The fuzzy logic theory has been proven to be effective in dealing with various nonlinear systems and has a great success in industry applications. Among different kinds of models for fuzzy systems, the so-called Takagi-Sugeno (T-S) fuzzy model has been quite popular due to its convenient and simple dynamic structure as well as its capability of approximating any smooth nonlinear function to any specified accuracy within any compact set. In terms of such a model, the performance analysis and the design of controllers and filters play important roles in the research of fuzzy systems. In this paper, we aim to survey some recent advances on the T-S fuzzy control and filtering problems with various network-induced phenomena. The network-induced phenomena under consideration mainly include communication delays, packet dropouts, signal quantization, and randomly occurring uncertainties (ROUs). With such network-induced phenomena, the developments on T-S fuzzy control and filtering issues are reviewed in detail. In addition, some latest results on this topic are highlighted. In the end, conclusions are drawn and some possible future research directions are pointed out. © 2015 Sunjie Zhang et al.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Model-based Demand-balance control for Complex Urban traffic Networks

A Model-based Demand-balance Control for Complex Urban traff...

引用

17th International IEEE Conference on Intelligent Transportation Systems & The Asia-Pacific Council on Systems engineering Conference 2014

作者： Shu Lin Qing-Jie Kong School of Computer and Control Engineering University of Chinese Academy of Sciences Qingdao Academy of Intelligent Industries the State Key Laboratory of Management and Control for Complex Systems Institute of AutomationChinese Academy of Sciences

Traffic control is an effective and efficient method for the problem of traffic *** complex urban traffic networks,it is necessary to design a high-level controller to regulate the traffic *** the parallel control framework for complex traffic networks,we design a demand-balance MPC controller based on the MFD-based multi-subnetwork model,which can optimize the network traffic mobility and the network traffic throughput by regulating the input traffic flows of the *** transferring traffic flows among subnetworks are indirectly controlled by the demand-balance MPC controller,and a global optimality can be achieved for the entire traffic *** simulation results show the effectiveness of the proposed controller in improving the network traffic throughput.

关键词： A Model-based Demand-balance control for Complex Urban traffic Networks MFD Model

来源：评论

学校读者我要写书评

暂无评论

Application of derivative-free multi-objective algorithms to reliability-based robust design optimization of a high-speed catamaran in real ocean environment 4

Application of derivative-free multi-objective algorithms to...

引用

4th International Conference on engineering Optimization, ENGOPT 2014

作者： Pellegrini, R. Campana, E.F. Diez, M. Serani, A. Rinaldi, F. Fasano, G. Iemma, U. Liuzzi, G. Lucidi, S. Stern, F. CNR-INSEAN National Research Council-Marine Technology Research Institute Rome Italy Department of Mathematics Università di Padova Padua Italy Department of Management Università Ca’Foscari Venice Italy Department of Engineering Università Roma Tre Rome Italy Department of Computer Control and Management Engineering Università La Sapienza Rome Italy IIHR-Hydroscience and Engineering The University of Iowa Iowa City United States

ISBN: (纸本)9781138027251

A Reliability-Based Robust Design Optimization (RBRDO) for ship hulls is presented. A real ocean environment is considered, including stochastic sea state and speed. The optimization problem has two objectives: (a) the reduction of the expected value of the total resistance in waves and (b) the increase of the ship operability (reliability). Analysis tools include a URANS solver, uncertainty quantification methods and metamodels, developed and validated in earlier research. The design space is defined by an orthogonal four-dimensional representation of shape modifications, based on the Karhunen-Loève expansion of free-form deformations of the original hull. The objective of the present paper is the assessment of deterministic derivativefree multi-objective optimization algorithms for the solution of the RBRDO problem, with focus on multiobjective extensions of the Deterministic Particle Swarm Optimization (DPSO) algorithm. Three evaluation metrics provide the assessment of the proximity of the solutions to a reference Pareto front and their wideness. © 2015 Taylor & Francis Group, London.

关键词： Hulls (ship)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：