Acta Cybern.最新文献_第6页

Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers 鲁棒增益调度控制器的验证区间封闭技术

Acta Cybern. Pub Date : 2020-03-18 DOI: 10.14232/actacyb.24.3.2020.11

Julia Kersten, A. Rauh, H. Aschemann

{"title":"Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers","authors":"Julia Kersten, A. Rauh, H. Aschemann","doi":"10.14232/actacyb.24.3.2020.11","DOIUrl":"https://doi.org/10.14232/actacyb.24.3.2020.11","url":null,"abstract":"In real-life applications, dynamic systems are often subject to uncertainty due to model simplifications, measurement inaccuracy or approximation errors which can be mapped to specific parameters. Uncertainty in dynamic systems can come either in stochastic forms or as interval representations. The latter is applied if the uncertainty is bounded as it will be done in this paper. The main idea is to find a joint approach for an interval-based gain scheduling controller while simultaneously reducing overestimation by enclosing state intervals with the least amount of conservativity. The robust and/ or optimal control design is realized using linear matrix inequalities (LMIs) to find an efficient solution and aims at a guaranteed stabilization of the system dynamics over a predefined time horizon. A temporal reduction of the widths of intervals representing worst-case bounds of the system states at a specific point of time should occur due to asymptotic stability proven by the employed LMI-based design. However, for commonly used approaches in the computation of interval enclosures, those interval widths seemingly blow up due to the wrapping effect in many cases. To avoid this, we provide two interval enclosure techniques — an exploitation of cooperativity and an exponential approach — and discuss their applicability taking into account two real-life applications, a high-bay rack feeder and an inverse pendulum.","PeriodicalId":187125,"journal":{"name":"Acta Cybern.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117098191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Interval Predictors for a Class of Uncertain Discrete-Time Systems 一类不确定离散系统的区间预测

Acta Cybern. Pub Date : 2020-03-18 DOI: 10.14232/actacyb.24.3.2020.12

N. Meslem, J. Martínez

引用次数: 2

Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem 通过量词消去的特征值放置——静态输出反馈问题

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.8

K. Röbenack, Rick Vosswinkel

引用次数: 2

Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems 一维Schrödinger-Poisson系统的计算机辅助存在证明

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.6

Jonathan Wunderlich, M. Plum

引用次数: 0

Characterizing Sliding Surfaces of Cyber-Physical Systems 表征信息物理系统的滑动面

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.9

L. Jaulin, F. L. Bars

引用次数: 1

Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving 利用自动微分和高指数DAE求解自然坐标下的多体动力学

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/ACTACYB.24.3.2020.4

J. Pryce, N. Nedialkov

引用次数: 1

Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems 可靠的视觉分析，工程系统结果评估的先决条件

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.3

W. Luther, E. Auer, B. Weyers

引用次数: 4

Sound Over-Approximation of Probabilities 合理的概率过度逼近

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.2

E. Moggi, Walid M. Taha, J. Thunberg

{"title":"Sound Over-Approximation of Probabilities","authors":"E. Moggi, Walid M. Taha, J. Thunberg","doi":"10.14232/actacyb.24.3.2020.2","DOIUrl":"https://doi.org/10.14232/actacyb.24.3.2020.2","url":null,"abstract":"Safety analysis of high confidence systems requires guaranteed bounds on the probabilities of events of interest. Establishing the correctness of algorithms that aim to compute such bounds is challenging. We address this problem in three steps. First, we use monadic transition systems (MTS) in the category of sets as a framework for modeling discrete time systems. MTS can capture different types of system behaviors, but we focus on a combination of non-deterministic and probabilistic behaviors that often arises when modeling complex systems. Second, we use the category of posets and monotonic maps as a setting to define and compare approximations. In particular, for the MTS of interest, we consider approximations of their configurations based on complete lattices. Third, by restricting to finite lattices, we obtain algorithms that compute over-approximations, i.e., bounds from above within some partial order of approximants, of the system configuration after n steps. Interestingly, finite lattices of “interval probabilities” may fail to accurately approximate configurations that are both non-deterministic and probabilistic, even for deterministic (and continuous) system dynamics. However, better choices of finite lattices are available.","PeriodicalId":187125,"journal":{"name":"Acta Cybern.","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131802610","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Verified Solution to Optimal Control Problems of Elastic Rod Motion Based on the Ritz Method 基于Ritz方法的弹性杆运动最优控制问题验证解

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.7

G. Kostin

引用次数: 3

Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows 流体流动磁共振成像中测量误差的影响分析

Acta Cybern. Pub Date : 2020-03-16 DOI: 10.14232/actacyb.24.3.2020.5

K. John, A. Rauh, M. Bruschewski, S. Grundmann

{"title":"Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows","authors":"K. John, A. Rauh, M. Bruschewski, S. Grundmann","doi":"10.14232/actacyb.24.3.2020.5","DOIUrl":"https://doi.org/10.14232/actacyb.24.3.2020.5","url":null,"abstract":"Magnet resonance imaging does not only have a large number of applications in the field of medical examinations. In addition, several promising applications were also reported for the measurement of technical fluid flows and for the measurement of temperature fields in technical devices which do not allow for a classical access by either arrays of flow meters on the one hand or by arrays of temperature sensors such as thermocouples on the other hand. Due to the fact that magnet resonance imaging can be performed in a non-invasive manner, it has the advantage to provide relevant data without disturbing the velocity and temperature fields by external sensor devices. Moreover, measurement information can also be obtained for scenarios in which a direct access to the media under investigation is hardly possible due to constructive limitations. To make this kind of measurement applicable also for dynamic scenarios, not only the spatial resolution but also the temporal one needs to be sufficiently accurate. If the temporal resolution is of interest, an acceleration of the measurement process becomes possible by compressed sensing techniques which make use of an undersampling of the so-called $k$-space. However, such compressed sensing approaches require a reconstruction of the original fields of the physical variables to be measured. In this paper, it is shown how interval arithmetic approaches can be employed to solve the necessary optimality criteria for the fluid velocity reconstruction under the assumption of bounded measurement errors.","PeriodicalId":187125,"journal":{"name":"Acta Cybern.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126204129","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5