首页 > 最新文献

2018 IEEE Conference on Control Technology and Applications (CCTA)最新文献

英文 中文
Vehicle Adaptive Control for Underwater Intervention Including Thrusters Dynamics 包括推进器动力学在内的水下干预车辆自适应控制
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511402
Daniele Di Vito, E. Cataldi, P. D. Lillo, G. Antonelli
This paper investigates the effects of including the thruster dynamics within the full-dimensional adaptive control of an underwater vehicle. In particular, the intervention case, i.e., small movements around a steady reference trajectory and the presence of the ocean current, are of interest. The thruster dynamics influences the closed loop causing undesirable effects if not properly taken into account. Furthermore, as known, the adaptive control can fail if the performed trajectory is not sufficiently exciting causing eventually the dynamic parameters drift and bursting phenomena. Therefore, for the intervention case, these drawbacks of the adaptive control have to be considered. In particular, a reduced version of the controller, taking into account only the persistent dynamic effects, is implemented. Finally, numerical simulations validate the discussion made.
本文研究了在水下航行器的全维自适应控制中加入推进器动力学的影响。特别值得注意的是,干涉情况,即围绕稳定参考轨迹的小运动和洋流的存在。推力器动力学影响闭环,如果考虑不当,会引起不良影响。此外,众所周知,如果执行的轨迹没有足够的激励,自适应控制可能会失败,最终导致动态参数漂移和爆裂现象。因此,在干预情况下,必须考虑自适应控制的这些缺点。特别是,实现了只考虑持续动态效果的控制器的简化版本。最后,通过数值模拟验证了所做的讨论。
{"title":"Vehicle Adaptive Control for Underwater Intervention Including Thrusters Dynamics","authors":"Daniele Di Vito, E. Cataldi, P. D. Lillo, G. Antonelli","doi":"10.1109/CCTA.2018.8511402","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511402","url":null,"abstract":"This paper investigates the effects of including the thruster dynamics within the full-dimensional adaptive control of an underwater vehicle. In particular, the intervention case, i.e., small movements around a steady reference trajectory and the presence of the ocean current, are of interest. The thruster dynamics influences the closed loop causing undesirable effects if not properly taken into account. Furthermore, as known, the adaptive control can fail if the performed trajectory is not sufficiently exciting causing eventually the dynamic parameters drift and bursting phenomena. Therefore, for the intervention case, these drawbacks of the adaptive control have to be considered. In particular, a reduced version of the controller, taking into account only the persistent dynamic effects, is implemented. Finally, numerical simulations validate the discussion made.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116117258","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
Switching Control of an Activated Sludge Process 活性污泥工艺的切换控制
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511524
E. Mojica-Nava, Christian Feudjio, A. Wouwer
The activated sludge process is a complex microbial system used for biological wastewater treatment, i.e., carbon and ammonium removal. The main control objective is to regulate the outflow water quality despite disturbances in the inflow, such as influent flow, or influent concentration. The alternate phase process consists of a single bioreactor where oxygen is supplied intermittently to create nitrification and denitrification conditions while the biomass is recycled continuously from a settler. In this study, a switched affine model is first derived from an existing dynamic model. Then, a switching signal law and a feedback control are developed to reduce the ammonium concentration while keeping the closed-loop system stable. The proposed control strategy is validated in simulation with MATLAB/Simulink considering several influent scenarios such as dry, rainy, and stormy weather conditions.
活性污泥法是一种复杂的微生物系统,用于生物处理废水,即去除碳和铵。主要控制目标是调节流出的水质,尽管流入的扰动,如流入流量,或流入浓度。交替相过程由单个生物反应器组成,其中间歇供应氧气以产生硝化和反硝化条件,同时生物质从沉淀器中连续循环。在本研究中,首先从现有的动态模型中导出了一个切换仿射模型。然后,建立了开关信号律和反馈控制,在保持闭环系统稳定的同时降低了铵离子浓度。通过MATLAB/Simulink仿真验证了所提出的控制策略,并考虑了干燥、降雨和暴风雨天气等多种影响情况。
{"title":"Switching Control of an Activated Sludge Process","authors":"E. Mojica-Nava, Christian Feudjio, A. Wouwer","doi":"10.1109/CCTA.2018.8511524","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511524","url":null,"abstract":"The activated sludge process is a complex microbial system used for biological wastewater treatment, i.e., carbon and ammonium removal. The main control objective is to regulate the outflow water quality despite disturbances in the inflow, such as influent flow, or influent concentration. The alternate phase process consists of a single bioreactor where oxygen is supplied intermittently to create nitrification and denitrification conditions while the biomass is recycled continuously from a settler. In this study, a switched affine model is first derived from an existing dynamic model. Then, a switching signal law and a feedback control are developed to reduce the ammonium concentration while keeping the closed-loop system stable. The proposed control strategy is validated in simulation with MATLAB/Simulink considering several influent scenarios such as dry, rainy, and stormy weather conditions.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"24 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120987799","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}
引用次数: 2
Shaft Torque and Backlash Estimation for Longitudinal Motion Control of All-Wheel-Drive Vehicles 全轮驱动车辆纵向运动控制的轴转矩和间隙估计
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511096
F. Walz, Tobias Schucht, J. Reger, S. Hohmann
With automated driving, new challenges for vehicle longitudinal motion control arise. The precise control of speed and acceleration requires knowledge of the torques acting at the wheels. In this work we present an observer that estimates the shaft torques of an all-wheel-drive vehicle and pay attention to the especially challenging use case of driving over large obstacles like curb stones. The performance of our observer is compared with two other approaches and verified using realworld measurement data. The results show that the observer provides good estimates and cooperates well with the switching system. The all-wheel-drive specific, fundamental reallocation of drive torque due to the differential lock in the transfer case is also covered.
自动驾驶对车辆纵向运动控制提出了新的挑战。精确控制速度和加速度需要了解作用在车轮上的扭矩。在这项工作中,我们提出了一个观察者来估计全轮驱动车辆的轴扭矩,并关注在诸如路沿石之类的大型障碍物上行驶的特别具有挑战性的用例。我们的观测器的性能与其他两种方法进行了比较,并使用现实世界的测量数据进行了验证。结果表明,该观测器提供了良好的估计,并与切换系统具有良好的协同性。由于变速箱中的差动锁,全轮驱动特定的驱动扭矩的基本重新分配也被涵盖。
{"title":"Shaft Torque and Backlash Estimation for Longitudinal Motion Control of All-Wheel-Drive Vehicles","authors":"F. Walz, Tobias Schucht, J. Reger, S. Hohmann","doi":"10.1109/CCTA.2018.8511096","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511096","url":null,"abstract":"With automated driving, new challenges for vehicle longitudinal motion control arise. The precise control of speed and acceleration requires knowledge of the torques acting at the wheels. In this work we present an observer that estimates the shaft torques of an all-wheel-drive vehicle and pay attention to the especially challenging use case of driving over large obstacles like curb stones. The performance of our observer is compared with two other approaches and verified using realworld measurement data. The results show that the observer provides good estimates and cooperates well with the switching system. The all-wheel-drive specific, fundamental reallocation of drive torque due to the differential lock in the transfer case is also covered.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116740787","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}
引用次数: 3
Iterative Learning Pressure Control in Water Distribution Networks 配水网络中的迭代学习压力控制
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511513
T. Jensen, C. Kallesøe, J. Bendtsen, R. Wisniewski
Proper management of pressure in water distribution networks is important, since leakages are more likely to occur if the pressure in the network is unnecessarily high with the consequence that the produced water is wasted. Furthermore, too low pressure will lead to reduced comfort of end-users and a potential increased risk of pollutants entering the network. In this paper, we investigate control actions for management of pressure in water distribution networks with multiple inlets. In particular, the problem of controlling the pressure at the network inlets to accommodate pressure requirements at designated network vertices, where the pressure is measured, is addressed. In this paper, we propose an Iterative Learning type control structure, as the behaviour of the consumers in water distribution networks is typically periodic in nature. Numerical and experimental results show that the proposed controller is able to fulfil the requirements.
对配水网络的压力进行适当的管理是很重要的,因为如果配水网络中的压力过高而导致产出水浪费,则更有可能发生泄漏。此外,压力过低会降低最终用户的舒适度,并可能增加污染物进入管网的风险。在本文中,我们研究了多入口配水网络压力管理的控制动作。特别是,解决了控制网络入口压力以适应指定网络顶点(测量压力的地方)压力要求的问题。在本文中,我们提出了一个迭代学习型的控制结构,因为消费者的行为在本质上是典型的周期性的。数值和实验结果表明,所提出的控制器能够满足要求。
{"title":"Iterative Learning Pressure Control in Water Distribution Networks","authors":"T. Jensen, C. Kallesøe, J. Bendtsen, R. Wisniewski","doi":"10.1109/CCTA.2018.8511513","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511513","url":null,"abstract":"Proper management of pressure in water distribution networks is important, since leakages are more likely to occur if the pressure in the network is unnecessarily high with the consequence that the produced water is wasted. Furthermore, too low pressure will lead to reduced comfort of end-users and a potential increased risk of pollutants entering the network. In this paper, we investigate control actions for management of pressure in water distribution networks with multiple inlets. In particular, the problem of controlling the pressure at the network inlets to accommodate pressure requirements at designated network vertices, where the pressure is measured, is addressed. In this paper, we propose an Iterative Learning type control structure, as the behaviour of the consumers in water distribution networks is typically periodic in nature. Numerical and experimental results show that the proposed controller is able to fulfil the requirements.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124921713","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}
引用次数: 4
Self-Tuning Active Tuned Mass Damper Utilizing Constrained Multi-Variable Sliding Mode Extremum-Seeking 基于约束多变量滑模极值求法的自调谐主动调谐质量阻尼器
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511338
S. H. Kamali, M. Moallem, S. Arzanpour
In this paper, an electromechanical actuator is utilized for bidirectional power flow in a tuned mass damper (TMD). The actuator force is controlled to achieve desired mechanical damping and stiffness values for the whole system by controlling the current using a power electronic converter. The resulting TMD can autonomously change its damping and stiffness values to minimize a host structure's displacement under different excitation frequencies. A multi-variable sliding mode extremum-seeking algorithm is used to tune the TMD damping and stiffness levels to optimal values. Analytic and simulation results show that the active TMD exhibits better performance when compared to non-adaptive and robust TMDs.
在调谐质量阻尼器(TMD)中,采用机电致动器实现双向功率流。通过使用电力电子转换器控制电流,控制致动器的力以达到整个系统所需的机械阻尼和刚度值。所得到的TMD可以在不同激励频率下自主改变其阻尼和刚度值,以最小化主体结构的位移。采用多变量滑模极值搜索算法将TMD的阻尼和刚度调整到最优值。分析和仿真结果表明,与非自适应和鲁棒TMD相比,有源TMD具有更好的性能。
{"title":"Self-Tuning Active Tuned Mass Damper Utilizing Constrained Multi-Variable Sliding Mode Extremum-Seeking","authors":"S. H. Kamali, M. Moallem, S. Arzanpour","doi":"10.1109/CCTA.2018.8511338","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511338","url":null,"abstract":"In this paper, an electromechanical actuator is utilized for bidirectional power flow in a tuned mass damper (TMD). The actuator force is controlled to achieve desired mechanical damping and stiffness values for the whole system by controlling the current using a power electronic converter. The resulting TMD can autonomously change its damping and stiffness values to minimize a host structure's displacement under different excitation frequencies. A multi-variable sliding mode extremum-seeking algorithm is used to tune the TMD damping and stiffness levels to optimal values. Analytic and simulation results show that the active TMD exhibits better performance when compared to non-adaptive and robust TMDs.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125113025","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
Input-Delay Model Predictive Control of Inland Waterways Considering the Backwater Effect 考虑回水效应的内河航道输入延迟模型预测控制
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511553
P. Segovia, L. Rajaoarisoa, F. Nejjari, E. Duviella, V. Puig
Inland waterways are large-scale systems, generally characterized by negligible bottom slopes and large time delays. These features pose challenging problems at the modeling and controller design stages. A control-oriented model is derived in this work, which allows to handle these issues in a suitable manner. A predictive control scheme is developed to ensure the coordination of the control actions and their delayed effects in the system. The proposed approach is tested on a case study to highlight its performance, and it is shown that it is possible to guarantee the navigability condition of the waterways as well as other operational goals.
内河水道是大型系统,通常具有可忽略不计的底坡和大的时滞。这些特性在建模和控制器设计阶段提出了具有挑战性的问题。在这项工作中导出了一个面向控制的模型,它允许以适当的方式处理这些问题。提出了一种预测控制方案,以保证控制动作及其延迟效应在系统中的协调。通过实例验证了该方法的有效性,结果表明,该方法能够保证航道的通航条件和其他作战目标。
{"title":"Input-Delay Model Predictive Control of Inland Waterways Considering the Backwater Effect","authors":"P. Segovia, L. Rajaoarisoa, F. Nejjari, E. Duviella, V. Puig","doi":"10.1109/CCTA.2018.8511553","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511553","url":null,"abstract":"Inland waterways are large-scale systems, generally characterized by negligible bottom slopes and large time delays. These features pose challenging problems at the modeling and controller design stages. A control-oriented model is derived in this work, which allows to handle these issues in a suitable manner. A predictive control scheme is developed to ensure the coordination of the control actions and their delayed effects in the system. The proposed approach is tested on a case study to highlight its performance, and it is shown that it is possible to guarantee the navigability condition of the waterways as well as other operational goals.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125098562","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}
引用次数: 9
Power Factor Improvements for Load Commutated Inverters 负载换相逆变器的功率因数改进
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511428
T. Besselmann, Pieder Jorg, Sture Van de Moortel
This paper is concerned with the control and operation of load commutated inverter-fed synchronous machines, and in particular with the selection of the firing angles on the machine side of the load commutated inverter. An extension to the previously published Model Predictive Torque Control was developed, which improves the operation of load commutated inverters at steady state. The main benefits of applying this control method are an improved power factor and reduced reactive power consumption, with a simultaneous increase of drive efficiency and reduction of the harmonic content of the line side currents and of the air gap torque. Further, the stator and field currents are reduced, reducing the temperatures in the machine and the transformer, which ultimately increases the lifetime of the equipment. Alternatively, the power factor improvements can be utilized for increasing the output power of the synchronous machines. The findings are validated on a reference industrial site comprising three load commutated inverter-fed synchronous machines with a nominal shaft power of 7.5 MW each.
本文研究了负载换相逆变器同步电机的控制和运行,重点研究了负载换相逆变器机侧发射角的选择。对先前发表的模型预测转矩控制进行了扩展,改进了负载换相逆变器在稳态下的运行。应用这种控制方法的主要好处是提高了功率因数,减少了无功功率消耗,同时提高了驱动效率,减少了线侧电流和气隙转矩的谐波含量。此外,定子和磁场电流减少,降低了机器和变压器的温度,最终增加了设备的使用寿命。另外,功率因数的改进可用于增加同步电机的输出功率。研究结果在一个参考工业现场进行了验证,该工业现场包括三台负载换向逆变器同步电机,每台额定轴功率为7.5 MW。
{"title":"Power Factor Improvements for Load Commutated Inverters","authors":"T. Besselmann, Pieder Jorg, Sture Van de Moortel","doi":"10.1109/CCTA.2018.8511428","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511428","url":null,"abstract":"This paper is concerned with the control and operation of load commutated inverter-fed synchronous machines, and in particular with the selection of the firing angles on the machine side of the load commutated inverter. An extension to the previously published Model Predictive Torque Control was developed, which improves the operation of load commutated inverters at steady state. The main benefits of applying this control method are an improved power factor and reduced reactive power consumption, with a simultaneous increase of drive efficiency and reduction of the harmonic content of the line side currents and of the air gap torque. Further, the stator and field currents are reduced, reducing the temperatures in the machine and the transformer, which ultimately increases the lifetime of the equipment. Alternatively, the power factor improvements can be utilized for increasing the output power of the synchronous machines. The findings are validated on a reference industrial site comprising three load commutated inverter-fed synchronous machines with a nominal shaft power of 7.5 MW each.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125601914","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}
引用次数: 2
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking 基于随机模型检验的大数据应用形式化验证的动态模型
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511410
C. Mandrioli, A. Leva, M. Maggio
Big Data Applications (BDAs) manage so much data to require a cluster of machines for computation and storage. Their execution often has temporal constraints, such as deadlines to process the data. BDAs are executed within Big Data Frameworks (BDFs), that provide mechanisms to automatically manage the complexity of the computation distribution. For a BDA to fulfill its deadline when executed in a BDF, online dynamic resource allocation policies should be in place. The introduction of control for such resource allocation calls for formal verification of the closed-loop system. Model checkers verify the correct behaviour of programs, and in principle they could be used to prove properties on the BDF execution. However, the complexity of BDFs makes it infeasible to directly model the BDAs and BDFs. We propose a formalism to associate the execution of a BDA with afirst-principle dynamic simulation model that can be used for model checking in the place of the real application, making the verification viable in practice. We introduce our formalism, apply it to a well assessed framework, and test its capabilities. We show that our solution is able to capture the dynamics and prove properties of the BDA execution using a stochastic model checker.
大数据应用程序(bda)管理如此多的数据,需要一组机器进行计算和存储。它们的执行通常有时间限制,比如处理数据的最后期限。bda在大数据框架(bdf)中执行,bdf提供了自动管理计算分布复杂性的机制。为了使BDA在BDF中执行时完成其截止日期,应该使用在线动态资源分配策略。引入对这种资源分配的控制需要对闭环系统进行正式验证。模型检查器验证程序的正确行为,原则上它们可以用来证明BDF执行的属性。然而,由于bdf的复杂性,直接对bda和bdf进行建模是不可行的。我们提出了一种将BDA的执行与第一性原理动态仿真模型相关联的形式化方法,该模型可用于代替实际应用的模型检查,使验证在实践中可行。我们引入我们的形式主义,将其应用于一个经过良好评估的框架,并测试其功能。我们证明了我们的解决方案能够捕获动态,并使用随机模型检查器证明BDA执行的性质。
{"title":"Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking","authors":"C. Mandrioli, A. Leva, M. Maggio","doi":"10.1109/CCTA.2018.8511410","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511410","url":null,"abstract":"Big Data Applications (BDAs) manage so much data to require a cluster of machines for computation and storage. Their execution often has temporal constraints, such as deadlines to process the data. BDAs are executed within Big Data Frameworks (BDFs), that provide mechanisms to automatically manage the complexity of the computation distribution. For a BDA to fulfill its deadline when executed in a BDF, online dynamic resource allocation policies should be in place. The introduction of control for such resource allocation calls for formal verification of the closed-loop system. Model checkers verify the correct behaviour of programs, and in principle they could be used to prove properties on the BDF execution. However, the complexity of BDFs makes it infeasible to directly model the BDAs and BDFs. We propose a formalism to associate the execution of a BDA with afirst-principle dynamic simulation model that can be used for model checking in the place of the real application, making the verification viable in practice. We introduce our formalism, apply it to a well assessed framework, and test its capabilities. We show that our solution is able to capture the dynamics and prove properties of the BDA execution using a stochastic model checker.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"189 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113982006","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
Robust Constrained Stabilization Control Using Control Lyapunov and Control Barrier Function in the Presence of Measurement Noises 测量噪声存在下基于控制李雅普诺夫和控制势垒函数的鲁棒约束镇定控制
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511637
Rin Takano, M. Yamakita
A lot of kinds of constraints must be considered to control real systems. In particular, state constraints are closely related to safety and stability of systems. Therefore, many researchers have proposed controllers to achieve good control performances without violating given state constraints. Recently, a new method to solve such constraint control problems has been proposed, which is called Control Lyapunov Function and Control Barrier Function based Quadratic Programs (CLF-CBF-QP). This method calculates an optimal control input by solving a quadratic problem under two kinds of constraints for output zeroing control and satisfying given constraints. It can achieve good control performances in the nominal case, however it is impossible to achieve good results in the presence of disturbances. This paper proposes a robust CLF-CBF -QP controller with Unscented Kalman Filter (UKF) which has an ability to attenuate effects of state disturbances and measurement noises.
为了控制实际系统,必须考虑多种约束条件。特别是,状态约束与系统的安全性和稳定性密切相关。因此,许多研究人员提出了在不违反给定状态约束的情况下获得良好控制性能的控制器。最近,人们提出了一种新的方法来解决这类约束控制问题,即基于控制Lyapunov函数和控制Barrier函数的二次规划(CLF-CBF-QP)。该方法通过求解输出归零控制和满足给定约束的两种约束条件下的二次问题来计算最优控制输入。它在标称情况下可以获得良好的控制性能,但在存在干扰的情况下不可能获得良好的控制效果。本文提出了一种鲁棒的无气味卡尔曼滤波CLF-CBF -QP控制器,该控制器具有衰减状态干扰和测量噪声的能力。
{"title":"Robust Constrained Stabilization Control Using Control Lyapunov and Control Barrier Function in the Presence of Measurement Noises","authors":"Rin Takano, M. Yamakita","doi":"10.1109/CCTA.2018.8511637","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511637","url":null,"abstract":"A lot of kinds of constraints must be considered to control real systems. In particular, state constraints are closely related to safety and stability of systems. Therefore, many researchers have proposed controllers to achieve good control performances without violating given state constraints. Recently, a new method to solve such constraint control problems has been proposed, which is called Control Lyapunov Function and Control Barrier Function based Quadratic Programs (CLF-CBF-QP). This method calculates an optimal control input by solving a quadratic problem under two kinds of constraints for output zeroing control and satisfying given constraints. It can achieve good control performances in the nominal case, however it is impossible to achieve good results in the presence of disturbances. This paper proposes a robust CLF-CBF -QP controller with Unscented Kalman Filter (UKF) which has an ability to attenuate effects of state disturbances and measurement noises.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"68 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132359054","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}
引用次数: 17
A Hierarchical Design for Damping Control of Wind-Integrated Power Systems Considering Heterogeneous Wind Farm Dynamics 考虑异质风电场动力学的风力发电系统阻尼控制分层设计
Pub Date : 2018-08-01 DOI: 10.1109/CCTA.2018.8511456
Sayak Mukherjee, Nan Xue, A. Chakrabortty
The majority of control designs for wind power systems rest upon the simplifying assumption that every wind turbine and generator (WTG) inside a wind farm has identical dynamics, and, hence, can be aggregated into a single WTG admitting a single controller. In reality, however, this assumption does not hold because of wake effect due to which the small-signal models of turbines in a given row may be similar, but those between different rows can be significantly dissimilar. In this paper we propose a hierarchical control design to address these types of heterogeneous models of WTGs in a wind farm. Our approach is to group all turbines in a row as a cluster, design a cluster-level aggregate controller by averaging of states, make these aggregate controllers exchange average state information through a local communication network, and thereafter project the aggregate controller back to the original WTGs for implementation. Simulations validating the effectiveness of this hierarchical controller are shown for the IEEE 68-bus benchmark power system with one wind farm.
大多数风力发电系统的控制设计都基于一个简化的假设,即风电场中的每个风力涡轮机和发电机(WTG)都具有相同的动力学,因此,可以将其聚合到一个允许单个控制器的单个WTG中。然而在现实中,这种假设并不成立,因为由于尾迹效应,同一排涡轮机的小信号模型可能是相似的,而不同排之间的小信号模型可能是显著不同的。在本文中,我们提出了一种分层控制设计来解决风电场中wtg的这些类型的异构模型。我们的方法是将所有涡轮机排成一排作为一个集群,通过状态平均设计集群级聚合控制器,使这些聚合控制器通过本地通信网络交换平均状态信息,然后将聚合控制器投影回原始wtg进行实现。通过一个风电场的IEEE 68总线基准电力系统的仿真,验证了该分级控制器的有效性。
{"title":"A Hierarchical Design for Damping Control of Wind-Integrated Power Systems Considering Heterogeneous Wind Farm Dynamics","authors":"Sayak Mukherjee, Nan Xue, A. Chakrabortty","doi":"10.1109/CCTA.2018.8511456","DOIUrl":"https://doi.org/10.1109/CCTA.2018.8511456","url":null,"abstract":"The majority of control designs for wind power systems rest upon the simplifying assumption that every wind turbine and generator (WTG) inside a wind farm has identical dynamics, and, hence, can be aggregated into a single WTG admitting a single controller. In reality, however, this assumption does not hold because of wake effect due to which the small-signal models of turbines in a given row may be similar, but those between different rows can be significantly dissimilar. In this paper we propose a hierarchical control design to address these types of heterogeneous models of WTGs in a wind farm. Our approach is to group all turbines in a row as a cluster, design a cluster-level aggregate controller by averaging of states, make these aggregate controllers exchange average state information through a local communication network, and thereafter project the aggregate controller back to the original WTGs for implementation. Simulations validating the effectiveness of this hierarchical controller are shown for the IEEE 68-bus benchmark power system with one wind farm.","PeriodicalId":358360,"journal":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132656115","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
期刊
2018 IEEE Conference on Control Technology and Applications (CCTA)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1