{"title":"Design of fixed-time sliding mode control using variable exponents","authors":"Krishanu Nath, Neetish Patel, Indra Narayan Kar, 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}
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 , Davide Martire , Damiana Losa , Francesco Sanfedino , 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}
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ó , Ákos Szlávecz , Béla Paláncz , Omer S. Alkhafaf , Ameer B. Alsultani , Katalin Kovács , J. Geoffrey Chase , 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}
{"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}
{"title":"A transparent experimental modelling method for linear multiple-input multiple-output systems","authors":"Peter Zentgraf , 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}
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 , Giordana Bucchioni , Francesco Alfino , 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}
{"title":"Simultaneous credible bands for transfer function estimates","authors":"Tohru Katayama","doi":"10.1016/j.ifacsc.2024.100280","DOIUrl":"10.1016/j.ifacsc.2024.100280","url":null,"abstract":"<div><p>This paper deals with simultaneous credible bands (SCBs) for transfer function estimates based on Gaussian posteriors of the impulse response vector derived from identification of high-order FIR models, where SCBs quantify estimation errors of functions over their entire domain. Though conservative, SCBs for step responses and gain/phase functions are obtained by maximizing and minimizing them over the uncertainty sets specified by critical values of <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> statistics associated with the Gaussian posterior. This procedure also applies to deriving (exact) pointwise credible bands (PCBs) using relevant critical values. In numerical studies, we compute the failure rates that SCBs fail to include the true step response or gain function over their respective domains; thereby an empirical method for computing less conservative SCBs is developed.</p></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"30 ","pages":"Article 100280"},"PeriodicalIF":1.8,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142157981","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}
Marcelo S. Nagano , Viviane S.V. Junqueira , Fernando L. Rossi
{"title":"An objective review and perspectives on the permutation flowshop scheduling with no-wait constraint and setup times","authors":"Marcelo S. Nagano , Viviane S.V. Junqueira , Fernando L. Rossi","doi":"10.1016/j.ifacsc.2024.100279","DOIUrl":"10.1016/j.ifacsc.2024.100279","url":null,"abstract":"<div><p>One of the most important decisions in any manufacturing company is how to schedule the operations on the available machines. In several industries, the nature of the job imposes certain constraints to operations scheduling. In a no-wait flowshop, once a job starts on the first machine, it has to continue being processed on the next ones, without any interruptions. As an extension of the flowshop scheduling problem, the no-wait version is also very difficult to be solved to optimality within a reasonable time, and many heuristics have been proposed for it. This paper aims to classify existing solution algorithms proposed to solve the no-wait flowshop scheduling problem with setup times and some of its variants. Our classification is based on the type of setup considered; we also review all available performance measures in the literature. We show how combining a heuristic to generate a good initial solution, local search procedures, insertion and swapping of job positions and techniques developed originally to solve transportation problems are among the popular and efficient techniques for this problem. We identify the main available benchmark instance sets and propose several promising avenues to guide future research.</p></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"29 ","pages":"Article 100279"},"PeriodicalIF":1.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142076908","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}
{"title":"Fixed-time controller for altitude/yaw control of mini-drone based on nonsingular terminal sliding mode: Real-time implementation with uncertainties","authors":"Moussa Labbadi , Chakib Chatri , Fouad Khenfri","doi":"10.1016/j.ifacsc.2024.100278","DOIUrl":"10.1016/j.ifacsc.2024.100278","url":null,"abstract":"<div><p>To obtain fixed-time stability and finite-time convergence of altitude and yaw motions of a mini-quadrotor subjected to perturbations, this paper proposes a new altitude/yaw motion finite-time tracking control. First, a nonsingular terminal sliding manifold is proposed for both subsystems whose states converge to their desired values in finite-time. To address the uncertainties of the system, a robust fixed-time switching controller is proposed whose stability is proposed and its settling-time depends only on control of the parameters and not the initial conditions. The validation of the proposed approach is presented based on a real mini-quadrotor.</p></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"29 ","pages":"Article 100278"},"PeriodicalIF":1.8,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141993381","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}
{"title":"Reconfiguration of four-degree limited Laman graphs","authors":"Minh Hoang Trinh","doi":"10.1016/j.ifacsc.2024.100277","DOIUrl":"10.1016/j.ifacsc.2024.100277","url":null,"abstract":"<div><p>This paper considers the problem of expanding and reducing Laman graphs, of which each vertex has at most four neighbors. To this end, several simple algorithms that can be repeatedly applied to construct or degenerate a given four-degree limited Laman graph are proposed. The correctness of the proposed algorithms is asserted based on Laman’s criterion. Numerous examples and discussions are provided to demonstrate the applicability and impact of these algorithms.</p></div>","PeriodicalId":29926,"journal":{"name":"IFAC Journal of Systems and Control","volume":"29 ","pages":"Article 100277"},"PeriodicalIF":1.8,"publicationDate":"2024-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141953175","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}