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

arXiv 2019年

作者： Trodden, P.A. Maestre, J.M. Ishii, H. Department of Automatic Control Ystems Engineering University of Sheffield Sheffield United Kingdom Departmento de Ingenieria de Sistemas y Automatica University of Seville Seville Spain Department of Computer Science Tokyo Institute of Technology Yokohama Japan

This paper considers a constrained discrete-time linear system subject to actuation attacks. The attacks are modelled as false data injections to the system, such that the total input (control input plus injection) satisfies hard input constraints. We establish a sufficient condition under which it is not possible to maintain the states of the system within a compact state constraint set for all possible realizations of the actuation attack. The developed condition is a simple function of the spectral radius of the system, the relative sizes of the input and state constraint sets, and the proportion of the input constraint set allowed to the attacker. Copyright © 2019, The Authors. All rights reserved.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Damping a pendulum's swing by string length adjustment - design and comparison of various control methods

Damping a pendulum's swing by string length adjustment - des...

引用

American control Conference (ACC)

作者： Milan Anderle Wim Michiels Sergej Čelikovský Tomáš Vyhlídal The Czech Academy of Sciences Institute of Information Theory and Automation (UTIA AV ČR) Prague 8 Czech Republic Department of Computer Science Heverlee Belgium Department of Instrumentation and Control Engineering Czech Technical University in Prague Czech Republic

A novel nonlinear control theory based feedback controller is proposed to damp the oscillations of the suspended load (pendulum) using the active modification of the length of the suspension string. This setting is a highly nonlinear one since the approximate linearization around the equilibrium working point is neither controllable, nor asymptotically stabilizable. The nonlinear design of the control law is therefore based on the conveniently selected control Lyapunov function. The resulting control law is then compared to the previously developed time-delay feedback control law, both in simulations and using the laboratory experimental realization of the suspended load system. Despite the fact that in the simulations the time-delay feedback control law suppresses the oscillations better than the nonlinear control law, in the experiments the performance of the time-delay feedback and of the nonlinear control law are rather similar. Moreover, the former keeps the pendulum string length oscillating, the latter stabilizes the nominal string length as well. Finally, the numerical optimization shows that the ideal damping would be provided by the impulsive-like control producing piece-wise constant string length dynamics.

关键词： Oscillators Mathematical model Damping Aerospace electronics Adaptive control Lyapunov methods Force

来源：评论

学校读者我要写书评

暂无评论

Magnetic Tracking: A Facile Magnetic System for Tracking of Medical Devices (Adv. Mater. Technol. 6/2021)

引用

Advanced Materials Technologies 2021年第6期6卷

作者： Liam Swanepoel Nouf Alsharif Alexander Przybysz Pieter Fourie Pierre Goussard Mohammad Asadullah Khan Abdullah Almansouri Jurgen Kosel Computer Electrical and Mathematical Sciences and Engineering King Abdullah University of Science and Technology Thuwal Makkah 23955-6900 Saudi Arabia Department of Paediatrics and Child Health Stellenbosch University Stellenbosch Western Cape 7600 South Africa Department of Automatic Control and Systems Engineering The University of Sheffield Sheffield S1 3JD UK Department of Electrical and Electronic Engineering University of Jeddah Jeddah Makkah 21959 Saudi Arabia Department of Sensor Systems Silicon Austria Labs Villach 9524 Austria

来源：评论

学校读者我要写书评

暂无评论

Robustness Of Stochastic Learning Dynamics To Player Heterogeneity In Games

Robustness Of Stochastic Learning Dynamics To Player Heterog...

引用

IEEE Annual Conference on Decision and control

作者： Hassan Jaleel Waseem Abbas Jeff S. Shamma Department of Electrical Engineering Lahore University of Management Science (LUMS) Lahore Pakistan Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA Robotics Intelligent Systems & Control (RISC) Lab King Abdullah University of Science and Technology (KAUST) Thuwal Saudi Arabia

ISBN: (数字)9781728113982

ISBN: (纸本)9781728113999

We investigate the impact of players with heterogeneous update rules on the long-term behavior of a population under stochastic learning dynamics. We show that under certain conditions, the presence of even a single heterogeneous player with a different decision making strategy can significantly alter the long-term behavior of the entire population. To quantify the impact of a heterogeneous player, we define a new notion of robustness of stochastic learning dynamics to player heterogeneity. Based on our proposed notion, an action profile that is stochastically stable under the standard setup is robust to player heterogeneity if it can still explain the long-run behavior of all the players other than the heterogeneous players. We consider two types of heterogeneous players: A confused player who randomly updates his actions and a stubborn player who never updates his action. For each of these types, we present a qualitative description of scenarios in which an action profile that is stochastically stable under the standard setup is not robust to the presence of a heterogeneous player of a particular type.

关键词： Robustness Stochastic processes Sociology Statistics Standards Games Resistance

来源：评论

学校读者我要写书评

暂无评论

Automatic Support of the Generation and Maintenance of Assurance Cases 4th

Automatic Support of the Generation and Maintenance of Assur...

引用

4th International Symposium on Dependable Software engineering: Theories, Tools, and Applications, SETTA 2018

作者： Lin, Chung-Ling Shen, Wuwei Yue, Tao Li, Guangyuan Department of Computer Science Western Michigan University Kalamazoo United States Simula Research Laboratory University of Oslo Oslo Norway State Key Laboratory of Computer Science Institute of Software Beijing China China School of Computer and Control Engineering UCAS Beijing China

ISBN: (纸本)9783319999326

One of the challenges in developing safety critical systems is to ensure software assurance which encompasses quality attributes such as reliability and security as well as functionality and performance. An assurance case, which lays out an argumentation-structure with supporting evidence to claim that software assurance in a system is achieved, is increasingly considered as an important means to gain confidence that a system has achieved acceptable safety when checking with emerging standards and national guidelines. However, the complexity of modern safety critical applications hinders the automatic integration of heterogeneous artifacts into an assurance case during a development process such as a V-model, let alone the automatic support of system evolution. In this paper, we present a novel framework to automatically generate assurance cases via safety patterns and further support the maintenance of them during a system’s evolution. The application of safety patterns not only enables reusability of previously successful argument structures but also directs the support of assurance maintenance caused by common types of modifications in safety critical domains. The framework is implemented as a prototypical tool built using Model Driven Architecture (MDA). We evaluated the framework with two case studies featuring two criteria and the preliminary experimental results not only show that the framework is useful in evaluation of safety critical systems but also reveal how different types of modification can affect a structure of an assurance case. © 2018, Springer Nature Switzerland AG.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

LIC-fusion: LiDAR-inertial-camera odometry

arXiv

引用

arXiv 2019年

作者： Zuo, Xingxing Geneva, Patrick Lee, Woosik Liu, Yong Huang, Guoquan Institute of Cyber-System and Control Zhejiang University Hangzhou China Department of Mechanical Engineering University of Delaware NewarkDE19716 United States Department of Computer and Information Sciences University of Delaware NewarkDE19716 United States

This paper presents a tightly-coupled multi-sensor fusion algorithm termed LiDAR-inertial-camera fusion (LIC-Fusion), which efficiently fuses IMU measurements, sparse visual features, and extracted LiDAR points. In particular, the proposed LIC-Fusion performs online spatial and temporal sensor calibration between all three asynchronous sensors, in order to compensate for possible calibration variations. The key contribution is the optimal (up to linearization errors) multi-modal sensor fusion of detected and tracked sparse edge/surf feature points from LiDAR scans within an efficient MSCKF-based framework, alongside sparse visual feature observations and IMU readings. We perform extensive experiments in both indoor and outdoor environments, showing that the proposed LIC-Fusion outperforms the state-of-the-art visual-inertial odometry (VIO) and LiDAR odometry methods in terms of estimation accuracy and robustness to aggressive motions. Copyright © 2019, The Authors. All rights reserved.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Adaptive Fault-Tolerant control of A Two-car High-speed Train Model with Inter-car Flexible Link and Traction Actuator Failures*

Adaptive Fault-Tolerant Control of A Two-car High-speed Trai...

引用

Asian control Conference

作者： Zehui Mao Gang Tao Bin Jiang Xing-Gang Yan Yali Xue Ministry of Industry and Information Technology and Jiangsu Key Laboratory of Internet of Things and Control Technologies (NUAA) Key Laboratory of Navigation Control and Health Management Technologies of Advanced Aircraft (NUAA) Department of Electrical and Computer Engineering University of Virginia Charlottesville VA USA School of Engineering and Digital Arts University of Kent Canterbury United Kingdom

ISBN: (纸本)9781728102634

This paper studies the adaptive fault-tolerant tracking control problem for the high-speed trains with intercar flexible link and traction actuator failures. This study is focused on a benchmark model which, as a main dynamic unit of the CRH (China Railway High-speed) train, is a two-car dynamic system with a flexible link between two cars, for which the input acts on the second car and the output is the speed of the first car. This model is under parameter uncertainties and subject to uncertain actuator failures. For such an underactuated system, to ensure the first car tracking a desired speed trajectory, a coordinate transformation method is employed to decompose the system model into a control dynamics subsystem and a zero dynamics subsystem. Stability analysis is conducted to show that such a zero dynamic system is Lyapunov stable and is partially input-to-state stable. An adaptive fault-tolerant controller is developed which is able to ensure the closed-loop system signal boundedness and desired speed tracking, in the presence of the actuator failures and unknown system parameters. Simulation results from a realistic train dynamic model are presented to verify the effectiveness of the adaptive controller.

关键词： Automobiles Actuators Fault tolerance Fault tolerant systems Adaptation models Aerodynamics Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

HIV and COVID-19 co-infection: A mathematical model and optimal control

引用

Informatics in Medicine Unlocked 2022年 31卷 100978页

作者： Ringa, N. Diagne, M.L. Rwezaura, H. Omame, A. Tchoumi, S.Y. Tchuenche, J.M. Data and Analytic Services British Columbia Centre for Disease Control 655 W 12th Ave Vancouver BC V5Z 4R4 Canada School of Population and Public Health University of British Columbia 2329 West Mall Vancouver BC V6T 1Z4 Canada Département de Mathématiques UFR des Sciences et Technologies Université de Thiès Thiès BP 967 Senegal Mathematics Department University of Dar es Salaam P.O. Box 35062 Dar es Salaam Tanzania Department of Mathematics Federal University of Technology Owerri Nigeria Abdus Salam School of Mathematical Sciences Government College University Lahore Pakistan Department of Mathematics and Computer Sciences ENSAI University of Ngaoundéré P.O. Box 455 Ngaoundéré Cameroon School of Computer Science and Applied Mathematics University of the Witwatersrand Private Bag 3 Wits 2050 Johannesburg South Africa School of Computational and Communication Sciences and Engineering Nelson Mandela African Institution of Science and Technology P.O. Box 447 Arusha Tanzania

A new mathematical model for COVID-19 and HIV/AIDS is considered to assess the impact of COVID-19 on HIV dynamics and vice-versa. Investigating the epidemiologic synergy between COVID-19 and HIV is important. The dynamics of the full model is driven by that of its sub-models;therefore, basic analysis of the two sub-models;HIV-only and COVID-19 only is carried out. The basic reproduction number is computed and used to prove local and global asymptotic stability of the sub-models’ disease-free and endemic equilibria. Using the fmincon function in the Optimization Toolbox of MATLAB, the model is fitted to real COVID-19 data set from South Africa. The impact of intervention measures, namely, COVID-19 and HIV prevention interventions and COVID-19 treatment are incorporated into the model using time-dependent controls. It is observed that HIV prevention measures can significantly reduce the burden of co-infections with COVID-19, while effective treatment of COVID-19 could reduce co-infections with opportunistic infections such as HIV/AIDS. In particular, the COVID-19 only prevention strategy averted about 10,500 new co-infection cases, with similar number also averted by the HIV-only prevention control. © 2022 The Author(s)

关键词： Basic reproduction number Co-infection COVID-19 HIV Optimal control

来源：评论

学校读者我要写书评

暂无评论

Testing a quantum annealer as a quantum thermal sampler

arXiv

引用

arXiv 2020年

作者： Izquierdo, Zoe Gonzalez Albash, Tameem Hen, Itay QuAIL NASA Ames Research Center United States USRA Research Institute for Advanced Computer Science Mountain ViewCA94043 United States Department of Electrical and Computer Engineering University of New Mexico AlbuquerqueNM87131 United States Department of Physics and Astronomy Center for Quantum Information and Control CQuIC University of New Mexico AlbuquerqueNM87131 United States Department of Physics and Astronomy Center for Quantum Information Science & Technology University of Southern California Los AngelesCA90089 United States Information Sciences Institute University of Southern California Marina del ReyCA90292 United States

Motivated by recent experiments in which specific thermal properties of complex many-body systems were successfully reproduced on a commercially available quantum annealer, we examine the extent to which quantum annealing hardware can reliably sample from the thermal state in a specific basis associated with a target quantum Hamiltonian. We address this question by studying the diagonal thermal properties of the canonical one-dimensional transverse-field Ising model on a D-Wave 2000Q quantum annealing processor. We find that the quantum processor fails to produce the correct expectation values predicted by Quantum Monte Carlo. Comparing to master equation simulations, we find that this discrepancy is best explained by how the measurements at finite transverse fields are enacted on the device. Specifically, measurements at finite transverse field require the system to be quenched from the target Hamiltonian to a Hamiltonian with negligible transverse field, and this quench is too slow. The limitations imposed by such hardware make it an unlikely candidate for thermal sampling, and it remains an open question what thermal expectation values can be robustly estimated in general for arbitrary quantum many-body systems. Copyright © 2020, The Authors. All rights reserved.

关键词： Annealing

来源：评论

学校读者我要写书评

暂无评论

Post-mortem iris decomposition and its dynamics in morgue conditions

arXiv

引用

arXiv 2019年

作者： Trokielewicz, Mateusz Czajka, Adam Maciejewicz, Piotr Warsaw University of Technology Institute of Control and Computation Engineering Nowowiejska 15/19 Warsaw00665 Poland Department of Computer Science and Engineering University of Notre Dame Notre DameIN46556 United States Department of Ophthalmology Medical University of Warsaw Lindleya 4 Warsaw02005 Poland

With increasing interest in employing iris biometrics as a forensic tool for identification by investigation authorities, there is a need for a thorough examination and understanding of post-mortem decomposition processes that take place within the human eyeball, especially the iris. This can prove useful for fast and accurate matching of ante-mortem with post-mortem data acquired at crime scenes or mass casualties, as well as for ensuring correct dispatching of bodies from the incident scene to a mortuary or funeral homes. Following these needs of forensic community, this paper offers an analysis of the coarse effects of eyeball decay done from a perspective of automatic iris recognition point of view. Therefore, we analyze postmortem iris images acquired in both visible light as well as in near-infrared light (860 nm), as the latter wavelength is used in commercial iris recognition systems. Conclusions and suggestions are provided that may aid forensic examiners in successfully utilizing iris patterns in post-mortem identification of deceased subjects. Initial guide-lines regarding the imaging process, types of illumination, resolution are also given, together with expectations with respect to the iris features decomposition rates. Copyright © 2019, The Authors. All rights reserved.

关键词： Biometrics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：