Search results

This paper aims to study the issues of output reachable set estimation for the linear singular Markovian jump systems (SMJSs) with time-varying delay based on a proportional plus derivative (PD) bumpless transfer (BT) output feedback (OF) control scheme.

To begin with, a sufficient criterion is given in the form of a linear matrix inequality based on the Lyapunov stability theory. Then, a PD-BT OF controller is designed to keep all the output signs of the system are maintain within a predetermined ellipsoid. Finally, numerical and practical examples are used to demonstrate the efficiency of the approach.

Based on PD control and BT control method, an OF control strategy for the linear SMJSs with time-varying delay is proposed.

The output reachable set synthesis of linear SMJSs with time-varying delay can be solved by using the proposed approach. Besides, to obtain more general results, the restrictive assumptions of some parameters are removed. Furthermore, a sufficiently small ellipsoid can be obtained by the design scheme adopted in this paper, which reduces the conservatism of the existing results.

This study is a systematic literature review of the application of artificial intelligence (AI) in safety-critical systems. The authors aim to present the current application status according to different AI techniques and propose some research directions and insights to promote its wider application.

A total of 92 articles were selected for this review through a systematic literature review along with a thematic analysis.

The literature is divided into three themes: interpretable method, explain model behavior and reinforcement of safe learning. Among AI techniques, the most widely used are Bayesian networks (BNs) and deep neural networks. In addition, given the huge potential in this field, four future research directions were also proposed.

This study is of vital interest to industry practitioners and regulators in safety-critical domain, as it provided a clear picture of the current status and pointed out that some AI techniques have great application potential. For those that are inherently appropriate for use in safety-critical systems, regulators can conduct in-depth studies to validate and encourage their use in the industry.

This is the first review of the application of AI in safety-critical systems in the literature. It marks the first step toward advancing AI in safety-critical domain. The paper has potential values to promote the use of the term “safety-critical” and to improve the phenomenon of literature fragmentation.

This paper aims to study the issues of adaptive fuzzy control for a category of switched under-actuated systems with input nonlinearities and external disturbances.

A control scheme based on sliding mode surface with a hierarchical structure is introduced to enhance the responsiveness and robustness of the studied systems. An equivalent control and switching control rules are co-designed in a hierarchical sliding mode control (HSMC) framework to ensure that the system state reaches a given sliding surface and remains sliding on the surface, finally stabilizing at the equilibrium point. Besides, the input nonlinearities consist of non-symmetric saturation and dead-zone, which are estimated by an unknown bounded function and a known affine function.

Based on fuzzy logic systems and the hierarchical sliding mode control method, an adaptive fuzzy control method for uncertain switched under-actuated systems is put forward.

The “cause and effect” problems often existing in conventional backstepping designs can be prevented. Furthermore, the presented adaptive laws can eliminate the influence of external disturbances and approximation errors. Besides, in contrast to arbitrary switching strategies, the authors consider a switching rule with average dwell time, which resolves control problems that cannot be resolved with arbitrary switching signals and reduces conservatism.

This paper aims to extend the previous contributions about data-driven control in aircraft control system from academy and practice, respectively, combining iteration and learning strategy. More specifically, after returning output signal to input part, and getting one error signal, three kinds of data are measured to design the unknown controller without any information about the unknown plant. Using the main essence of data-driven control, iterative learning idea is introduced together to yield iterative learning data-driven control strategy. To get the optimal data-driven controller, other factors are considered, for example, adaptation, optimization and learning. After reviewing the aircraft control system in detail, the numerical simulation results have demonstrated the efficiency of the proposed iterative learning data-driven control strategy.

First, considering one closed loop system corresponding to the aircraft control system, data-driven control strategy is used to design the unknown controller without any message about the unknown plant. Second, iterative learning idea is combined with data-driven control to yield iterative learning data-driven control strategy. The optimal data-driven controller is designed by virtue of power spectrum and mathematical optimization. Furthermore, adaptation is tried to combine them together. Third, to achieve the combination with theory and practice, our proposed iterative learning data-driven control is applied into aircraft control system, so that the considered aircraft can fly more promptly.

A novel iterative learning data-driven strategy is proposed to efficiently achieve the combination with theory and practice. First, iterative learning and data-driven control are combined with each other, being dependent of adaptation and optimization. Second, iterative learning data-driven control is proposed to design the flight controller for the aircraft system. Generally, data-driven control is more wide in our living life, so it is important to introduce other fields to improve the performance of data-driven control.

To the best of the authors’ knowledge, this new paper extends the previous contributions about data-driven control by virtue of iterative learning strategy. Specifically, iteration means that the optimal data-driven controller is solved as one recursive form, being related with one gradient descent direction. This novel iterative learning data-driven control has more advanced properties, coming from data driven and adaptive iteration. Furthermore, it is a new subject on applying data-driven control into the aircraft control system.

This new paper aims to combine the recent new contributions about direct data driven control and other safety property to form an innovative direct data driven safety control for aircraft flight system. More specifically, within the framework of direct data driven strategy, the collected data are dealt with to get the identified plant and designed controller. After reviewing some priori information about aircraft flight system, a closed loop system with the unknown plant and controller simultaneously is considered. Data driven estimation is proposed to identify the plant and controller only through the ratios of two correlation functions, computed from the collected data. To achieve the dual missions about perfect tracking and safety property, a new notion about safety controller is introduced. To design this safety controller, direct data driven safety controller is proposed to solve one constrain optimization problem. Then the authors apply the Karush–Kuhn–Tucker (KKT) optimality conditions to derive the explicit safety controller.

First, consider one closed loop system corresponding to aircraft flight system with the unknown plant and feed forward controller, data driven estimation is used to identify the plant and feed forward controller. This identification process means nonparametric estimation. Second, to achieve the perfect tracking one given transfer function and guarantee the closed loop output response within one limited range simultaneously, safety property is introduced. Then direct data driven safety control is proposed to design the safety controller, while satisfying the dual goals. Third, as the data driven estimation and direct data driven safety control are all formulated as one constrain optimization problem, the KKT optimality conditions are applied to obtain the explicit safety controller.

Some aircraft system identification and aircraft flight controller design can be reformulated as their corresponding constrain optimization problems. Then through solving these constrain optimization problems, the optimal estimation and controller are yielded, while satisfying our own priori goals. First, data driven estimation is proposed to get the rough estimation about the plant and controller. Second, data driven safety control is proposed to get one safety controller before our mentioned safety concept.

To the best of the authors’ knowledge, some existing theories about nonparametric estimation and tube model predictive control are very mature, but few contributions are applied in practice, such as aircraft system identification and aircraft flight controller design. This new paper shows the new theories about data driven estimation and data driven safety control on aircraft, being corresponded to the classical nonparametric estimation and tube model predictive control. Specifically, data driven estimation gives the rough estimations for the aircraft and its feed forward controller. Furthermore, after introducing the safety concept, data driven safety control is introduced to achieve the desired dual missions with the combination of KKT optimality conditions.

This paper aims to investigate an adaptive prescribed performance control problem for switched pure-feedback non-linear systems with input quantization.

By using the semi-bounded continuous condition of non-affine functions, the controllability of the system can be guaranteed. Then, a constraint variable method is introduced to ensure that the tracking error satisfies the prescribed performance requirements. Meanwhile, to avoid the design difficulties caused by the input quantization, a non-linear decomposition method is adopted. Finally, the feasibility of the proposed control scheme is verified by a numerical simulation example.

Based on neural networks and prescribed performance control method, an adaptive neural control strategy for switched pure-feedback non-linear systems is proposed.

The complex deduction and non-differentiable problems of traditional prescribed performance control methods can be solved by using the proposed error transformation approach. Besides, to obtain more general results, the restrictive differentiability assumption on non-affine functions is removed.

The purpose of this paper is to demonstrate the use of Petri nets in a job shop setup for the improvement in the utilization of machines.

The study discusses concepts such as reachable state, token and matrix equations set, and demonstrates the improvements in machines’ utilization in a job shop. It makes use of algorithms to generate reachable markings to obtain utilization. The study not only describes the application of theory, but also extends the body of knowledge on Petri nets and job shops.

In this study, machines’ utilization has been studied in a job shop with six machines and eight products. The study finds that substantial utilization improvement in job shop set up can be obtained through the application of Petri nets. The study also exposes that Petri nets are mostly used for machines, jobs and tools scheduling problems, but its use in machines’ utilization is neglected. The framework and application presented here along with generalizable findings, is the first to report about machine utilization improvement in job shop manufacturing environment.

Job shops are characterized by high unit production cost, low investments, low volume and high variety, complex flows, flexible and skilled work force, general purpose machines, high material handling; resulting in poor utilization of machines. Therefore, the findings of this study can help in reducing such costs through better machine utilization. This can help in increasing the competitiveness of the companies.

The contribution of study lies in investigating and improving stage wise utilization in a job shop setup. It has never been reported before.

Deadlock is a rather undesirable phenomenon and must be well solved in flexible manufacturing systems (FMS). This paper aims to propose a general iterative deadlock control method for a class of generalized Petri nets (GPN), namely, G-systems, which can model an FMS with assembly and disassembly operations of multiple resource acquisition. When given an uncontrolled G-system prone to deadlocks, the work focuses on the synthesis of a near-optimal, non-blocking supervisor based on reachability graph (RG) analysis.

The concept of a global idle place (GIP) for an original uncontrolled G-system is presented. To simplify the RG computation of an uncontrolled G-system, a GIP is added temporarily to the net model during monitor computation steps. Starting with one token and then by gradually increasing the number of tokens in the GIP at each iteration step, the related net system is obtained. The minimal-covered-set of all bad markings of the related net system suffering from deadlock can be identified and then removed by additional monitors through an established place-invariant control method. Consequently, all related systems are live, and the GIP is finally removed when the non-blockingness of the controlled system is achieved. Meanwhile, the redundancy of monitors is also checked.

A typical G-system example is provided to demonstrate the applicability and effectiveness of the proposed method. Experiments show that the proposed method is easy to use and provides very high behavioral permissiveness for G-system. Generally, it can achieve an optimal or a near-optimal solution of the non-blocking supervisor.

In this work, the concept of GIP for G-systems is presented for synthesis non-blocking supervisors based on RG analysis. By using GIP, an effective deadlock control method is proposed. Generally, the proposed method can achieve an optimal or a near-optimal, non-blocking supervisor for an uncontrolled G-system prone to deadlocks.

To analyze the operating performance of an ac‐dc‐ac‐dc PWM parallel resonant converter operating at lagging power factor mode controlled based on fuzzy logic control method.

A range of published works relevant to dc‐ac‐dc converters and their control methods based on PWM technique are evaluated and their limitations in converter output voltage control are indicated in the first section of this paper. The Simulink model and different stages of the converter are described in the second section. In Section 3, the general mathematical model of the system is derived and the phase‐shift PWM switching technique is explained. The equivalent circuit of the high‐voltage high‐frequency transformer used in the converter and the effects of the transformer parameters on the converter operation are presented in Section 4. In Section 5, fuzzy logic control and the basic concepts of this method are described and its application to the proposed converter output voltage control is explained. In Section 6, the Simulink simulation results of the fuzzy logic control application are given for different operating conditions. In Section 7, an overview of the hardware used in this study is presented and the experimental results are given to show the performance of the controller. Finally, Section 8 gives the conclusions of the study.

The fuzzy logic control which is a suitable method for nonlinear systems such as the converter proposed in this paper, is successfully applied for output voltage control of the converter. The controller performance is satisfied. The phase‐shift angle of the converter is used as the control parameter. The paper also presents how the parasitic parameters of the transformer used in high‐voltage applications can be used as the circuit resonant elements.

In preparing this paper, the resources books and periodic journals existing in our university library and also the English resources relative to dc‐ac‐dc converters reachable through the internet were researched.

The suggested control method can be used in the control of linear and nonlinear systems. The study carried out in this paper is also a very good approach to be used in high‐voltage high‐frequency converters output voltage control.

Since, the control approach proposed in this paper does not require the information on converter and transformer parameters that affect the converter output voltage, so it can effectively be used in applications where there are parameter variation problems. The design of the transformer for the required load, finding an optimum operating frequency for the converter, and using the transformer parameters as resonant elements of the circuit to decrease the switching losses are the other contributions of this paper.

The purpose of this paper is to help industrial managers monitor and analyze critical performance indicators in real time during the execution of business processes by proposing a visualization technique using an extended formal concept analysis (FCA). The proposed approach monitors the current progress of ongoing processes and periodically predicts their probable routes and performances.

FCA is utilized to analyze relations among patterns of events in historical process logs, and this method of data analysis visualizes the relations in a concept lattice. To apply FCA to real‐time business process monitoring, the authors extended the conventional concept lattice into a reachability lattice, which enables managers to recognize reachable patterns of events in specific instances of business processes.

By using a reachability lattice, expected values of a target key performance indicator are predicted and traced along with probable outcomes. Analysis is conducted periodically as the monitoring time elapses over the course of business processes.

The proposed approach focuses on the visualization of probable event occurrences on the basis of historical data. Such visualization can be utilized by industrial managers to evaluate the status of any given instance during business processes and to easily predict possible subsequent states for purposes of effective and efficient decision making. The proposed method was developed in a prototype system for proof of concept and has been illustrated using a simplified real‐world example of a business process in a telecommunications company.

The main contribution of this paper lies in the development of a real‐time monitoring approach of ongoing processes. The authors have provided a new data structure, namely a reachability lattice, which visualizes real‐time progress of ongoing business processes. As a result, current and probable next states can be predicted graphically using periodically conducted analysis during the processes.