Necessary conditions for the exponential stability of the linear discrete time-delay systems are presented by employing the so-called Lyapunov–Krasovskii functional approach.These conditions not only provide a new to...Necessary conditions for the exponential stability of the linear discrete time-delay systems are presented by employing the so-called Lyapunov–Krasovskii functional approach.These conditions not only provide a new tool for stability analysis of the linear discrete timedelay system by characterising instability domains,but also extend the existing results of the linear discrete time-delay system.Simultaneously,we investigate several crucial properties that connect the Lyapunov matrix and the fundamental matrix of the system.Finally,the robust stability analysis of the linear discrete time-delay systems with norm-bounded uncertainties is presented.Numerical examples illustrate the validity of the obtained results.展开更多
In this paper, we study the output regulation problem of discrete linear time-delay systems by output feedback control. We have established some results parallel to those for the output regulation problem of continuou...In this paper, we study the output regulation problem of discrete linear time-delay systems by output feedback control. We have established some results parallel to those for the output regulation problem of continuous linear time-delay systems.展开更多
In this correspondence paper, an equivalent stability criterion with minimal number of linear matrix inequality （LMI） variables is presented for a delay-dependent stability criterion reported recently in the Interna...In this correspondence paper, an equivalent stability criterion with minimal number of linear matrix inequality （LMI） variables is presented for a delay-dependent stability criterion reported recently in the International Journal of Automation and Computing for a class of linear discrete-time systems with additive time delays. The reported stability criterion for the additive timedelay systems has more number of matrix variables in the LMI and, hence, demand additional computational burden. The proposed equivalent stability criterion, unlike the reported one, does not involve free-weighing matrices and encompass only the matrix variables that are associated in the Lyapunov-Krasovskii functional, making the criterion mathematically less complex and computationally more effective.展开更多
An extended robust model predictive control approach for input constrained discrete uncertain nonlinear systems with time-delay based on a class of uncertain T-S fuzzy models that satisfy sector bound condition is pre...An extended robust model predictive control approach for input constrained discrete uncertain nonlinear systems with time-delay based on a class of uncertain T-S fuzzy models that satisfy sector bound condition is presented. In this approach, the minimization problem of the “worst-case” objective function is converted into the linear objective minimization problem in- volving linear matrix inequalities (LMIs) constraints. The state feedback control law is obtained by solving convex optimization of a set of LMIs. Sufficient condition for stability and a new upper bound on robust performance index are given for these kinds of uncertain fuzzy systems with state time-delay. Simulation results of CSTR process show that the proposed robust predictive control approach is effective and feasible.展开更多
In this paper,the problem of guaranteed cost control for a class of uncertain discrete-time Markovian jump linear systems with mode-dependent time-delays and a given quadratic cost function are investigated. Attention...In this paper,the problem of guaranteed cost control for a class of uncertain discrete-time Markovian jump linear systems with mode-dependent time-delays and a given quadratic cost function are investigated. Attention is focused on designing a memoryless state feedback control law such that the closed-loop system is robust stochastically stable and the closed-loop cost function value is not more than a specified upper bound,for all admissible uncertainties. The key features of the approach include the introduction of a new type of suitable stochastic Lyapunov functional and free weighting matrices techniques. Sufficient conditions for the existence of such controller are obtained in terms of a set of linear matrix inequalities. A numerical example is given to illustrate the less conservatism of the proposed techniques.展开更多
The robustly asymptotical stability problem for discrete-time nonlinear systems with time-delay was investigated. Positive definite matrix are constructed through Lyapunov functional. With the identity transform, prop...The robustly asymptotical stability problem for discrete-time nonlinear systems with time-delay was investigated. Positive definite matrix are constructed through Lyapunov functional. With the identity transform, property of matrix inverse and S-procedure, a new sufficient condition independent of the size of time-delay for robust stability of discrete-time nonlinear systems with time-delay is established. With Schur complement, another equivalent sufficient condition for robust stability of discrete-time nonlinear systems with time-delay is given. Finally, a sufficient condition dependent on the size of time-delay for robust stability of discrete-time nonlinear systems with time-delay is obtained. A unified approach is used to cast the robust stability problem into a convex optimization involving linear matrix inequalities.展开更多
The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for...The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality （LMI） approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the effectiveness of the proposed approach.展开更多
In this paper, an iterative learning control algorithm is proposed for discrete linear time-varying systems to track iterationvarying desired trajectories. A high-order internal model(HOIM) is utilized to describe the...In this paper, an iterative learning control algorithm is proposed for discrete linear time-varying systems to track iterationvarying desired trajectories. A high-order internal model(HOIM) is utilized to describe the variation of desired trajectories in the iteration domain. In the sequel, the HOIM is incorporated into the design of learning gains. The learning convergence in the iteration axis can be guaranteed with rigorous proof. The simulation results with permanent magnet linear motors(PMLM) demonstrate that the proposed HOIM based approach yields good performance and achieves perfect tracking.展开更多
This paper addresses the problem of robust iterative learning control design for a class of uncertain multiple-input multipleoutput discrete linear systems with actuator faults. The stability theory for linear repetit...This paper addresses the problem of robust iterative learning control design for a class of uncertain multiple-input multipleoutput discrete linear systems with actuator faults. The stability theory for linear repetitive processes is used to develop formulas for gain matrices design, together with convergent conditions in terms of linear matrix inequalities. An extension to deal with model uncertainty of the polytopic or norm bounded form is also developed and an illustrative example is given.展开更多
This paper studies the reachability problem of the switched linear discrete singular （SLDS） systems. Under the condition that all subsystems are regular, the reachability of the SLDS systems is characterized based o...This paper studies the reachability problem of the switched linear discrete singular （SLDS） systems. Under the condition that all subsystems are regular, the reachability of the SLDS systems is characterized based on a peculiar repeatedly introduced switching sequence. The necessary and sufficient conditions are obtained for the reachability of the SLDS systems.展开更多
The problem of fault detection for linear discrete timevarying systems with multiplicative noise is dealt with.By using an observer-based robust fault detection filter（FDF） as a residual generator,the design of the ...The problem of fault detection for linear discrete timevarying systems with multiplicative noise is dealt with.By using an observer-based robust fault detection filter（FDF） as a residual generator,the design of the FDF is formulated in the framework of H ∞ filtering for a class of stochastic time-varying systems.A sufficient condition for the existence of the FDF is derived in terms of a Riccati equation.The determination of the parameter matrices of the filter is converted into a quadratic optimization problem,and an analytical solution of the parameter matrices is obtained by solving the Riccati equation.Numerical examples are given to illustrate the effectiveness of the proposed method.展开更多
In order to detect and estimate faults in discrete lin-ear time-varying uncertain systems, the discrete iterative learning strategy is applied in fault diagnosis, and a novel fault detection and estimation algorithm i...In order to detect and estimate faults in discrete lin-ear time-varying uncertain systems, the discrete iterative learning strategy is applied in fault diagnosis, and a novel fault detection and estimation algorithm is proposed. And the threshold limited technology is adopted in the proposed algorithm. Within the chosen optimal time region, residual signals are used in the proposed algorithm to correct the introduced virtual faults with iterative learning rules, making the virtual faults close to these occurred in practical systems. And the same method is repeated in the rest optimal time regions, thereby reaching the aim of fault diagnosis. The proposed algorithm not only completes fault detection and estimation for discrete linear time-varying uncertain systems, but also improves the reliability of fault detection and decreases the false alarm rate. The final simulation results verify the validity of the proposed algorithm.展开更多
The memory state feedback control problem for a class of discrete-time systems with input delay and unknown state delay is addressed based on LMIs and Lyapunov-Krasovskii functional method. Under the action of our des...The memory state feedback control problem for a class of discrete-time systems with input delay and unknown state delay is addressed based on LMIs and Lyapunov-Krasovskii functional method. Under the action of our designed adaptive control law, the unknown time-delay parameter is included in memory state feedback controller. Using LMI technique, delay-dependent sufficient conditions for the existence of the feedback controller are obtained. Finally, the effectiveness of the proposed design method is demonstrated by a numerical example.展开更多
In this paper, a novel non-monotonic Lyapunov-Krasovskii functional approach is proposed to deal with the stability analysis and stabilization problem of linear discrete time-delay systems. This technique is utilized ...In this paper, a novel non-monotonic Lyapunov-Krasovskii functional approach is proposed to deal with the stability analysis and stabilization problem of linear discrete time-delay systems. This technique is utilized to relax the monotonic requirement of the Lyapunov-Krasovskii theorem. In this regard, the Lyapunov-Krasovskii functional is allowed to increase in a few steps, while being forced to be overall decreasing. As a result, it relays on a larger class of Lyapunov-Krasovskii functionals to provide stability of a state-delay system. To this end, using the non-monotonic Lyapunov-Krasovskii theorem, new sufficient conditions are derived regarding linear matrix inequalities(LMIs)to study the global asymptotic stability of state-delay systems.Moreover, new stabilization conditions are also proposed for time-delay systems in this article. Both simulation and experimental results on a p H neutralizing process are provided to demonstrate the efficacy of the proposed method.展开更多
This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable wit...This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable with guaranteed H∞ performance and the controller can be obtained by solving a set of bilinear matrix inequalities. It has been shown that piecewise quadratic Lyapunov functions are less conservative than the global quadratic Lyapunov functions. A simulation example is also given to illustrate the advantage of the proposed approach.展开更多
Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with exp...Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps.展开更多
As saturation is involved in the stabilizing feedback control of a linear discrete-time system, the original global-asymptotic stabilization (GAS) may drop to region-asymptotic stabilization (RAS). How to test if the ...As saturation is involved in the stabilizing feedback control of a linear discrete-time system, the original global-asymptotic stabilization (GAS) may drop to region-asymptotic stabilization (RAS). How to test if the saturated feedback system is GAS or RAS? The paper presents a criterion to answer this question, and describes an algorithm to calculate an invariant attractive ellipsoid for the RAS case. At last, the effectiveness of the approach is shown with examples.展开更多
A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forc...A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forced to be integer. An integer coding for upper level variables is adopted, and then a discrete differential evolution algorithm with an improved feasibility-based comparison is developed to directly explore the integer solution at the upper level. For a given upper level integer variable, the lower level integer programming problem is solved by the existing branch and bound algorithm to obtain the optimal integer solution at the lower level. In the same framework of the algorithm, two other constraint handling methods, i.e. the penalty function method and the feasibility-based comparison method are also tested. The experimental results demonstrate that the discrete differential evolution algorithm with different constraint handling methods is effective in finding the global optimal integer solutions, but the improved constraint handling method performs better than two compared constraint handling methods.展开更多
In this book new results on controller design techniques for the tracking of generic reference inputs are presented. They allow the design of a controller for an uncertain process, either continuous or discrete-time, ...In this book new results on controller design techniques for the tracking of generic reference inputs are presented. They allow the design of a controller for an uncertain process, either continuous or discrete-time, without zeros, and with measurable state. The controller guarantees that the control system is Type 1 and has the desired constant gain and poles or that the control system tracks, with a specified maximum error and with a specified maximum time constant, a generic reference with bounded derivative (variation in the discrete-time case), also in the presence of a generic disturbance with bounded derivative (variation). In addition, it is considered the case in which the reference is known a priori. The utility and the efficiency of the proposed methods are illustrated with attractive and significant examples of motion control and temperature control. This book is useful for the design of control systems, especially for manufacturing systems, that are versatile, fast, precise and robust.展开更多
基金This work was partially supported by the National Natural Science Foundation of China(11371006 and 61703148)the Basic Research Operating Expenses Program of Colleges and Universities in Heilongjiang Province(HDJCCX-2016212 and RCCX201717)+1 种基金the Natural Science Foundation of Heilongjiang Province(QC2018083)the Heilongjiang University Innovation Fund for Graduates(YJSCX2018-057HLJU).
文摘Necessary conditions for the exponential stability of the linear discrete time-delay systems are presented by employing the so-called Lyapunov–Krasovskii functional approach.These conditions not only provide a new tool for stability analysis of the linear discrete timedelay system by characterising instability domains,but also extend the existing results of the linear discrete time-delay system.Simultaneously,we investigate several crucial properties that connect the Lyapunov matrix and the fundamental matrix of the system.Finally,the robust stability analysis of the linear discrete time-delay systems with norm-bounded uncertainties is presented.Numerical examples illustrate the validity of the obtained results.
基金This work was supported in part by the Research Grants Council of the Hong Kong Special Administration Region （No. 412813） and in part by the National Natural Science Foundation of China （No. 611 74049）.
文摘In this paper, we study the output regulation problem of discrete linear time-delay systems by output feedback control. We have established some results parallel to those for the output regulation problem of continuous linear time-delay systems.
文摘In this correspondence paper, an equivalent stability criterion with minimal number of linear matrix inequality （LMI） variables is presented for a delay-dependent stability criterion reported recently in the International Journal of Automation and Computing for a class of linear discrete-time systems with additive time delays. The reported stability criterion for the additive timedelay systems has more number of matrix variables in the LMI and, hence, demand additional computational burden. The proposed equivalent stability criterion, unlike the reported one, does not involve free-weighing matrices and encompass only the matrix variables that are associated in the Lyapunov-Krasovskii functional, making the criterion mathematically less complex and computationally more effective.
基金Project (No. 60421002) supported by the National Natural ScienceFoundation of China
文摘An extended robust model predictive control approach for input constrained discrete uncertain nonlinear systems with time-delay based on a class of uncertain T-S fuzzy models that satisfy sector bound condition is presented. In this approach, the minimization problem of the “worst-case” objective function is converted into the linear objective minimization problem in- volving linear matrix inequalities (LMIs) constraints. The state feedback control law is obtained by solving convex optimization of a set of LMIs. Sufficient condition for stability and a new upper bound on robust performance index are given for these kinds of uncertain fuzzy systems with state time-delay. Simulation results of CSTR process show that the proposed robust predictive control approach is effective and feasible.
基金Sponsored by the National Defense Basic Research Foundation of China (Grant No. 9140A17030207HT01)
文摘In this paper,the problem of guaranteed cost control for a class of uncertain discrete-time Markovian jump linear systems with mode-dependent time-delays and a given quadratic cost function are investigated. Attention is focused on designing a memoryless state feedback control law such that the closed-loop system is robust stochastically stable and the closed-loop cost function value is not more than a specified upper bound,for all admissible uncertainties. The key features of the approach include the introduction of a new type of suitable stochastic Lyapunov functional and free weighting matrices techniques. Sufficient conditions for the existence of such controller are obtained in terms of a set of linear matrix inequalities. A numerical example is given to illustrate the less conservatism of the proposed techniques.
基金Project (60425310) supported by the National Natural Science Foundation of China project (2001AA4422200) supported by the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of the Ministry of Education of China
文摘The robustly asymptotical stability problem for discrete-time nonlinear systems with time-delay was investigated. Positive definite matrix are constructed through Lyapunov functional. With the identity transform, property of matrix inverse and S-procedure, a new sufficient condition independent of the size of time-delay for robust stability of discrete-time nonlinear systems with time-delay is established. With Schur complement, another equivalent sufficient condition for robust stability of discrete-time nonlinear systems with time-delay is given. Finally, a sufficient condition dependent on the size of time-delay for robust stability of discrete-time nonlinear systems with time-delay is obtained. A unified approach is used to cast the robust stability problem into a convex optimization involving linear matrix inequalities.
基金supported by Research Foundation of Education Bureau of Shannxi Province, PRC(No.2010JK400)
文摘The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality （LMI） approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the effectiveness of the proposed approach.
基金supported by National Basic Research Program of China(973 Program)(No.2012CB316400)National Natural Science Foundation of China(Nos.61171034 and 61273134)
文摘In this paper, an iterative learning control algorithm is proposed for discrete linear time-varying systems to track iterationvarying desired trajectories. A high-order internal model(HOIM) is utilized to describe the variation of desired trajectories in the iteration domain. In the sequel, the HOIM is incorporated into the design of learning gains. The learning convergence in the iteration axis can be guaranteed with rigorous proof. The simulation results with permanent magnet linear motors(PMLM) demonstrate that the proposed HOIM based approach yields good performance and achieves perfect tracking.
基金supported by National Natural Science Foundation of China(Nos.61273070 and 61203092)111 project(No.B12018)
文摘This paper addresses the problem of robust iterative learning control design for a class of uncertain multiple-input multipleoutput discrete linear systems with actuator faults. The stability theory for linear repetitive processes is used to develop formulas for gain matrices design, together with convergent conditions in terms of linear matrix inequalities. An extension to deal with model uncertainty of the polytopic or norm bounded form is also developed and an illustrative example is given.
基金This work was supported by the National Natural Science Foundation of China (No. 6022130, 60334040, 60428304).
文摘This paper studies the reachability problem of the switched linear discrete singular （SLDS） systems. Under the condition that all subsystems are regular, the reachability of the SLDS systems is characterized based on a peculiar repeatedly introduced switching sequence. The necessary and sufficient conditions are obtained for the reachability of the SLDS systems.
基金supported by the National Natural Science Foundation of China (61174121,61121003)the National High Technology Researchand Development Program of China (863 Program) (2008AA121302)+1 种基金the National Basic Research Program of China (973 Program)(2009CB724000)the Research Fund for the Doctoral Program of Higher Education of China
文摘The problem of fault detection for linear discrete timevarying systems with multiplicative noise is dealt with.By using an observer-based robust fault detection filter（FDF） as a residual generator,the design of the FDF is formulated in the framework of H ∞ filtering for a class of stochastic time-varying systems.A sufficient condition for the existence of the FDF is derived in terms of a Riccati equation.The determination of the parameter matrices of the filter is converted into a quadratic optimization problem,and an analytical solution of the parameter matrices is obtained by solving the Riccati equation.Numerical examples are given to illustrate the effectiveness of the proposed method.
基金supported by the National Natural Science Foundation of China(61100103)
文摘In order to detect and estimate faults in discrete lin-ear time-varying uncertain systems, the discrete iterative learning strategy is applied in fault diagnosis, and a novel fault detection and estimation algorithm is proposed. And the threshold limited technology is adopted in the proposed algorithm. Within the chosen optimal time region, residual signals are used in the proposed algorithm to correct the introduced virtual faults with iterative learning rules, making the virtual faults close to these occurred in practical systems. And the same method is repeated in the rest optimal time regions, thereby reaching the aim of fault diagnosis. The proposed algorithm not only completes fault detection and estimation for discrete linear time-varying uncertain systems, but also improves the reliability of fault detection and decreases the false alarm rate. The final simulation results verify the validity of the proposed algorithm.
基金supported by the National Natural Science Foundation of China (60574006 60804017+2 种基金 608350017)the Foundation of Doctor(20060286039)the Jiangsu Provincal Sustentation Fund of Recruiting Post Doctor(1660631171)
文摘The memory state feedback control problem for a class of discrete-time systems with input delay and unknown state delay is addressed based on LMIs and Lyapunov-Krasovskii functional method. Under the action of our designed adaptive control law, the unknown time-delay parameter is included in memory state feedback controller. Using LMI technique, delay-dependent sufficient conditions for the existence of the feedback controller are obtained. Finally, the effectiveness of the proposed design method is demonstrated by a numerical example.
文摘In this paper, a novel non-monotonic Lyapunov-Krasovskii functional approach is proposed to deal with the stability analysis and stabilization problem of linear discrete time-delay systems. This technique is utilized to relax the monotonic requirement of the Lyapunov-Krasovskii theorem. In this regard, the Lyapunov-Krasovskii functional is allowed to increase in a few steps, while being forced to be overall decreasing. As a result, it relays on a larger class of Lyapunov-Krasovskii functionals to provide stability of a state-delay system. To this end, using the non-monotonic Lyapunov-Krasovskii theorem, new sufficient conditions are derived regarding linear matrix inequalities(LMIs)to study the global asymptotic stability of state-delay systems.Moreover, new stabilization conditions are also proposed for time-delay systems in this article. Both simulation and experimental results on a p H neutralizing process are provided to demonstrate the efficacy of the proposed method.
文摘This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable with guaranteed H∞ performance and the controller can be obtained by solving a set of bilinear matrix inequalities. It has been shown that piecewise quadratic Lyapunov functions are less conservative than the global quadratic Lyapunov functions. A simulation example is also given to illustrate the advantage of the proposed approach.
基金This work was supported by the National Natural Science Foundation of China (No. 60274058).
文摘Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps.
基金Supported by National Natural Science Foundation of P. R. China (60174040)
文摘As saturation is involved in the stabilizing feedback control of a linear discrete-time system, the original global-asymptotic stabilization (GAS) may drop to region-asymptotic stabilization (RAS). How to test if the saturated feedback system is GAS or RAS? The paper presents a criterion to answer this question, and describes an algorithm to calculate an invariant attractive ellipsoid for the RAS case. At last, the effectiveness of the approach is shown with examples.
基金supported by the Natural Science Basic Research Plan in Shaanxi Province of China(2013JM1022)the Fundamental Research Funds for the Central Universities(K50511700004)
文摘A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forced to be integer. An integer coding for upper level variables is adopted, and then a discrete differential evolution algorithm with an improved feasibility-based comparison is developed to directly explore the integer solution at the upper level. For a given upper level integer variable, the lower level integer programming problem is solved by the existing branch and bound algorithm to obtain the optimal integer solution at the lower level. In the same framework of the algorithm, two other constraint handling methods, i.e. the penalty function method and the feasibility-based comparison method are also tested. The experimental results demonstrate that the discrete differential evolution algorithm with different constraint handling methods is effective in finding the global optimal integer solutions, but the improved constraint handling method performs better than two compared constraint handling methods.
文摘In this book new results on controller design techniques for the tracking of generic reference inputs are presented. They allow the design of a controller for an uncertain process, either continuous or discrete-time, without zeros, and with measurable state. The controller guarantees that the control system is Type 1 and has the desired constant gain and poles or that the control system tracks, with a specified maximum error and with a specified maximum time constant, a generic reference with bounded derivative (variation in the discrete-time case), also in the presence of a generic disturbance with bounded derivative (variation). In addition, it is considered the case in which the reference is known a priori. The utility and the efficiency of the proposed methods are illustrated with attractive and significant examples of motion control and temperature control. This book is useful for the design of control systems, especially for manufacturing systems, that are versatile, fast, precise and robust.
