IFAC Journal of Systems and Control最新文献

筛选
英文 中文
On the turnpike to design of deep neural networks: Explicit depth bounds 通往深度神经网络设计之路显式深度边界
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-11-02 DOI: 10.1016/j.ifacsc.2024.100290
Timm Faulwasser , Arne-Jens Hempel , Stefan Streif
{"title":"On the turnpike to design of deep neural networks: Explicit depth bounds","authors":"Timm Faulwasser ,&nbsp;Arne-Jens Hempel ,&nbsp;Stefan Streif","doi":"10.1016/j.ifacsc.2024.100290","DOIUrl":"10.1016/j.ifacsc.2024.100290","url":null,"abstract":"<div><div>It is well-known that the training of Deep Neural Networks (DNN) can be formalized in the language of optimal control. In this context, this paper leverages classical turnpike properties of optimal control problems to attempt a quantifiable answer to the question of how many layers should be considered in a DNN. The underlying assumption is that the number of neurons per layer—i.e., the width of the DNN—is kept constant. Pursuing a different route than the classical analysis of approximation properties of sigmoidal functions, we prove explicit bounds on the required depths of DNNs based on asymptotic reachability assumptions and a dissipativity-inducing choice of the regularization terms in the training problem. Numerical results obtained for the two spiral task data set for classification indicate that the proposed constructive estimates can provide non-conservative depth bounds.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100290"},"PeriodicalIF":1.8,"publicationDate":"2024-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142579112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Finite-time event-triggered tracking control for quadcopter attitude systems with zero compensation technology 采用零补偿技术的四旋翼飞行器姿态系统的有限时间事件触发跟踪控制
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-11-02 DOI: 10.1016/j.ifacsc.2024.100289
Lian Chen , Cui Cai , Xijun Liu , Chen Wang
{"title":"Finite-time event-triggered tracking control for quadcopter attitude systems with zero compensation technology","authors":"Lian Chen ,&nbsp;Cui Cai ,&nbsp;Xijun Liu ,&nbsp;Chen Wang","doi":"10.1016/j.ifacsc.2024.100289","DOIUrl":"10.1016/j.ifacsc.2024.100289","url":null,"abstract":"<div><div>This paper primarily investigates the event-triggered tracking control problem for quadcopter attitude systems, utilizing finite-time zero compensation technology. Unlike existing research results, a zero compensation technology is proposed to solve non-affine control input problems such as saturation, dead zones, and gaps. The command filtered compensation technology is used to solve ’differential explosion’ and filtering errors. A novel Tanh type filter and a neural network are employed to approximate virtual control signals and account for un-modeled dynamics, respectively. Moreover, the finite-time convergence theory is used to prove that the state, tracking error, and filtered error compensation signals in the entire closed-loop system converge to an arbitrarily small neighborhood of the equilibrium origin. Finally, the advantages of the proposed control algorithm in improving tracking accuracy and reducing communication load were demonstrated through simulation.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100289"},"PeriodicalIF":1.8,"publicationDate":"2024-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142593215","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
Analysis of Hyers–Ulam stability and controllability of non-linear switched impulsive systems with delays on time scales 具有时间尺度延迟的非线性开关脉冲系统的海尔-乌兰稳定性和可控性分析
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-10-30 DOI: 10.1016/j.ifacsc.2024.100291
Bhim Kumar, Muslim Malik
{"title":"Analysis of Hyers–Ulam stability and controllability of non-linear switched impulsive systems with delays on time scales","authors":"Bhim Kumar,&nbsp;Muslim Malik","doi":"10.1016/j.ifacsc.2024.100291","DOIUrl":"10.1016/j.ifacsc.2024.100291","url":null,"abstract":"<div><div>In this article, we have used the concepts of time scales theory to discuss nonlinear switched impulsive systems with delay. Our main objective is to determine the Hyers–Ulam stability and controllability of nonlinear switched impulsive systems with delay on non-uniform time domains. To obtain the necessary and sufficient conditions for existence, Hyers–Ulam stability, and controllability, we utilize the Banach fixed-point theorem and Krasnoselskii’s fixed-point theorem. In order to demonstrate our conclusions, we have discussed some simulation-based examples along with the three tank liquid control problem and a potential practical situation related to the infectious disease with switching rules. The results of this manuscript provide all the necessary and sufficient conditions for Hyers–Ulam stability and controllability that are true for discrete, continuous as well as unified time domains simultaneously.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100291"},"PeriodicalIF":1.8,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142664061","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
Efficiency criteria and dual techniques for some nonconvex multiple cost minimization models 一些非凸多重成本最小化模型的效率标准和对偶技术
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-10-30 DOI: 10.1016/j.ifacsc.2024.100288
Savin Treanţă , Ramona-Manuela Calianu
{"title":"Efficiency criteria and dual techniques for some nonconvex multiple cost minimization models","authors":"Savin Treanţă ,&nbsp;Ramona-Manuela Calianu","doi":"10.1016/j.ifacsc.2024.100288","DOIUrl":"10.1016/j.ifacsc.2024.100288","url":null,"abstract":"<div><div>In this study, we investigate a class of multi-objective variational control problems governed by nonconvex simple integral functionals. Concretely, we establish and prove (necessary and sufficient) efficiency criteria and dual techniques for some nonconvex multiple cost minimization models. To this aim, we extend and use the concept of <span><math><mrow><mo>(</mo><mi>Ψ</mi><mo>,</mo><mi>ω</mi><mo>)</mo></mrow></math></span>-invexity to the case of multi-objective variational control problems. Thereafter, by assuming <span><math><mrow><mo>(</mo><mi>Ψ</mi><mo>,</mo><mi>ω</mi><mo>)</mo></mrow></math></span>-invexity, (strictly) <span><math><mrow><mo>(</mo><mi>Ψ</mi><mo>,</mo><mi>ω</mi><mo>)</mo></mrow></math></span>-pseudoinvexity and/or <span><math><mrow><mo>(</mo><mi>Ψ</mi><mo>,</mo><mi>ω</mi><mo>)</mo></mrow></math></span>-quasiinvexity of the involved functionals, we state the sufficient efficiency criteria and associate a dual problem for the considered model.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100288"},"PeriodicalIF":1.8,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142573448","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
Design of fixed-time sliding mode control using variable exponents 使用可变指数设计固定时间滑动模式控制
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-10-17 DOI: 10.1016/j.ifacsc.2024.100287
Krishanu Nath, Neetish Patel, Indra Narayan Kar, Janardhanan Sivaramakrishnan
{"title":"Design of fixed-time sliding mode control using variable exponents","authors":"Krishanu Nath,&nbsp;Neetish Patel,&nbsp;Indra Narayan Kar,&nbsp;Janardhanan Sivaramakrishnan","doi":"10.1016/j.ifacsc.2024.100287","DOIUrl":"10.1016/j.ifacsc.2024.100287","url":null,"abstract":"<div><div>This paper proposes the design of a robust fixed-time sliding mode controller for a second-order nonlinear system with matched and unmatched uncertainties. First, a fixed-time stable scalar dynamics with a variable exponent is introduced. We establish the global fixed-time stability results for the proposed dynamics using Lyapunov analysis. The maximum convergence time has been derived in terms of the design parameters, which is independent of the initial conditions. These results are then extended to solve the robust fixed-time stabilization for uncertain nonlinear second-order system. Specifically, we proceed with the sliding mode control design, where the sliding surface and the control law are motivated by the proposed scalar dynamics. Moreover, the proposed design is free from singularity and guarantees fixed-time robust stabilization. Simulation results with comparative analysis has been included. Further, experimental validation on a single link manipulator is provided to demonstrate the performance of the proposed approach.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100287"},"PeriodicalIF":1.8,"publicationDate":"2024-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142536179","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
A novel graph-based theory for convexification of mission-planning constraints and generative pre-trained trajectory optimization 基于图的任务规划约束凸化和生成预训练轨迹优化新理论
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-10-09 DOI: 10.1016/j.ifacsc.2024.100286
Thomas Claudet , Davide Martire , Damiana Losa , Francesco Sanfedino , Daniel Alazard
{"title":"A novel graph-based theory for convexification of mission-planning constraints and generative pre-trained trajectory optimization","authors":"Thomas Claudet ,&nbsp;Davide Martire ,&nbsp;Damiana Losa ,&nbsp;Francesco Sanfedino ,&nbsp;Daniel Alazard","doi":"10.1016/j.ifacsc.2024.100286","DOIUrl":"10.1016/j.ifacsc.2024.100286","url":null,"abstract":"<div><div>Optimizing high-level mission planning constraints is traditionally solved in exponential time and requires to split the problem into several ones, making the connections between them a convoluted task. This paper aims at generalizing recent works on the convexification of Signal Temporal Logic (STL) constraints converting them into linear approximations. Graphs are employed to build general linguistic semantics based on key words (such as <em>Not</em>, <em>And</em>, <em>Or</em>, <em>Eventually</em>, <em>Always</em>), and <em>super-operators</em> (e.g., <em>Until</em>, <em>Imply</em>, <em>If and Only If</em>) based on already defined ones. Numerical validations demonstrate the performance of the proposed approach on two practical use-cases of satellite optimal guidance using a modified Successive Convexification scheme. Finally, a potential hybridization with generative pre-trained language models is showcased.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100286"},"PeriodicalIF":1.8,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142420370","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
Comparison of three artificial intelligence methods for predicting 90% quantile interval of future insulin sensitivity of intensive care patients 比较三种人工智能方法预测重症监护患者未来胰岛素敏感性的 90% 量级区间
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-09-26 DOI: 10.1016/j.ifacsc.2024.100284
Bálint Szabó , Ákos Szlávecz , Béla Paláncz , Omer S. Alkhafaf , Ameer B. Alsultani , Katalin Kovács , J. Geoffrey Chase , Balázs István Benyó
{"title":"Comparison of three artificial intelligence methods for predicting 90% quantile interval of future insulin sensitivity of intensive care patients","authors":"Bálint Szabó ,&nbsp;Ákos Szlávecz ,&nbsp;Béla Paláncz ,&nbsp;Omer S. Alkhafaf ,&nbsp;Ameer B. Alsultani ,&nbsp;Katalin Kovács ,&nbsp;J. Geoffrey Chase ,&nbsp;Balázs István Benyó","doi":"10.1016/j.ifacsc.2024.100284","DOIUrl":"10.1016/j.ifacsc.2024.100284","url":null,"abstract":"<div><div>Insulin dosing of hyperglycemic patients in the intensive care unit (ICU) is a complex and nonlinear clinical control problem. Recent model-based glycemic control protocols predict a patient-specific and time-specific future insulin sensitivity distribution, which defines the future patient state in response to insulin and nutrition inputs. The prediction methods provide a 90% confidence interval for a future insulin sensitivity distribution for a given time horizon, making the prediction problem more specific compared to common prediction problems where the aim is to predict the expected value of the given stochastic parameter. This study proposes three alternative artificial intelligence-based insulin sensitivity prediction methods to improve the prediction accuracy and make prediction parameters better fit the clinical requirements. The proposed prediction methods use different neural network models: a classification deep neural network model, a Mixture Density Network model, and a Quantile Regression-based model. A large patient data set was used to create the neural network models, including 2357 patients and 92646 blood glucose measurements from three clinical sites (Christchurch, New Zealand, Gyula, Hungary, and Liege, Belgium). Prediction accuracy was assessed by statistical metrics expressing clinical requirements, as well as via validated in-silico virtual patient simulations comparing the clinical performance of a proven glycaemic control protocol using the alternative prediction methods to assess impact on glycemic control performance and thus the need for these alternative models.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100284"},"PeriodicalIF":1.8,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142358107","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Robust non-monotonic Lyapunov based stability and stabilization methods for continuous-time systems: Applied on bilateral teleoperation system 基于鲁棒非单调 Lyapunov 的连续时间系统稳定性和稳定方法:应用于双边远程操纵系统
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-09-23 DOI: 10.1016/j.ifacsc.2024.100285
Younes Solgi
{"title":"Robust non-monotonic Lyapunov based stability and stabilization methods for continuous-time systems: Applied on bilateral teleoperation system","authors":"Younes Solgi","doi":"10.1016/j.ifacsc.2024.100285","DOIUrl":"10.1016/j.ifacsc.2024.100285","url":null,"abstract":"<div><div>This study introduces a Non-monotonic Lyapunov (NML) framework aimed at stability evaluation and controller design for continuous-time systems, particularly under conditions of uncertainty. Conventional Lyapunov techniques often exhibit a conservative nature, particularly in the context of uncertain systems, which necessitates the development of less conservative alternatives like NML. The NML methodology distinguishes itself by not imposing strict monotonicity requirements for demonstrating the decrease of a Lyapunov functional. Consequently, this paper derives new stability and stabilization criteria framed as matrix inequalities applicable to a specific class of uncertain systems. The practical applicability of the introduced approach is illustrated through controller design for uncertain systems, exemplified by a nonlinear bilateral teleoperation model. Assorted demonstrative examples and simulation outcomes support the findings, underscoring the NML approach’s efficaciousness.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100285"},"PeriodicalIF":1.8,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142323067","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
A transparent experimental modelling method for linear multiple-input multiple-output systems 线性多输入多输出系统的透明实验建模方法
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-09-16 DOI: 10.1016/j.ifacsc.2024.100283
Peter Zentgraf , Abhishek Shivarkar
{"title":"A transparent experimental modelling method for linear multiple-input multiple-output systems","authors":"Peter Zentgraf ,&nbsp;Abhishek Shivarkar","doi":"10.1016/j.ifacsc.2024.100283","DOIUrl":"10.1016/j.ifacsc.2024.100283","url":null,"abstract":"<div><div>This paper presents a transparent technique that simulates processes using input and output measurement data without the use of any complex optimization or iterative algorithms. The method is very simple and easy to understand as it comprises only of linear ordinary differential equations, Laplace transformations and least squares technique. The solution can be expressed only in two linear matrix equations. The main aim is to provide bachelor students of engineering with a tool to formulate transfer functions.</div><div>The method is validated with artificially generated erroneous measurement data as well as using measurements obtained from a practical application at the university. Inclusion of dead times and estimation of initial conditions make it ideal to be used for various range of applications such as stable and unstable systems with and without damping, open and closed loop systems. Over-integration, normalizing and/or zeroing of different coefficients add more degrees of freedom to improve the model quality.</div></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100283"},"PeriodicalIF":1.8,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142323066","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Autonomous Lunar rendezvous trajectory planning and control using nonlinear MPC and Pontryagin’s principle 利用非线性 MPC 和庞特里亚金原理进行自主月球交会轨迹规划和控制
IF 1.8
IFAC Journal of Systems and Control Pub Date : 2024-09-13 DOI: 10.1016/j.ifacsc.2024.100282
Michele Pagone , Giordana Bucchioni , Francesco Alfino , Carlo Novara
{"title":"Autonomous Lunar rendezvous trajectory planning and control using nonlinear MPC and Pontryagin’s principle","authors":"Michele Pagone ,&nbsp;Giordana Bucchioni ,&nbsp;Francesco Alfino ,&nbsp;Carlo Novara","doi":"10.1016/j.ifacsc.2024.100282","DOIUrl":"10.1016/j.ifacsc.2024.100282","url":null,"abstract":"<div><p>This paper explores the application of Nonlinear Model Predictive Control (NMPC) techniques, based on the Pontryagin Minimum Principle, for a minimum-propellant autonomous rendezvous maneuver in non-Keplerian Lunar orbits. The relative motion between the chaser and the target is described by the nonlinear dynamics of the circular restricted three body-problem, posing unique challenges due to the complex and unstable dynamics of near-rectilinear halo orbits. Key aspects of the proposed NMPC include trajectory optimization, maneuver planning, and real-time control, leveraging on its ability to satisfy complex mission requirements while ensuring safe and efficient spacecraft operations and in the presence of input and nonlinear/non-convex state constraints. The proposed formulation allows the design of a minimum-propellant controller, whose optimal control signal results to be bang–bang in time. A case study based on the Artemis III mission – where the docking of the Orion spacecraft to the Gateway station is planned – is illustrated in order to demonstrate the efficiency of the proposed approach, showcasing its potential for enhancing target tracking accuracy, while reducing propellant consumption.</p></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100282"},"PeriodicalIF":1.8,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142274558","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信