1. Introduction
In a flexible manufacturing environment, most processes need precise control of the output value, especially the transport durations. These values cannot always be measured in a continuous manner, basing the control of the process on a discrete event measurement [
1]. Especially in the transportation of the product in the flexible manufacturing system, the measurement of the product position is made based on binary sensors at a predefined location [
2]. This determines the necessity for event-based control of the process. In most cases, this event-based control is made in a non-adaptive manner [
3]. The control is usually made using a rule-based controller that sets a predefined control value based on an event [
4]. In some cases, the controller needs a higher degree of adaptability to cope with variations in the system [
5].
In most types of controls, the output value is measured at regular intervals, so the update of the control value is made in a time-triggered manned [
6]. Even if studied extensively, the time-triggered control cannot cope with most of the event-based processes, especially because of the asynchronistic behavior of the system and, in some cases, the binary measurements [
7]. To compensate for the asynchronistic behavior, some proposals were made in the literature but only for measurement losses, not being suited for an even-based control [
8]. In the literature, event-based control, e.g., the arrival of a product to a certain location as an event trigger, has little coverage [
6]. In most event-based control studies, the event-trigger is given by arriving at the error level of the output to a certain predefined value [
9,
10]. This type of even-based control is unsuitable for most event-based processes [
11].
Based on event-triggered control, by combining it with impulsive control, further development of event-triggered impulsive control was proposed. In this type of control, the conditions and functions of the event-trigger are pre-set and some specific events determine impulsive instants [
12,
13,
14].
This type of event-based control has as objective the reduction of control value updates and, as a result, the reduction of computational and power usage, especially in low-power devices [
15]. However, to measure the error level, it is necessary to measure the output value at a certain predefine duration [
16]. This can be done using an intelligent sensor or allocating controller computational power. This is not suitable for most event-based processes, as the output value cannot be measured at regular intervals.
The differences between the time-triggered mechanism and the event-triggered mechanism, based on the occurrence of a preset event, stirred up research, especially in the state estimation of a system [
17,
18,
19]. In estimating the state and controlling the system, fuzzy or neural network control is implemented [
20,
21,
22].
In the manufacturing process, the product position is known only at key locations, usually measured using binary presence sensors. Using this type of sensor, an error-based event-triggering or time-triggering controller cannot be implemented [
23]. The inability to implement most types of controllers is due to the measurement of the continuous process in a discreet manner [
24]. The number of discreet values measured would be defined by the key locations on the system and would determine the continuous running of most control algorithms [
25]. This continuous running would be determined by the error values, but as the measurement is done in a few key points, the controller would run based on the old value [
26]. This can determine unintended results due to the small number of input values.
In the literature for event-trigger control, multiple solutions are proposed, such as the event-trigger sliding mode control in [
27] or the use of a Markov model in [
28]. However, in terms of some advantages, a PID control can be implemented, similar to [
29] or [
16]. In most cases, the PID controller is adopted for simple structure and adaptability in most control cases. In this article, a control algorithm similar to the error event-based algorithm in [
9,
16] is proposed, as the computation of the controller will start only at the moment a certain event is happening. As the error level trigger case cannot be implemented in the case of a conveyor, a modification of the event trigger is implemented. An activation of the control algorithm is proposed based on the arrival of the product at a certain point on the conveyor and a sensor is activated. From the perspective of the number of activations, the necessary event-based controller would have fewer activations than the proposed literature controllers. The number of activations is given by the key locations where the position of the product is measured.
This paper is organized as follows:
Section 2 presents the time-triggered PID control as a reference base in the event-base controller and details the error variation event-trigger controller.
Section 3 presents the flexible manufacturing process in which an event-based controller is necessary.
Section 4 presents the proposed event-based algorithm and the expected results of the controller in a transportation system.
Section 5 presents the implementation of the controller in a flexible manufacturing system and the results obtained.
2. PID Control
As PID control is one of the most studied types of control, in controlling the event-trigger transportation system, PID event-based control was considered. For better comprehension of the proposed event-based algorithm in this chapter, the time-based PID control and the error trigger event-based PID control found in the literature will be reviewed.
2.1. Time-Based PID Control
For the PID control, the S-domain equation that represents the base for the controller is given by:
defining the command value in the S-domain,
based on the error between the reference and actual value of the output,
[
9].
The control equation is composed of three parts: proportional, integral and derivative, represented by
, defined by the integral gain
, the integral time
, and derivative time
. The parameters of these three parts are modified regarding the controller specifications to obtain the desired performance. In some cases, the weighting of the setpoint can be applied for a more flexible structure. The structure of the three components of the PID controller can be represented as follows:
with
defining the integral component gain, and
the derivative component gain [
15].
To compensate for the possibility of high-frequency noise from the measurements to the derivative part, a low-pass filter can be added, resulting in:
with
as the filter gain [
15].
In the case of a real process, the value of the command can increase or decrease until a certain point, as more controlled elements have minimal and maximal values. To corelate the controller with the physical capabilities of the system, a set of command saturation rules needs to be implemented, resulting in the following:
with
representing the command value sent to the executing element, is defined by a minimal value,
, and a maximal value,
.
If the command value falls outside the desired interval, in addition to the saturation rules, an anti-windup method must be implemented. This eliminated the delays introduced by the integrator factor. The most commonly used method is the clamping method. This method disengages the integrator factor for the duration in which the command falls outside the desired limits.
Considering the mapping of the PID controller from the S-domain to the discrete-time domain, the following is obtained:
with the control value in the time domain
, and it’s components
for the proportional, integral and derivative parts, where
represents the instant moment of the sampling, having
the constant sampling period [
15]. Similar to the continuous time controller relation to the S-domain, the relation is similar in the Z-domain with discrete time. The proportional part results in:
with the discrete time form as [
15]:
In the case of the integrator and derivative parts of the PID controller, several solutions can be applied. One of the solutions, backward difference approximation, is a method based on first-order Taylor series expansion. In this expansion
resulting in
relating to the time domain as [
15]:
The approximations in the case of the discrete-time controller are more accurate as the sampling duration,
, is smaller.
2.2. Error Trigger Event-Based PID Controll
The first proposed event-based PID controller consisted of two main parts: an event detector and an PID controller activated based on the detected event. The event detector, with time-based sampling, ensures that the error value is maintained in a certain range and that the duration since the last controller activation is not over a certain limit. Similar to the time-sampling PID, the event detector samples the controlled value at an
sampling period. Based on the setpoint and the measured value, the event detector sends a signal to the PID part of the controller when the error level falls outside a certain predefined limit, considered an event. As presented in the literature cases, the event-trigger is considered to be the absolute error value,
, crossing a predefined
level. As a result, the event condition is [
9,
15]:
with
, with a variable activation period
determined in the moment a new event is taking place.
After an event is detected, the PID event-based controller updates the control signal based on the measurements received from the event detector and the previous controller values. In between the event-triggers, the control signal is constant for the
duration. Applying the backward difference method approximation in the case of the integrative and derivative parts results in [
16]:
having
replacing the constant period
in Equation (9).
Considering the event-triggering condition from (10), as an event is recorded only when the error value is larger than a certain level, the activation interval can become very long, as the variation of the output can be very small. Some compensations are applied predominantly to the integrator and derivative parts. A diminishing factor for the activation interval is introduced, resulting in the reduction of after a long duration of steady output, reducing its effects on the control values. This approach is very similar to the anti-windup method, compensating for errors in the case of saturation of the control value.
For the integral term, an exponential function determines the decrease in the impact of the activation interval as the steady-state duration increases [
15,
16]:
with
used to directly influence the importance of the activation interval. This determines the value to get closer to
when the activation duration is small and to get very small when the activation duration gets longer.
In the case of the derivate part, similarly, results in:
with
used to increase or decrease the influence of the exponential factor. The results show that the
value will be closer to
when the activation value is small and closer to the last activation period
when the activation duration gets bigger.
Using these improvements, a PID with a forgetting factor is obtained, resulting in the integrator and derivative parts as [
15,
16]:
3. Flexible Manufacturing System
Considering the literature in the event-based control area, the research is centered on the reduction of computation power through the reduction of controller activation and control values. This control is based on the sampled measurement of the output value. This is not always possible in a manufacturing system, for example, as the position of a product is measured only in key positions. In this chapter, the hardware and process structure of the flexible manufacturing system considered in the application of event-based control will be presented.
3.1. Flexible Manufacturing System Hardware
The flexible manufacturing system (FMS) is composed of 7 interlocked workstations arranged in a linear manner (
Figure 1). The FMS is equipped with three robotic systems, two robotic arms, placed in two of the workstations and a SCARA robotic transportation system (SRTS) placed parallel to the workstations. Each workstation is equipped with a PLC used in the individual control of the station (
Figure 2). This also ensures the flexible integration of equipment into the manufacturing system. All PLCs are interconnected on a ProfiNet network, ensuring fast information transmission between PLCs. Having the possibility of PLC interoperability, decision making is made in two stages. This is composed of centralized decision making, centered on the optimization of production, and local decision making, which ensures the achievement of the proposed production durations.
Besides the flexibility given by the possibility of integrating new equipment with ease, the FMS presents flexibility in the production process, being able to produce a multitude of products with a minimum of equipment. This is ensured through two production concepts: flexible flow manufacturing (FFM) and flexible manufacturing in cells (FMC). On the FFM, the product travels in a linear manner through 5 workstations of the FMS, schematically represented in
Figure 3, each station performing an assembly operation. In FFM production, one of the robotic arms will perform an assembly operation, placing a series of internal parts in a personalized manner, based on the client’s request.
In the FMS, two principal types of products are considered for production: a single internal layer product and a multiple internal layer product. For the multi-layered product, a series of assembly operations are repeated. Both products can be assembled in the FFM process using SRTS. For the multi-layer product, the SRTS transports the product back to one of the previous stations from where a new set of assembly operations are performed. This ensures that the assembly uses a minimal amount of equipment.
For the FMC process, the second robotic arm is used. At workstation 3, the robotic arm can perform some assembly operations on the FFM or perform a competing assembly of a product in a dedicated area. Workstation 3 is equipped with warehouses for each component, allowing for the assembly of any type of product. From the FMC assembly area, the SRTS transports the product on the FFM to the quality control (QC) area at the entry of workstation 6. The FMC is considered only the production of multi-layer products, as robotic arm flexibility gives the possibility of manufacturing more complex products in a much shorter time.
The intersection of the FFM and FMC processes in the QC area and the usage of the SRTS in both processes create some challenges in the optimization of the entire manufacturing system. To ensure the optimal transportation of products on the FMS, the SRTS is placed parallel to the FFM transportation conveyor. This ensures the usage of minimal workstations but also the minimization of some transportation durations.
The placement of the robotic arms is made considering the possibility of increasing the personalization of each product. To compensate for the increased complexity of the assembly process, a robotic arm was introduced in the specific personalization workstation, permitting the manufacturing of a multitude of products based on client requests. The client request is received directly by the FMS, the manufacturing system being connected to a local server. The server receives the client request and processes the information through an optimization algorithm. The output of the algorithm is represented by a production schedule based on assembly and transportation duration. To ensure these durations, a control algorithm is necessary in each station, especially on the transportation side, that can compensate for some of the assembly delays.
3.2. Flexible Manufacturing System Production Process and Control Necessities
Given the production flows of the two considered types of products (
Figure 4), in some situations, we have intersecting paths for some products. To ensure optimal manufacturing, the products must arrive at designated locations at a certain time in the process. In the case of the SRTS transport of products, the transport duration is known to be ensured by the robot control system.
In the case of workstation transportation using conveyors, this duration cannot always be guaranteed with sequential control. On a workstation, the position of a product is measured in three key locations using binary location sensors (
Figure 3). On a basic conveyor, the position of a product is measured at the entry of the station, the exit and the working area. At a certain moment on the conveyor, only one product is present. In the classic programming of the station PLC, a series of events starts when a certain sensor is activated and continues in a sequential manner until the next sensor is activated. This method of control cannot ensure the transportation of a certain product between two points in a predefined amount of time. To ensure that a product arrives at a certain point at a certain time, an adaptable control algorithm must be implemented.
In the case of a workstation, perturbations on the arrival of a product to a certain location can be introduced mainly by the assembly process. If the process has a longer duration, then the transportation system can compensate for the delay by varying the speed. The control algorithm must also consider some limitations. As a transportation system in a manufacturing process, the direction of transportation should be predefined, meaning that the product cannot travel backwards to a certain location. This can introduce some errors, as the product cannot be positioned at a precise point at the sensor location but position around it. In this case, the error is expected to be lower than the sequential control.
The second factor considered in the control algorithm is the minimal and maximal command values. To ensure that the command value is kept in the desired range, a saturation method is applied. This ensures that the system runs within the desired parameters.
5. Flexible Manufacturing System Conveyor Control
Based on the simulation results, an event-based algorithm was implemented, and a series of measurements were made on one of the FMS workstation conveyors. In addition to the calculations of the control value, a series of information transmission durations introduce some delays in system operations. These can be observed in the differences between the algorithm computation durations and the measurements but also by model, using a Petri net (
Figure 9). For the simplification of the model, only the first activation of the control algorithm and the corresponding durations for the computation and transport until arriving at the second sensor were considered. This permits more uniform modeling for all situations. The first operation in the conveyor process starts with the previous conveyor, with the transfer of the product and the activation of the first sensor. This is followed by the activation of the control algorithm and the calculation of the control value. This value is sent to the system, and product transportation starts. After the product arrives at the second sensor, assembly operation is started. After the assembly operation is finished, the control value calculation begins. With the control value updated, new transportation of the product is started. As the product arrives at the third sensor, the product is transferred to the next station.
Figure 10 shows the duration of each step of the conveyor process, from the algorithm activation to the product leaving the workstation. From the control update duration, the time taken by the control value calculation and sending the obtained information to the conveyor can be observed. The value of this duration, even small, can influence the entire production system, especially the production optimization algorithms. This computation and information transmission duration also explain some of the differences between the control algorithm and the measurement duration.
As at a certain moment on the conveyor is present a single product, represented by the station-free signal in the Petri net, a non-Zeno behavior can be ensured. Zeno behavior is defined by the probability of the execution of an infinite number of events in a finite duration. This is represented in most cases as requiring the execution of two or more events at the same moment in time, as presented in [
30,
31]. As only one product is presented on the conveyor, the activation of the control algorithm is ensured in a sequential manner, as the product arrives at one of the three positions. As one of the sensors is activated, the controller start is triggered. As none of the events that are executed are considered instantaneous and the events are proposed in a sequential manner, the system has a non-Zeno behavior, as illustrated in [
30]. Some Zeno behavior can be introduced by faults in the hardware of the system. As certain defects on the sensor side can determine the false activation of certain sensors, the system can interpret the fault as the product being at two positions at the same time, introducing Zeno behavior in the controller. This behavior can be used as a fault detector or eliminated by introducing certain precautions in the system software.
In
Figure 11,
Figure 12 and
Figure 13, the control algorithm and model implementation measurements can be observed.
Figure 10 represents the control value sent to the conveyor based on the event-based control algorithm. In the graphic, the second update of the control value can be observed as the back of the product crosses the sensor, reducing the conveyor speed. This follows the pattern present in the control algorithm simulation, with minor modifications introduced by data transmission delays and calculation approximations. As the same algorithm is used on the first and second parts of the conveyor and the distances are similar, the results are identical, with minor differences.
Based on the control value transmitted to the conveyor,
Figure 12 shows the position of the product on the duration between entering the workstation and waiting to leave it. Considering the small variation in speed between the product entering and leaving the sensor area, a notable modification in the product transition rate is not visually observable.
In cases in which some durations need to be compensated for based on assembly delays, the controller can set the control value for the conveyor at the maximal value for the entire transport duration between the two locations. These results can be observed in
Figure 13, where, for the entire duration of transport, the conveyor speed is kept at the maximum value. This ensures compensation for possible delays.
The proposed algorithm presents control possibilities for a limited number of transportation cases. These cases cannot be controlled in the usual manner, as the measurement of the controlled value is made in a discrete manner. These discrete measurements, done mostly by binary sensors, cannot ensure an optimal number of measurements for a standard PID control. In most cases, and especially in industry, this type of system is controlled using a sequential algorithm. In these usual algorithms, a predefined value is set to the control value, depending on the algorithm step the system is at the given moment. This can be detrimental in some cases if a variable control value is needed.
One type of sequential control algorithm can be based on a Petri net model of the manufacturing system; this determines what actions need to take place at a certain sensor activation. As the resulting actions are predefined, the command values are mostly set at an optimal working speed. This determines a behavior similar to the system, as in the event-based maximal speed case in
Figure 13, where the control output is kept at a certain level as the product is transported between the desired positions. This type of control cannot adapt easily to certain disturbances compared to other types of control.
In the case of the proposed event-based algorithm, the best results are obtained if the system is run as a faster process, as the saturation of the control value influences the output of the controller. This brings the event-based controller output closer to the continuous controller.
Another important aspect of the proposed event-based controller is the rapid increase or decrease in the control value. This can further limit the applicability of the controller. In the case of transporting products with a high inertial mass, this type of control can determine big positioning errors and hardware problems. However, in low mas product transportation, this type of problem should not have a definitive impact, permitting the implementation of such a controller.
6. Conclusions
In today’s manufacturing environment, most product position measurements are made in an event-triggering manner. As the product arrives in a key position, its location is updated. In most cases, the control of transporting a product between two key locations is carried out by a sequential control algorithm. In this type of control, one sequence of events is activated as the previous sections finish, and some sensors have achieved predefined values. However, using a predefined sequence and value in controlling product transportation limits the possibility of duration compensation in case of product delays. As in flexible manufacturing systems, products need to be at key locations at predefined intervals, so a rigid control algorithm cannot cope with the necessary control requirements.
In this situation, an event-based PID controller is presented for the presented fabrication system. Most of the event-based PID controllers presented in the literature have an event trigger set based on the error value. This means that the output of the system needs to be measured in a sampled manner at regular intervals. This is not possible in most manufacturing systems because the sensors are placed only in key positions.
Starting from the literature algorithms, the main improvement proposed in this article is represented by the modification of the event-trigger from an error level to a position activation event. This is representative of systems where the output of the system, in this case the product position, cannot be measured in a sampled manner. In this case, the error level of the output cannot be determined because the product position is determined only in key positions. This determines the necessity of introducing a new type of event-triggered, as proposed in this paper.
Based on the obtained results, the event-based controller can achieve similar results with the continuous PID in cases in which the control value is limited in a predefined range. In addition, this saturation of the control value results in the stabilization of the event-based controller, as without limitation, the controller would be unstable.
This type of event-based control could be improved by introducing a digital twin in the calculation of the control value and compensating for the error between the digital twin and the real system based on event-triggered measurements. This represents further research on event-based control, with this research being a reference base. Based on the obtained results, further comparisons can be made in developing a digital twin of the system and integrating it into the control loop.