Pub Date : 2023-07-20DOI: 10.24425/acs.2021.137423
A. Gałuszka, Eryka Probierz
Classical planning in Artificial Intelligence is a computationally expensive problem of finding a sequence of actions that transforms a given initial state of the problem to a desired goal situation. Lack of information about the initial state leads to conditional and conformant planning that is more difficult than classical one. A parallel plan is the plan in which some actions can be executed in parallel, usually leading to decrease of the plan execution time but increase of the difficulty of finding the plan. This paper is focused on three planning problems which are computationally difficult: conditional, conformant and parallel conformant. To avoid these difficulties a set of transformations to Linear Programming Problem (LPP), illustrated by examples, is proposed. The results show that solving LPP corresponding to the planning problem can be computationally easier than solving the planning problem by exploring the problem state space. The cost is that not always the LPP solution can be interpreted directly as a plan.
{"title":"On transformation of conditional, conformant and parallel planning to linear programming","authors":"A. Gałuszka, Eryka Probierz","doi":"10.24425/acs.2021.137423","DOIUrl":"https://doi.org/10.24425/acs.2021.137423","url":null,"abstract":"Classical planning in Artificial Intelligence is a computationally expensive problem of finding a sequence of actions that transforms a given initial state of the problem to a desired goal situation. Lack of information about the initial state leads to conditional and conformant planning that is more difficult than classical one. A parallel plan is the plan in which some actions can be executed in parallel, usually leading to decrease of the plan execution time but increase of the difficulty of finding the plan. This paper is focused on three planning problems which are computationally difficult: conditional, conformant and parallel conformant. To avoid these difficulties a set of transformations to Linear Programming Problem (LPP), illustrated by examples, is proposed. The results show that solving LPP corresponding to the planning problem can be computationally easier than solving the planning problem by exploring the problem state space. The cost is that not always the LPP solution can be interpreted directly as a plan.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"143 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84776022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/ACS.2020.134671
M. Hammami, N. H. Rettab
Many nonlinear dynamical systems can present a challenge for the stability analysis in particular the estimation of the region of attraction of an equilibrium point. The usual method is based on Lyapunov techniques. For the validity of the analysis it should be supposed that the initial conditions lie in the domain of attraction. In this paper, we investigate such problem for a class of dynamical systems where the origin is not necessarily an equilibrium point. In this case, a small compact neighborhood of the origin can be estimated as an attractor for the system. We give a method to estimate the basin of attraction based on the construction of a suitable Lyapunov function. Furthermore, an application to Lorenz system is given to verify the effectiveness of the proposed method.
{"title":"On the region of attraction of dynamical systems: Application to Lorenz equations","authors":"M. Hammami, N. H. Rettab","doi":"10.24425/ACS.2020.134671","DOIUrl":"https://doi.org/10.24425/ACS.2020.134671","url":null,"abstract":"Many nonlinear dynamical systems can present a challenge for the stability analysis in particular the estimation of the region of attraction of an equilibrium point. The usual method is based on Lyapunov techniques. For the validity of the analysis it should be supposed that the initial conditions lie in the domain of attraction. In this paper, we investigate such problem for a class of dynamical systems where the origin is not necessarily an equilibrium point. In this case, a small compact neighborhood of the origin can be estimated as an attractor for the system. We give a method to estimate the basin of attraction based on the construction of a suitable Lyapunov function. Furthermore, an application to Lorenz system is given to verify the effectiveness of the proposed method.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"52 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77598063","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/acs.2020.133503
Dr. Bikramaditya Das, B. B. Pati
This paper proposes the development of a formation control algorithm of multiple acoustic underwater vehicles by employing the behaviour of autonomous mobile agents under a proposed pursuit. A robust pursuit is developed using the distributed consensus coordinated algorithm ensuring the transfer of information among the AUVs. The development of robust pursuit based on characteristics of multi-agent system is for solving the incomplete information capabilities in each agent such as asynchronous computation, decentralized data and no system global control. In unreliable and narrow banded underwater acoustic medium, the formation of AUVs based distributed coordinated consensus tracking can be accomplished under the constant or varying virtual leader’s velocity. Further, the study to achieve tracking based on virtual leader AUV’s velocity is extended to fixed and switching network topologies. Again for mild connectivity, an adjacency matrix is defined in such a way that an adaptive connectivity is ensured between the AUVs. The constant virtual leader vehicle velocity method based on consensus tracking is more robust to reduce inaccuracy because no accurate position and velocity measurements are required. Results were obtained using MATLAB and acquired outcomes are analysed for efficient formation control in presence of the underwater communication constraints.
{"title":"Formation control of underwater vehicles using Multi Agent System","authors":"Dr. Bikramaditya Das, B. B. Pati","doi":"10.24425/acs.2020.133503","DOIUrl":"https://doi.org/10.24425/acs.2020.133503","url":null,"abstract":"This paper proposes the development of a formation control algorithm of multiple acoustic underwater vehicles by employing the behaviour of autonomous mobile agents under a proposed pursuit. A robust pursuit is developed using the distributed consensus coordinated algorithm ensuring the transfer of information among the AUVs. The development of robust pursuit based on characteristics of multi-agent system is for solving the incomplete information capabilities in each agent such as asynchronous computation, decentralized data and no system global control. In unreliable and narrow banded underwater acoustic medium, the formation of AUVs based distributed coordinated consensus tracking can be accomplished under the constant or varying virtual leader’s velocity. Further, the study to achieve tracking based on virtual leader AUV’s velocity is extended to fixed and switching network topologies. Again for mild connectivity, an adjacency matrix is defined in such a way that an adaptive connectivity is ensured between the AUVs. The constant virtual leader vehicle velocity method based on consensus tracking is more robust to reduce inaccuracy because no accurate position and velocity measurements are required. Results were obtained using MATLAB and acquired outcomes are analysed for efficient formation control in presence of the underwater communication constraints.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"16 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75282012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/acs.2020.134674
S. Ogonowski, D. Bismor
Electromagnetic mill installation for dry grinding represents a complex dynamical system that requires specially designed control system. The paper presents model-based predictive control which locates closed loop poles in arbitrary places. The controller performs as gain scheduling prototype where nonlinear model – artificial recurrent neural network, is parameterized with additional measurements and serves as a basis for local linear approximation. Application of such a concept to control electromagnetic mill load allows for stable performance of the installation and assures fulfilment of the product quality as well as the optimization of the energy consumption.
{"title":"Control of complex dynamic nonlinear loading process for electromagnetic mill","authors":"S. Ogonowski, D. Bismor","doi":"10.24425/acs.2020.134674","DOIUrl":"https://doi.org/10.24425/acs.2020.134674","url":null,"abstract":"Electromagnetic mill installation for dry grinding represents a complex dynamical system that requires specially designed control system. The paper presents model-based predictive control which locates closed loop poles in arbitrary places. The controller performs as gain scheduling prototype where nonlinear model – artificial recurrent neural network, is parameterized with additional measurements and serves as a basis for local linear approximation. Application of such a concept to control electromagnetic mill load allows for stable performance of the installation and assures fulfilment of the product quality as well as the optimization of the energy consumption.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"29 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84587390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/ACS.2019.127526
Maksymilian Szumowski, M. Zurawska, T. Zielińska
This paper presents a concept of humanoid robot motion generation using the dedicated simplified dynamic model of the robot (Extended Cart-Table model). Humanoid robot gait with equal steps length is considered. Motion pattern is obtained here with use of Preview Control method. Motion trajectories are first obtained in simulations (off-line) and then they are verified on a test-bed. Tests performed using the real robot confirmed the correctness of the method. Robot completed a set of steps without losing its balance.
{"title":"Preview Control applied for humanoid robot motion generation","authors":"Maksymilian Szumowski, M. Zurawska, T. Zielińska","doi":"10.24425/ACS.2019.127526","DOIUrl":"https://doi.org/10.24425/ACS.2019.127526","url":null,"abstract":"This paper presents a concept of humanoid robot motion generation using the dedicated simplified dynamic model of the robot (Extended Cart-Table model). Humanoid robot gait with equal steps length is considered. Motion pattern is obtained here with use of Preview Control method. Motion trajectories are first obtained in simulations (off-line) and then they are verified on a test-bed. Tests performed using the real robot confirmed the correctness of the method. Robot completed a set of steps without losing its balance.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"63 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84766454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/ACS.2018.125482
A. Biswas, A. Sarkar
{"title":"Development of dual hesitant fuzzy prioritized operators based on Einstein operations with their application to multi-criteria group decision making","authors":"A. Biswas, A. Sarkar","doi":"10.24425/ACS.2018.125482","DOIUrl":"https://doi.org/10.24425/ACS.2018.125482","url":null,"abstract":"","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"47 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82608593","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/acs.2022.141714
E. Miklovičová
The primary objective of this paper is the custom design of an effective, yet relatively easy-to-implement, predictive control algorithm to maintain normoglycemia in patients with type 1 diabetes. The proposed patient-tailorable empirical model featuring the separated feedback dynamics to model the effect of insulin administration and carbohydrate intake was proven to be suitable for the synthesis of a high-performance predictive control algorithm for artificial pancreas. Within the introduced linear model predictive control law, the constraints were applied to the manipulated variable in order to reflect the technical limitations of insulin pumps and the typical nonnegative nature of the insulin administration. Similarly, inequalities constraints for the controlled variable were also assumed while anticipating suppression of hypoglycemia states during the automated insulin treatment. However, the problem of control infeasibility has emerged, especially if one uses too tight constraints of the manipulated and the controlled variable concurrently. To this end, exploiting the Farkas lemma, it was possible to formulate the helper linear programming problem based on the solution of which this infeasibility could be identified and the optimality of the control could be restored by adapting the constraints. This adaptation of constraints is asymmetrical, thus one can force to fully avoid hypoglycemia at the expense of mild hyperglycemia. Finally, a series of comprehensive in-silico experiments were carried out to validate the presented control algorithm and the proposed improvements. These simulations also addressed the control robustness in terms of the intersubject variability and the meal announcements uncertainty.
{"title":"Maximizing performance of linear model predictive control of glycemia for T1DM subjects","authors":"E. Miklovičová","doi":"10.24425/acs.2022.141714","DOIUrl":"https://doi.org/10.24425/acs.2022.141714","url":null,"abstract":"The primary objective of this paper is the custom design of an effective, yet relatively easy-to-implement, predictive control algorithm to maintain normoglycemia in patients with type 1 diabetes. The proposed patient-tailorable empirical model featuring the separated feedback dynamics to model the effect of insulin administration and carbohydrate intake was proven to be suitable for the synthesis of a high-performance predictive control algorithm for artificial pancreas. Within the introduced linear model predictive control law, the constraints were applied to the manipulated variable in order to reflect the technical limitations of insulin pumps and the typical nonnegative nature of the insulin administration. Similarly, inequalities constraints for the controlled variable were also assumed while anticipating suppression of hypoglycemia states during the automated insulin treatment. However, the problem of control infeasibility has emerged, especially if one uses too tight constraints of the manipulated and the controlled variable concurrently. To this end, exploiting the Farkas lemma, it was possible to formulate the helper linear programming problem based on the solution of which this infeasibility could be identified and the optimality of the control could be restored by adapting the constraints. This adaptation of constraints is asymmetrical, thus one can force to fully avoid hypoglycemia at the expense of mild hyperglycemia. Finally, a series of comprehensive in-silico experiments were carried out to validate the presented control algorithm and the proposed improvements. These simulations also addressed the control robustness in terms of the intersubject variability and the meal announcements uncertainty.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"1 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82948158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/acs.2019.127530
Ihsan Ullah
This paper presents a robust control technique for small-scale unmanned helicopters to track predefined trajectories (velocities and heading) in the presence of bounded external disturbances. The controller design is based on the linearized state-space model of the helicopter. The multivariable dynamics of the helicopter is divided into two subsystems, longitudinallateral and heading-heave dynamics respectively. There is no strong coupling between these two subsystems and independent controllers are designed for each subsystem. The external disturbances and model mismatch in the longitudinal-lateral subsystem are present in all (matched and mismatched) channels. This model mismatch and external disturbances are estimated as lumped disturbances using extended disturbance observer and an extended disturbance observer based sliding mode controller is designed for it to counter the effect of these disturbances. In the case of heading-heave subsystem, external disturbances and model mismatch only occur in matched channels so a second order sliding mode controller is designed for it as it is insensitive to matched uncertainties. The control performance is successfully tested in Simulink.
{"title":"Sliding mode tracking control for unmanned helicopter using extended disturbance observer","authors":"Ihsan Ullah","doi":"10.24425/acs.2019.127530","DOIUrl":"https://doi.org/10.24425/acs.2019.127530","url":null,"abstract":"This paper presents a robust control technique for small-scale unmanned helicopters to track predefined trajectories (velocities and heading) in the presence of bounded external disturbances. The controller design is based on the linearized state-space model of the helicopter. The multivariable dynamics of the helicopter is divided into two subsystems, longitudinallateral and heading-heave dynamics respectively. There is no strong coupling between these two subsystems and independent controllers are designed for each subsystem. The external disturbances and model mismatch in the longitudinal-lateral subsystem are present in all (matched and mismatched) channels. This model mismatch and external disturbances are estimated as lumped disturbances using extended disturbance observer and an extended disturbance observer based sliding mode controller is designed for it to counter the effect of these disturbances. In the case of heading-heave subsystem, external disturbances and model mismatch only occur in matched channels so a second order sliding mode controller is designed for it as it is insensitive to matched uncertainties. The control performance is successfully tested in Simulink.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"2 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81295880","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/acs.2018.124710
M. Magiera
The paper refers to planning deliveries of food products (especially those available in certain seasons) to the recipients: supermarket networks. The paper presents two approaches to solving problems of simultaneous selection of suppliers and transportation modes and construction of product flow schedules with these transportation modes. Linear mathematical models have been built for the presented solution approaches. The cost criterion has been taken into consideration in them. The following costs have been taken into account: purchase of products by individual recipients, transport services, storing of products supplied before the planned deadlines and penalties for delays in supply of products. Two solution approaches (used for transportation planning and selection of suppliers and selection of transportation modes) have been compared. The monolithic approach calls for simultaneous solutions for the problems of supplier selection and selection of transportation modes. In the alternative (hierarchical) solution approach, suppliers are selected first, and then transportation companies and their relevant transportation modes are selected. The results of computational experiments are used for com-parison of the hierarchical and monolithic solution approaches.
{"title":"Methods of planning deliveries of food products to a trade network with the selection of suppliers and transport companies","authors":"M. Magiera","doi":"10.24425/acs.2018.124710","DOIUrl":"https://doi.org/10.24425/acs.2018.124710","url":null,"abstract":"The paper refers to planning deliveries of food products (especially those available in certain seasons) to the recipients: supermarket networks. The paper presents two approaches to solving problems of simultaneous selection of suppliers and transportation modes and construction of product flow schedules with these transportation modes. Linear mathematical models have been built for the presented solution approaches. The cost criterion has been taken into consideration in them. The following costs have been taken into account: purchase of products by individual recipients, transport services, storing of products supplied before the planned deadlines and penalties for delays in supply of products. Two solution approaches (used for transportation planning and selection of suppliers and selection of transportation modes) have been compared. The monolithic approach calls for simultaneous solutions for the problems of supplier selection and selection of transportation modes. In the alternative (hierarchical) solution approach, suppliers are selected first, and then transportation companies and their relevant transportation modes are selected. The results of computational experiments are used for com-parison of the hierarchical and monolithic solution approaches.","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"49 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78560988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-07-20DOI: 10.24425/ACS.2020.132583
W. He, W. Xie, Langwen Zhang
{"title":"Switching controller synthesis for discrete-time switched linear systems with average dwell time","authors":"W. He, W. Xie, Langwen Zhang","doi":"10.24425/ACS.2020.132583","DOIUrl":"https://doi.org/10.24425/ACS.2020.132583","url":null,"abstract":"","PeriodicalId":48654,"journal":{"name":"Archives of Control Sciences","volume":"18 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82000956","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：