2016 IEEE Conference on Control Applications (CCA)最新文献

CUSUM and chi-squared attack detection of compromised sensors CUSUM和卡方攻击检测受损传感器

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-13 DOI: 10.1109/CCA.2016.7587875

C. Murguia, Justin Ruths

引用次数: 67

Sampling-based stochastic optimal control with metric interval temporal logic specifications 基于抽样的度量区间时间逻辑规范随机最优控制

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-13 DOI: 10.1109/CCA.2016.7587911

Felipe J. Montana, Jun Liu, T. Dodd

引用次数: 6

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP 教程:用于混合系统验证，转换和合成的软件工具:C2E2, HyST和TuLiP

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-10 DOI: 10.1109/CCA.2016.7587948

Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, S. Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, L. V. Nguyen, Christian Schilling, A. Sogokon, Hoang-Dung Tran, Weiming Xiang

{"title":"Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP","authors":"Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, S. Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, L. V. Nguyen, Christian Schilling, A. Sogokon, Hoang-Dung Tran, Weiming Xiang","doi":"10.1109/CCA.2016.7587948","DOIUrl":"https://doi.org/10.1109/CCA.2016.7587948","url":null,"abstract":"Hybrid systems have both continuous and discrete dynamics and are useful for modeling a variety of control systems, from air traffic control protocols to robotic maneuvers and beyond. Recently, numerous powerful and scalable tools for analyzing hybrid systems have emerged. Several of these tools implement automated formal methods for mathematically proving a system meets a specification. This tutorial session will present three recent hybrid systems tools: C2E2, HyST, and TuLiP. C2E2 is a simulated-based verification tool for hybrid systems, and uses validated numerical solvers and bloating of simulation traces to verify systems meet specifications. HyST is a hybrid systems model transformation and translation tool, and uses a canonical intermediate representation to support most of the recent verification tools, as well as automated sound abstractions that simplify verification of a given hybrid system. TuLiP is a controller synthesis tool for hybrid systems, where given a temporal logic specification to be satisfied for a system (plant) model, TuLiP will find a controller that meets a given specification.","PeriodicalId":301744,"journal":{"name":"2016 IEEE Conference on Control Applications (CCA)","volume":"2672 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133504098","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}

引用次数: 7

Decentralized disturbance rejection control for large-scale interconnected power system 大型互联电力系统的分散抗扰控制

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-10 DOI: 10.1109/CCA.2016.7587819

Wei Wang, H. Ohmori

引用次数: 0

SoC regulator and DOB-based load frequency control of a microgrid by coordination of diesel generator and battery storage 基于SoC调节器和dob的柴油发电机与蓄电池协同微电网负荷频率控制

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-10 DOI: 10.1109/CCA.2016.7587823

Takuto Hiranaka, H. Shim, T. Namerikawa

{"title":"SoC regulator and DOB-based load frequency control of a microgrid by coordination of diesel generator and battery storage","authors":"Takuto Hiranaka, H. Shim, T. Namerikawa","doi":"10.1109/CCA.2016.7587823","DOIUrl":"https://doi.org/10.1109/CCA.2016.7587823","url":null,"abstract":"In this paper, the load-frequency control problem of microgrid is discussed. The control is applied to maintain a balance between electric-power demand and supply by controlling the outputs of generators in power systems. However, because of the large-scale introduction of energy from renewable-energy sources, it has become more difficult to maintain this balance. To solve this problem, we consider introducing batteries to microgrid. Therefore, we focus on a microgrid that comprises wind-turbine generators, loads, diesel generators, and batteries. First, we design a generalized plant including the diesel generators and batteries. Then, we apply disturbance observer to decide a reference input to diesel generators and batteries. And, we split the reference input into that for diesel generators and that for batteries considering the differences in the response speeds by applying low-pass filter. Furthermore, we apply SoC regulator for the state of charge of batteries reaching maximum capacity or minimum capacity. Finally, we perform numerical simulations to verify that the control method can suppress the frequency deviations and deviations in the residual capacity of the battery.","PeriodicalId":301744,"journal":{"name":"2016 IEEE Conference on Control Applications (CCA)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133167121","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

Continuous-time model identification of time-varying systems using non-uniformly sampled data 使用非均匀采样数据的时变系统的连续时间模型辨识

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-10 DOI: 10.1109/CCA.2016.7587913

Rolf Johansson

引用次数: 0

The impact of resonator geometry on RLG performances 谐振腔几何形状对RLG性能的影响

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-10 DOI: 10.1109/CCA.2016.7587945

D. Cuccato, A. Ortolan, A. Beghi, A. Saccon

{"title":"The impact of resonator geometry on RLG performances","authors":"D. Cuccato, A. Ortolan, A. Beghi, A. Saccon","doi":"10.1109/CCA.2016.7587945","DOIUrl":"https://doi.org/10.1109/CCA.2016.7587945","url":null,"abstract":"In a Ring laser Gyroscope (RLG) the beat note between the two countepropagating modes of the ring resonator is proportional to the rotation rate. Among inertial rotation sensors, RLGs provide the best performances in sensitivity and accuracy available today. Sensitivity and accuracy of high resolution RLGs are still limited by systematic errors, arising from deformations of resonator geometry, modifications of resonator orientation, and non-linear laser dynamics. The geometry and orientation in space associated to the light beam paths are determined by the position and orientation of the optical elements forming the resonator. To enhance RLG accuracy to the level required by the recently proposed General Relativity tests, the stability of the beams geometry and orientation have to be further improved. To this aim, in high sensitivity RLGs, the optical elements relevant for the beams steering are driven by high precision mechanic handlers, and their relative position is measured by dedicated metrology systems. In this paper we review our progresses on the modelization of square ring resonators geometry. We investigate the ring laser open loop response to mirror displacement by a linear perturbation analysis of our model complemented by numerical simulations. Our findings are relevant for the design and alignment of square ring resonators, and pave the way to the development of multivariable automatic control schemes of square ring cavities.","PeriodicalId":301744,"journal":{"name":"2016 IEEE Conference on Control Applications (CCA)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126041113","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

Parameter-oriented reduction strategies for a thermo-mechanical model of extreme ultraviolet reticles 极紫外线热-力学模型的参数化简策略

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-10-10 DOI: 10.1109/CCA.2016.7587961

Can Bikcora, S. Weiland

{"title":"Parameter-oriented reduction strategies for a thermo-mechanical model of extreme ultraviolet reticles","authors":"Can Bikcora, S. Weiland","doi":"10.1109/CCA.2016.7587961","DOIUrl":"https://doi.org/10.1109/CCA.2016.7587961","url":null,"abstract":"With the demands for shrinkage in feature sizes becoming more than ever, the extreme ultraviolet (EUV) lithography is the route pursued by the industry's leading authorities. Leaving the strive for achieving a high source power aside, we hereby consider one of the most prominent disrupters of imaging quality: heating induced deformation of EUV reticles. To diminish its detrimental effect, a model-based prediction scheme is ideally used for steering certain actuators in an EUV tool. To enable such a solution in practice, computationally fast models are required. Along this direction, we use the POD and DEIM reduction methods on finite-element-based thermal and mechanical equations that relate to a recent geometry where cooling channels are placed nearby the reticle. Several sensor measurements approximating the initial thermal state of this model are treated as parameters, and two parameter-oriented reduction methods are designed which we refer to as local reduction (LR) and decomposed reduction (DR), respectively. The former builds local simplified models based on clustering of the parameters, whereas the latter expands the terms in the model so that the reduction is independent of the parameters. The results indicate that only two sensors are sufficient for an accurate characterization of the initial condition. Furthermore, among the evaluated methods, similar accuracies were observed for various tested scenarios, and therefore, it is concluded that the LR is more suitable for this application due to its less intricate structure.","PeriodicalId":301744,"journal":{"name":"2016 IEEE Conference on Control Applications (CCA)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116933738","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

Residual vibration reduction of flexible joint systems using a frequency domain trajectory planning algorithm 基于频域轨迹规划算法的柔性关节系统残余振动减振

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-09-22 DOI: 10.1109/CCA.2016.7588012

M. Ruf

引用次数: 3

Experimental evaluation of Linear Parameter-Varying semi-active suspension control 线性变参数半主动悬架控制的实验评价

2016 IEEE Conference on Control Applications (CCA) Pub Date : 2016-09-20 DOI: 10.1109/CCA.2016.7587825

Michael Fleps-Dezasse, Mahmoud M. Ahmed, J. Brembeck, F. Svaricek

引用次数: 7