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

23rd International Conference on Distributed computer and Communication Networks, DCCN 2020

作者： Sharofidinov, Fatkhullokhodzha Muthanna, Mohammed Saleh Ali Pham, Van Dai Khakimov, Abdukodir Muthanna, Ammar Samouylov, Konstantin The Bonch-Bruevich Saint-Petersburg State University of Telecommunications Prospekt Bolshevikov 22 St. Petersburg Russia Department of Automation and Control Processes Saint-Petersburg Electrotechnical University "LETI" Saint-Petersburg Russia 6 Miklukho-Maklaya Street Moscow117198 Russia School of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing China

ISBN: (纸本)9783030664701

Internet of Things (IoT) technologies represent the future challenges of computing and communications. They can also be useful to improve traditional farming practices worldwide. Since the areas where agricultural land is located in remote places, there is a need for new technologies. These technologies must be suitable and reliable for communication over long distances and, at the same time, consume little energy. In particular, one of these relatively new technologies is the LoRa communication protocol, which uses long waves to work over long distances. This is extremely useful in agriculture, where the communicating areas are broad fields of crops and greenhouses. This study developed a greenhouse monitoring system based on LoRa technology, designed to work over long distances. The edge computing paradigms with a machine learning mechanism are proposed to analyze and control the state of the greenhouse, and in particular, to reduce the mount of data transmitted to the server. © 2020, Springer Nature Switzerland AG.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

WIP abstract: Towards approximate opacity of cyber-physical system 10

WIP abstract: Towards approximate opacity of cyber-physical ...

引用

10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week

作者： Yin, Xiang Zamani, Majid Department of Automation Shanghai Jiao Tong University Key Lab of System Control and Information Processing Ministry of Education Shanghai China Department of Computer Science University of Colorado Boulder United States

ISBN: (纸本)9781450362856

Opacity is an important information-flow security property in the analysis of cyber-physical systems. In this abstract, we extend the concept of opacity to systems whose output sets are equipped with metrics. A new concept called approximate opacity is proposed in order to quantitatively evaluate the security guarantee level with respect to the measurement precision of the intruder. Then we propose a new simulation-type relation called approximate opacity preserving simulation relations, which characterizes how close two systems are in terms of the satisfaction of approximate opacity. We also discuss how to construct approximate opacity preserving symbolic models for a class of discrete-time control systems. © 2019 Copyright held by the owner/author(s).

关键词： Opacity

来源：评论

学校读者我要写书评

暂无评论

Secure-by-construction optimal path planning for linear temporal logic tasks

arXiv

引用

arXiv 2020年

作者： Yang, Shuo Yin, Xiang Li, Shaoyuan Zamani, Majid Department of Automation and Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai200240 China Computer Science Department University of Colorado BoulderCO80309 United States Computer Science Department Ludwig Maximilian University of Munich Munich80539 Germany

In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that the external behavior of the robot, specified by an output function, can be accessed by a passive intruder (eavesdropper). The security constraint requires that the intruder should never infer that the robot was started from a secret location. We provide a sound and complete algorithmic procedure to solve this problem. Our approach is based on the construction of the twin weighted transition systems (twin-WTS) that tracks a pair of paths having the same observation. We show that the security-aware path planning problem can be effectively solved based on graph search techniques in the product of the twin-WTS and the Büchi automaton representing the LTL formula. The complexity of the proposed planning algorithm is polynomial in the size of the system model. Finally, we illustrate our algorithm by a simple robot planning example. Copyright © 2020, The Authors. All rights reserved.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Formation control for Mobile Robot using Fuzzy - PI controller

Formation Control for Mobile Robot using Fuzzy - PI Controll...

引用

International Conference on Advanced Robotics and Intelligent Systems (ARIS)

作者： Min-Fan Ricky Lee H.P.M Willybrordus Sukamto Sharfiden Hassen Asep Nugroho National Taiwan University of Science and Technology Taipei Taiwan Department of Electrical Engineering National Taiwan University of Science and Technology Taipei Taiwan Department of Computer Science and Information Engineering National Taiwan University of Science and Technology Taipei Taiwan College of Graduate Institute of Automation and Control National Taiwan University of Science and Technology Taipei Taiwan Graduate Institute of Automation and Control National Taiwan University of Science and Technology Taipei Taiwan

ISBN: (数字)9781728198231

ISBN: (纸本)9781728198248

Protecting soldiers in the long march of platoon formation is crucial mission in the military operation. Autonomous ground mobile robots can be deployed to carry out such kind of the mission. The primary task is maintaining robot position automatically based on the movement of soldier in a platoon formation. The GPS is employed to determine the soldier current pose. This information is used as an input to create a dynamic convex hull around a platoon. The Proportional-Integral (PI) controller is applied to control each robot so it can move in a desired trajectory. The fuzzy logic control (FLC) is involved to tune the gain of PI controller to optimize the performance. Three protective robots and nine soldiers are used to evaluate the algorithm in simulation. The proposed algorithm will provide a platoon soldiers with optimal protection encirclement and enhance their safety. The simulation results show good performance using the proposed controller.

关键词： Robot kinematics Mobile robots Wheels Task analysis Fuzzy logic Kinematics

来源：评论

学校读者我要写书评

暂无评论

control design and Lyapunov Functions via Bernstein Approximations: Exact Results ⁎

引用

IFAC-PapersOnLine 2020年第2期53卷 6459-6464页

作者： Tareq Hamadneh Nikolaos Athanasopoulos Rafael Wisniewski Al Zaytoonah University of Jordan Department of Mathematics Amman Jordan School of Electronics Electrical Engineering and Computer Science Queen’s University Belfast Northern Ireland Section of Automation and Control Aalborg University 9220 Aalborg East Denmark

We study the control problem for polynomial continuous-time dynamical systems. We consider polynomial Lyapunov functions and controllers, both parameterised in Bernstein form. Specifically, we present necessary and sufficient conditions for existence of polynomial controllers and Lyapunov functions of some maximum degree, providing at the same time explicit upper bounds on the degree of the involved Bernstein polynomials. The formulated conditions are a set of algebraic inequalities, in the space of Bernstein coefficients.

关键词： Bernstein polynomials control design certificates of positivity Lyapunov stability control Lyapunov Functions polynomial systems

来源：评论

学校读者我要写书评

暂无评论

Zeroth-order algorithms for stochastic distributed nonconvex optimization

arXiv

引用

arXiv 2021年

作者： Yi, Xinlei Zhang, Shengjun Yang, Tao Johansson, Karl H. Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm10044 Sweden Department of Electrical Engineering University of North Texas DentonTX76203 United States State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang110819 China

In this paper, we consider a stochastic distributed nonconvex optimization problem with the cost function being distributed over n agents having access only to zeroth-order (ZO) information of the cost. This problem has various machine learning applications. As a solution, we propose two distributed ZO algorithms, in which at each iteration each agent samples the local stochastic ZO oracle at two points with a time-varying smoothing parameter. We show that the proposed algorithms achieve the linear speedup convergence rate O(√p=(nT)) for smooth cost functions under the state-dependent variance assumptions which are more general than the commonly used bounded variance and Lipschitz assumptions, and O(p=(nT)) convergence rate when the global cost function additionally satisfies the Polyak-Lojasiewicz (P-L) condition in addition, where p and T are the dimension of the decision variable and the total number of iterations, respectively. To the best of our knowledge, this is the first linear speedup result for distributed ZO algorithms, which enables systematic processing performance improvements by adding more agents. We also show that the proposed algorithms converge linearly under the relative bounded second moment assumptions and the P-L condition. We demonstrate through numerical experiments the efficiency of our algorithms on generating adversarial examples from deep neural networks in comparison with baseline and recently proposed centralized and distributed ZO algorithms. Copyright © 2021, The Authors. All rights reserved.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Reputation-based Distributed Filtering Over Sensor Networks Subject to Stochastic Nonlinearity and Network-Induced Quantization

引用

IEEE Transactions on Network science and Engineering 2025年

作者： Jia, Chaoqing Wang, Zidong Hu, Jun Dong, Hongli Harbin University of Science and Technology School of Automation Harbin150080 China Harbin University of Science and Technology Heilongjiang Provincial Key Laboratory of Optimization Control and Intelligent Analysis for Complex Systems Harbin150080 China Brunel University London Department of Computer Science UxbridgeUB8 3PH United Kingdom Harbin University of Science and Technology Department of Applied Mathematics Harbin150080 China Northeast Petroleum University Artificial Intelligence Energy Research Institute Daqing163318 China Northeast Petroleum University Heilongjiang Provincial Key Laboratory of Networking and Intelligent Control Daqing163318 China

In sensor networks, due to inevitable sensor faults, malfunctions, or deliberate attacks, sensors may transmit erroneous, inaccurate, or misleading data, thereby degrading overall system performance. To address this issue, an effective approach is to assign reputation scores to sensors based on their trustworthiness, historical performance, or reliability. In this paper, the reputation-based distributed filtering (RBDF) problem is considered for a class of stochastic nonlinear systems over sensor networks with network-induced quantization. A reputation mechanism is employed to mitigate the adverse effects caused by noisy, faulty, or malicious sensors. Specifically, reputations are allocated by each sensor to the data received from its neighbors, ensuring that abnormal data are assigned smaller reputation values and may even be discarded. For the first time, a recursive RBDF algorithm is proposed, wherein an upper bound of the filtering error covariance (UBFEC) is derived by solving two matrix equations. Subsequently, the filter gain is determined by minimizing the trace of UBFEC at each step. Furthermore, a sufficient condition is presented to ensure the uniform boundedness of the filtering error dynamics. Finally, a simulation example is provided to verify the feasibility and validity of the developed RBDF algorithm. © 2013 IEEE.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Productive multitasking for industrial robots

arXiv

引用

arXiv 2021年

作者： Wuthier, David Rovida, F. Fumagalli, M. Krüger, V. Automation and Control Department of Electrical Engineering Technical University of Denmark Elektrovej Building 326 Kgs. Lyngby2800 Denmark RiACT ApS A. C. Meyers Vænge 15 Copenhagen SV2450 Denmark Department of Computer Science Lund University Ole Römers Väg 3 Lund223 63 Sweden

The application of robotic solutions to small-batch production is challenging: economical constraints tend to dramatically limit the time for setting up new batches. Organizing robot tasks into modular software components, called skills, and allowing the assignment of multiple concurrent tasks to a single robot is potentially game-changing. However, due to cycle time constraints, it may be necessary for a skill to take over without waiting on another to terminate, and the available literature lacks a systematic approach in this case. In the present article, we fill the gap by (a) establishing the specifications of skills that can be sequenced with partial executions, (b) proposing an implementation based on the combination of finite-state machines and behavior trees, and (c) demonstrating the benefits of such skills through extensive trials in the environment of ARIAC (Agile Robotics for Industrial automation Competition). Copyright © 2021, The Authors. All rights reserved.

关键词： Competition

来源：评论

学校读者我要写书评

暂无评论

An integrative drug repositioning framework discovered a potential therapeutic agent targeting COVID-19

引用

Signal Transduction and Targeted Therapy 2021年第5期6卷 1585-1600页

作者： Yiyue Ge Tingzhong Tian Suling Huang Fangping Wan Jingxin Li Shuya Li Xiaoting Wang Hui Yang Lixiang Hong Nian Wu Enming Yuan Yunan Luo Lili Cheng Chengliang Hu Yipin Lei Hantao Shu Xiaolong Feng Ziyuan Jiang Yunfu Wu Ying Chi Xiling Guo Lunbiao Cui Liang Xiao Zeng Li Chunhao Yang Zehong Miao Ligong Chen Haitao Li Hainian Zeng Dan Zhao Fengcai Zhu Xiaokun Shen Jianyang Zeng Institute for Interdisciplinary Information Sciences Tsinghua UniversityBeijingChina NHC Key laboratory of Emeric Pathogenic Microbiology Jiangsu Provincial Center for Diseases Control and PreventionNanjingJiangsu ProvinceChina Shanghai Institute of Materia Medica Chinese Academy of SciencesShanghaiChina Silexon Al Technology Co. Ltd.NanjingJiangsu ProvinceChina Department of Computer Science University of Illinois at Urbana-ChampaignIllinoisILUSA School of Pharmaceutical Sciences Tsinghua UniversityBeijingChina School of Electronic Information and Communications Huazhong University of Science and TechnologyWuhanHubei ProvinceChina Institute of Pathology Tongji HospitalTongji Medical CollegeHuazhong University of Science and TechnologyWuhanHubei ProvinceChina Department of Automation Tsinghua UniversityBeijingChina Inner Mongolia Alashan League Organization Establishment Committee Office Electronic Support Center AlashanInner MongoliaChina Convalife(Shanghai)Co. Ltd.ShanghaiChina Advanced Innovation Center for Human Brain Protection Beijing Tiantan HospitalCapital Medical UniversityBeijingChina Beijing Advanced Innovation Center for Structural Biology Tsinghua-Peking Joint Center for Life SciencesDepartment of Basic Medical SciencesSchool of MedicineTsinghua UniversityBeijingChina Center for Global Health Nanjing Medical UniversityNanjingJiangsu ProvinceChina

The global spread of severe acute respiratory syndrome coronavirus 2(SARS-CoV-2)requires an urgent need to find effective therapeutics for the treatment of coronavirus disease 2019(COVID-19).In this study,we developed an integrative drug repositioning framework,which fully takes advantage of machine learning and statistical analysis approaches to systematically integrate and mine large-scale knowledge graph,literature and transcriptome data to discover the potential drug candidates against *** in silico screening followed by wet-lab validation indicated that a poly-ADP-ribose polymerase 1(PARP1)inhibitor,CVL218,currently in Phase I clinical trial,may be repurposed to treat *** in vitro assays revealed that CVL218 can exhibit effective inhibitory activity against SARS-CoV-2 replication without obvious cytopathic *** addition,we showed that CVL218 can interact with the nucleocapsid(N)protein of SARS-CoV-2 and is able to suppress the LPS-induced production of several inflammatory cytokines that are highly relevant to the prevention of immunopathology induced by SARS-CoV-2 infection.

关键词： prevention respiratory acute

来源：评论

学校读者我要写书评

暂无评论

Management of services of a hyperconverged infrastructure using the coordinator 1st

Management of services of a hyperconverged infrastructure us...

引用

1st International Conference on computer science, Engineering and Education Applications, ICCSEEA2018

作者： Rolik, Oleksandr Telenyk, Sergii Zharikov, Eduard Department of Automation and Control in Technical Systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine Department of Theoretical Electrical Engineering and Computer Science Faculty of Electrical and Computer Engineering Cracow University of Technology Cracow Poland

ISBN: (纸本)9783319910079

Modern data centers’ providers are gradually moving away from traditional and multi-vendor IT infrastructures to open, standardized and interchangeable solutions that are based on a software defined approach to managing data center resources. The authors analyze the architectural features, requirements, limitations, hardware and software of hyperconverged infrastructures and their advantages in comparison with traditional and converged architectures deployed in data centers. The authors propose to employ two-level coordination schema to manage compute, storage, network and virtualization subsystems of hyperconverged infrastructure along with the self-management algorithms inside these subsystems. © Springer International Publishing AG, part of Springer Nature 2019.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：