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

Estimating the impact of cyber-attack strategies for stochastic control systems

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Milošević, Jezdimir Sandberg, Henrik Johansson, Karl Henrik Department of Automatic Control School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden

Risk assessment is an inevitable step in implementation of a cyber-defense strategy. An important part of this assessment is to reason about the impact of possible attacks. In this paper, we propose a framework for estimating the impact of cyber-attacks in stochastic linear control systems. The framework can be used to estimate the impact of denial of service, rerouting, sign alternation, replay, false data injection, and bias injection attacks. For the stealthiness constraint, we adopt the Kullback-Leibler divergence between residual sequences during the attack. Two impact metrics are considered: (1) The probability that some of the critical states leave a safety region;and (2) The expected value of the infinity norm of the critical states. For the first metric, we prove that the impact estimation problem can be reduced to a set of convex optimization problems. Thus, the exact solution can be found efficiently. For the second metric, we derive an efficient to calculate lower bound. Finally, we demonstrate how the framework can be used for risk assessment on an example. Copyright © 2018, The Authors. All rights reserved.

关键词： Risk assessment

An Early Stage Researcher's Primer on Systems Medicine Terminology

学校读者我要写书评

暂无评论

Network and Systems Medicine

Network and Systems Medicine 2021年第1期4卷 2-50页

作者： Zanin, Massimiliano Aitya, Nadim A.A. Basilio, José Baumbach, Jan Benis, Arriel Behera, Chandan K. Bucholc, Magda Castiglione, Filippo Chouvarda, Ioanna Comte, Blandine Dao, Tien-Tuan Ding, Xuemei Pujos-Guillot, Estelle Filipovic, Nenad Finn, David P. Glass, David H. Harel, Nissim Iesmantas, Tomas Ivanoska, Ilinka Joshi, Alok Boudjeltia, Karim Zouaoui Kaoui, Badr Kaur, Daman Maguire, Liam P. McClean, Paula L. McCombe, Niamh De Miranda, João Luís Moisescu, Mihnea Alexandru Pappalardo, Francesco Polster, Annikka Prasad, Girijesh Rozman, Damjana Sacala, Ioan Sanchez-Bornot, Jose M. Schmid, Johannes A. Sharp, Trevor Solé-Casals, Jordi Spiwok, Vojtěch Spyrou, George M. Stalidzans, Egils Stres, Blaa Sustersic, Tijana Symeonidis, Ioannis Tieri, Paolo Todd, Stephen Van Steen, Kristel Veneva, Milena Wang, Da-Hui Wang, Haiying Wang, Hui Watterson, Steven Wong-Lin, Kongfatt Yang, Su Zou, Xin Schmidt, Harald H.H.W. Centro de Tecnología Biomédica Universidad Politécnica de Madrid Madrid Spain Intelligent Systems Research Centre School of Computing Engineering and Intelligent Systems Ulster University Ulster United Kingdom Center for Physiology and Pharmacology Institute of Vascular Biology and Thrombosis Research Medical University of Vienna Vienna Austria TUM School of Life Sciences Weihenstephan Technical University of Munich Freising Germany Holon Israel CNR National Research Council IAC Institute for Applied Computing Rome Italy Lab of Computing Medical Informatics and Biomedical Imaging Technologies School of Medicine Aristotle University of Thessaloniki Thessaloniki Greece Université Clermont Auvergne INRAE UNH Plateforme d'Exploration du Métabolisme MetaboHUB Clermont Clermont-Ferrand France Université de Technologie de Compiègne Compiègne France Labex MS2T Control of Technological Systems-of-Systems CNRS and Université de Technologie de Compiègne Compiègne France Faculty of Engineering University of Kragujevac Kragujevac Serbia Kragujevac Serbia Steinbeis Advanced Risk Technologies Institute Doo Kragujevac Kragujevac Serbia Pharmacology and Therapeutics School of Medicine Galway Neuroscience Centre National University of Ireland Galway Ireland School of Computing Ulster University Ulster United Kingdom Holon Israel Department of Mathematics and Natural Sciences Kaunas University of Technology Kaunas Lithuania Faculty of Computer Science and Engineering Ss. Cyril and Methodius University Skopje Macedonia Medicine Faculty Université Libre de Bruxelles CHU de Charleroi Charleroi Belgium Northern Ireland Centre for Stratified Medicine Biomedical Sciences Research Institute Ulster University Ulster United Kingdom Escola Superior de Tecnologia e Gestão Instituto Politécnico de Portalegre Portalegre Portugal Instituto Superior Técnico Universidade de Lisboa Lisboa Portugal Faculty of Automatic Control and Computers University Politehnica of B

Background: Systems Medicine is a novel approach to medicine, that is, an interdisciplinary field that considers the human body as a system, composed of multiple parts and of complex relationships at multiple levels, and further integrated into an environment. Exploring Systems Medicine implies understanding and combining concepts coming from diametral different fields, including medicine, biology, statistics, modeling and simulation, and data science. Such heterogeneity leads to semantic issues, which may slow down implementation and fruitful interaction between these highly diverse fields. Methods: In this review, we collect and explain more than100 terms related to Systems Medicine. These include both modeling and data science terms and basic systems medicine terms, along with some synthetic definitions, examples of applications, and lists of relevant references. Results: This glossary aims at being a first aid kit for the Systems Medicine researcher facing an unfamiliar term, where he/she can get a first understanding of them, and, more importantly, examples and references for digging into the topic. © Massimiliano Zanin et al., 2021;Published by Mary Ann Liebert, Inc. 2021.

关键词： Semantics

A tube-based MPC scheme for interaction control of underwater vehicle manipulator systems

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Nikou, Alexandros Verginis, Christos K. Dimarogonas, Dimos V. Department of Automatic Control School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden

Over the last years, the development of Autonomous Underwater Vehicles (AUV) with attached robotic manipulators, the so-called Underwater Vehicle Manipulator System (UVMS), has gained significant research attention, due to the ability of interaction with underwater environments. In such applications, force/torque controllers which guarantee that the end-effector of the UVMS applies desired forces/torques towards the environment, should be designed in a way that state and input constraints are taken into consideration. Furthermore, due to their complicated structure, unmodeled dynamics as well as external disturbances may arise. Motivated by this, we proposed a robust Model Predicted control Methodology (NMPC) methodology which can handle the aforementioned constraints in an efficient way and it guarantees that the end-effector is exerting the desired forces/torques towards the environment. Simulation results verify the validity of the proposed framework. Copyright © 2018, The Authors. All rights reserved.

关键词： Manipulators

Synchronization of kuramoto oscillators in a bidirectional frequency-dependent tree network

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Jafarian, Matin Yi, Xinlei Pirani, Mohammad Sandberg, Henrik Johansson, Karl Henrik Automatic Control Department School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden

This paper studies the synchronization of a finite number of Kuramoto oscillators in a frequency-dependent bidirectional tree network. We assume that the coupling strength of each link in each direction is equal to the product of a common coefficient and the exogenous frequency of its corresponding head1oscillator. We derive a sufficient condition for the common coupling strength in order to guarantee frequency synchronization in tree networks. Moreover, we discuss the dependency of the obtained bound on both the graph structure and the way that exogenous frequencies are distributed. Further, we present an application of the obtained result by means of an event-triggered algorithm for achieving frequency synchronization in a star network assuming that the common coupling coefficient is given. Copyright © 2018, The Authors. All rights reserved.

关键词： Synchronization

The effect of transmission-line dynamics on grid-forming dispatchable virtual oscillator control

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Groß, Dominic Colombino, Marcello Brouillon, Jean-Sébastien Dörfler, Florian Automatic Control Laboratory ETH Zürich Switzerland Electrical and Computer Engineering Department McGill University Canada

In this work, we analyze the effect of transmission line dynamics on grid-forming control for inverter-based AC power systems. In particular, we investigate a dispatchable virtual oscillator control (dVOC) strategy that was recently proposed in the literature. When the dynamics of the transmission lines are neglected, i.e., if an algebraic model of the transmission network is used, dVOC ensures almost global asymptotic stability of a network of AC power inverters with respect to a pre-specified solution of the AC power-flow equations. While this approximation is typically justified for conventional power systems, the electromagnetic transients of the transmission lines can compromise the stability of an inverter-based power system. In this work, we establish explicit bounds on the controller set-points, branch powers, and control gains that guarantee almost global asymptotic stability of dVOC in combination with a dynamic model of the transmission network. Copyright © 2018, The Authors. All rights reserved.

关键词： Electric load flow

Affine Formation Maneuver control of Multi-Agent Systems with Directed Interaction Graphs

学校读者我要写书评

暂无评论

Affine Formation Maneuver Control of Multi-Agent Systems wit...

第37届中国控制会议

作者： Yang Xu Shiyu Zhao Delin Luo Yancheng You School of Aerospace Engineering Xiamen University Department of Electrical and Computer Engineering National University of Singapore Department of Automatic Control and Systems Engineering University of Sheffield

The affine formation maneuver control problem of a leader-follower type multi-agent systems with the directed interaction graphs is studied in this paper. This paper firstly gives and proves a sufficient and necessary condition of achieving the affine localizability. Then, under the（d + 1）-reachable condition of the given d-dimensional nominal formation with d + 1 leaders, a formation of agents can be reshaped in arbitrary dimension by only controlling these leaders. In the sequel, a novel distributed control method for the followers with single-integrator dynamics is proposed to achieve the desired time-varying maneuvers, and the global stability is also proved. Corresponding simulations are carried out to verify the theoretical results,which show that these followers are tracking the time-varying references accurately and continuously.

关键词： Affine formation control Multi-agent systems Directed graph Signed Laplacian

A note on the stability analysis of a class of nonlinear systems - An LMI approach

学校读者我要写书评

暂无评论

UPB Scientific Bulletin, Series C: Electrical Engineering an...

UPB Scientific Bulletin, Series C: Electrical engineering and computer Science 2018年第4期80卷 3-10页

作者： Olteanu, Mircea Ştefan, Radu Department of Mathematical Methods and Models Faculty of Applied Sciences University "Politehnica" of Bucharest Romania Department of Automatic Control and Systems Engineering Faculty of Automatic Control and Computer Science University "Politehnica" of Bucharest Romania

The main goal of the paper is to study the equilibria of a nonlinear system, proving the existence and uniqueness of an equilibrium point in the positive ortant. We also provide numerically tractable conditions (by using Linear Matrix Inequalities techniques) to check the asymptotic stability of the equilibrium point. An illustrative numerical example is closing the paper along with some conclusions. © 2018, Politechnica University of Bucharest. All rights reserved.

关键词： Nonlinear systems

Robust|$(\mathcal{Q},\mathcal{S},\mathcal{R})$|-|$\gamma$|-dissipative sliding mode control for uncertain discrete-time descriptor systems with time-varying delay

学校读者我要写书评

暂无评论

IMA Journal of Mathematical control and Information 2018年第3期35卷 735-756页

作者： Kchaou, Mourad Mahmoud, Magdi S College of Engineering University of Hail Hail Kingdom of Saudi Arabia Laboratory of Sciences and Techniques of Automatic Control & Computer Engineering University of Sfax Sfax Tunisia Distributed Control Research Lab Systems Engineering Department KFUPM Dhahran Saudi Arabia

In this study, a robust sliding mode-based learning control strategy for a class of non-linear discrete-time descriptor systems with time-varying delay and external disturbance is developed. A new sliding function is proposed and a sufficient condition is derived to guarantee the sliding mode dynamics to be robustly admissible and|$(\mathcal{Q},\mathcal{S},\mathcal{R})$|-|$\gamma$|-dissipative. Moreover, a sliding-mode control law is proposed such that the reaching motion satisfies the discrete-time sliding mode reaching condition for all admissible uncertainties and time-varying delay. The appealing attributes of this approach include: (i) the closed-loop system exhibits a strong robustness against uncertain dynamics and (ii) the control scheme enjoys the chattering-free characteristic. Two representative examples are given to illustrate the theoretical developments.

关键词：

Semantic Annotation of Arabic Web Documents using Deep Learning

学校读者我要写书评

暂无评论

Procedia computer Science 2018年 130卷 589-596页

作者： Saeed Albukhitan Ahmed Alnazer Tarek Helmy Information and Computer Science Department College of Computer Science & Engineering King Fahd University of Petroleum & Minerals Dhahran 31216 Mail Box 413 Saudi Arabia On leave from College of Engineering Department of Computers & Automatic Control Tanta University Egypt

The vision of Semantic Web is to have a Web of things instead of Web of documents in a form that can be processed by machines. This vision could be achieved on the existing Web using semantic annotation based on common and public ontologies. Due to exponential growth and the huge size of the Web sources, there is a need to have fast and automatic semantic annotation of Web documents. Arabic language received less attention in semantic Web research as compared to Latin languages especially in the field of semantic annotation. The aim of this paper is to investigate the feasibility of using word embeddings from deep learning algorithms for semantic annotation of Arabic Web documents. To evaluate the performance of the proposed framework, food, nutrition, and health ontologies were used to annotate some related Web documents. For a given set of Arabic documents and ontologies, the framework produces annotations of these documents using different output formats. The initial results show a promising performance which will support the research in the Semantic Web with respect to Arabic language. The proposed framework could be used for building semantic Web application and semantic search engines for Arabic Language.

关键词： Deep Learning Semantic Annotation Arabic Language Ontology