Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and rare survey has been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human error and to simplify management, self-management CPS (SCPS) is a wise choice. And to achieve dependable self-management, systematic solution is necessary to verify the design and to guarantee the safety of self-adaptation decision, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focus on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means; then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaption, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaption, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

The interest on the use of renewable energy resources is increasing, especially towards wind and hydro powers, which should be efficiently converted into electric energy via suitable technology tools. To this aim, data--driven control techniques represent viable strategies that can be employed for this purpose, due to the features of these nonlinear dynamic processes working over a wide range of operating conditions, driven by stochastic inputs, excitations and disturbances. Some of the considered methods, such as fuzzy and adaptive self--tuning controllers, were already verified on wind turbine systems, and similar advantages may thus derive from their appropriate implementation and application to hydroelectric plants. These issues represent the key features of the work, which provides some guidelines on the design and the application of these control strategies to these energy conversion systems. The working conditions of these systems will be also taken into account in order to highlight the reliability and robustness characteristics of the developed control strategies, especially interesting for remote and relatively inaccessible location of many installations.

It is difficult to capture the real-time online measurement data for biochemical oxygen demand (BOD) in wastewater treatment processes. An optimized extreme learning machine (ELM) based on an improved cuckoo search algorithm (ICS) is proposed in this paper for the design of soft BOD measurement model. In ICS-ELM, the input weights matrices of the extreme learning machine (ELM) and the threshold of the hidden layer are encoded as the cuckoo's nest locations. The best input weights matrices and threshold are obtained by using the strong global search ability of improved cuckoo search (ICS) algorithm. The optimal results can be used to improve the precision of forecasting based on less number of neurons of the hidden layer in ELM. Simulation results show that the soft sensor model has good real-time performance, high prediction accuracy and stronger generalization performance for BOD measurement of the effluent quality compared to other modeling methods such as back propagation (BP) network in most cases.

For many years, the programmable positioners have been widely applied in structures of modern electro-pneumatic final control elements. The positioner consists of an electro-pneumatic transducer, embedded controller and measuring instrumentation. Electro-pneumatic transducers that are used in positioners are characterized by a relatively short mean time-to-failure. The practical and economical method of a reasonable prolongation of this time is proposed in this paper. It is principally based on assessment and minimizing the effort of the embedded controller. For this purpose, were introduced: the control value variability, mean-time and the cumulative controller's effort. The diminishing of controller effort has significant practical repercussions, because it reduces the intensity of mechanical wear of the final control element components. On the other hand, the reduction of the cumulative effort is important in the context of process economy due to limitation of the consumption of energy of compressed air supplying the final control element. Therefore, the minimization of introduced effort factors has an impact on increasing the functional safety and economics of the controlled process. As a result of the performed simulations, the recommendations regarding the selection of the structure and tuning of positioner controller were elaborated. The simulations were performed in the Matlab-Simulink environment with the use of the liquid level control system in which a phenomenological model of a final control element was deployed. It has been proven that under appropriate conditions, it is possible to extend significantly the lifetime of the final control element and simultaneously enhance the control quality factors.

Research on bidirectional human-machine interfaces will enable the smooth interaction with robotic platforms in contexts ranging from industry to tele-medicine and rescue. This paper introduces a bidirectional communication system to achieve multisensory telepresence during the gestural control of an industrial robotic arm. We complement the gesture-based control by means of a tactile-feedback strategy grounding on a spiking artificial neuron model. Force and motion from the robot are converted in neuromorphic haptic stimuli delivered on the user’s hand through a vibro-tactile glove. Untrained personnel participated in an experimental task benchmarking a pick-and-place operation. The robot end-effector was used to sequentially press six buttons, illuminated according to a random sequence, and comparing the tasks executed without and with tactile feedback. The results demonstrated the reliability of the hand tracking strategy developed for controlling the robotic arm, and the effectiveness of a neuronal spiking model for encoding hand displacement and exerted forces in order to promote a fluid embodiment of the haptic interface and control strategy. The main contribution of this paper is in presenting a robotic arm under gesture-based remote control with multisensory telepresence, demonstrating for the first time that a spiking haptic interface can be used to effectively deliver on the skin surface a sequence of stimuli emulating the neural code of the mechanoreceptors beneath.

The fault diagnosis of wind turbine systems represent a challenging issue, especially for offshore installations, thus justifying the research topics developed in this work. Therefore, this paper addresses the problem of the fault diagnosis of wind turbines, and it present viable solutions of fault detection and isolation techniques. The design of the so--called fault indicator consists of its estimate, which involves data--driven methods, as they result effective tools for managing partial analytical knowledge of the system dynamics, together with noise and disturbance effects. In particular, the suggested data--driven strategies exploit fuzzy systems and neural networks that are employed to determine nonlinear links between measurements and faults. The selected architectures are based on nonlinear autoregressive with exogenous input prototypes, as they approximate the dynamic evolution of the system along time. The designed fault diagnosis schemes are verified via a high--fidelity simulator, which describes the normal and the faulty behaviour of an offshore wind turbine plant. Finally, by taking into account the presence of uncertainty and disturbance implemented in the wind turbine simulator, the robustness and the reliability features of the proposed methods are also assessed. This aspect is fundamental when the proposed fault diagnosis methods have to be applied to offshore installations.

The increasing trend of studying the innate softness of robotic structures and amalgamating it with the benefits of the extensive developments in the field of embodied intelligence has led to sprouting of a relatively new yet extremely rewarding sphere of technology. The fusion of current deep reinforcement algorithms with physical advantages of a soft bio-inspired structure certainly directs us to a fruitful prospect of designing completely self-sufficient agents that are capable of learning from observations collected from their environment to achieve a task they have been assigned. For soft robotics structure possessing countless degrees of freedom, it is often not easy (something not even possible) to formulate mathematical constraints necessary for training a deep reinforcement learning (DRL) agent for the task in hand, hence, we resolve to imitation learning techniques due to ease of manually performing such tasks like manipulation that could be comfortably mimicked by our agent. Deploying current imitation learning algorithms on soft robotic systems have been observed to provide satisfactory results but there are still challenges in doing so. This review article thus posits an overview of various such algorithms along with instances of them being applied to real world scenarios and yielding state-of-the-art results followed by brief descriptions on various pristine branches of DRL research that may be centers of future research in this field of interest.

A robust guaranteed cost preview repetitive controller is proposed for a class of polytopic uncertain discrete-time systems. In order to improve the tracking performance, the repetitive controller combined with preview compensator is inserted in the forward channel. By using the L-order forward difference operator, an augmented dynamic system is constructed. Then, the guaranteed cost preview repetitive control problem is transformed into the guaranteed cost control problem for the augmented dynamic system. For given performance index, the sufficient condition of asymptotic stability for the closed-loop system is derived by combining parameter-dependent Lyapunov function method with linear matrix inequality (LMI) techniques. By incorporating the controller obtained into the original system, the guaranteed-cost preview repetitive controller is derived. A numerical example is also included to show the effectiveness of the proposed method.

Home Security Systems are very important features of modern residential and office setups. This system is used to keep home safe from harmful gases, fire and intruders. It must be affordable, reliable and effective. In this paper, a GSM based home security system has been designed and implemented. The system consists of a GSM Module, MQ-2 smoke detector, Ultrasonic sonar sensor, LM35 temperature sensor, Arduino Uno and relay module. The MQ-2 smoke detector is used to detect harmful gases i.e. LPG, CH4, CO, Alcohol, Smoke or Propane. Any of the harmful gases stated above is detected it will warn the owner by activating the buzzer and displaying a warning message on the LCD display. It will also send a SMS to the owner. Our system can also measure temperate and if the temperature is increased above a certain range it will compensate it by activating Air Conditioner through the relay module. The system will also send a SMS to the owner. It can also detect intruders using Ultrasonic sensor and warn us through buzzer, SMS and displaying message on the LCD. Our system is reliable as it has very fast response and cost effective and it has been developed using our own technologies.

The management and proper use of the Urban Public Transport Systems (UPTS) constitutes a critical field that has not been investigated in accordance to its relevance and urgent idiosyncrasy within smart cities realm. Swarm Intelligence is a very promising paradigm to deal with such complex and dynamic systems. It presents robust, scalable and self-organized behaviour to deal with dynamic and fast changing systems. The intelligence of cities can be modelled as a swarm of digital telecommunication networks (the nerves), ubiquitously embedded intelligence, sensors and tags, and software. In this paper, a new approach based on the use of the Natural Computing paradigm and Collective Computation is shown, more concretely taking advantage of an Ant Colony Optimization algorithm variation and Fireworks algorithms in order to build a system that makes the complete control of the UPTS a tangible reality.

The sTetro is a stair cleaning robot which can climb the staircase with its shapeshifting capabilities. As this robot is intended to traverse multi-floor environment autonomously, hence its localization/positioning information is an essential component of the overall system. Usually, the indoor mobile robots rely on some external system for localization information, e.g., WiFi, UWB, vision, RFID signals, or indoor Global Positioning System (GPS). This requires the installation of additional hardware and/or modification of the working environment for precise positioning information of the mobile platform. As the dimensions of the staircase are known a priori, this knowledge can be used to localize the sTetro robot on the stairs. In this article, the geometry of the staircase has been exploited to localize the robot in 3D space with measurements from the onboard time-of-flight (ToF) range sensors only. The heading angle of the robot is also estimated with two ToF sensors installed in front of the sTetro robot. Results achieved by conducting experiments on real robot prove the efficacy of the proposed approach.

The following paper describes an economical, multiple model predictive control (EMMPC) for an air conditioning system of a confectionery manufacturer in Germany. The application consists of a packaging hall for chocolate bars, in which a new local conveyor belt air conditioning system is used and thus the temperature and humidity limits in the hall can be significantly extended. The EMMPC calculates the optimum energy or cost humidity and temperature set points in the hall. For this purpose, time-discrete state space models and an economic objective function with which it is possible to react to flexible electricity prices in a cost-optimised manner are created. A possible future electricity price model for Germany with a flexible EEG levy was used as a flexible electricity price. The flexibility potential is determined by variable temperature and humidity limits in the hall, which are oriented towards the comfort field for easily working persons, and the building mass. The building mass of the created room model is used as a thermal energy store. Considering electricity price and weather forecasts as well as internal, production plan-dependent load forecasts, the model predictive controller directly controls the heating and cooling register and the humidifier of the air conditioning system.

This paper introduces a model-free, "on-the-fly" learning control strategy for arrays of energy converters with adjustable generator damping. The devices are arranged so that they are affected simultaneously by the energy medium. Each device uses a different control strategy, of which at least one has to be the machine learning approach presented in this paper. During operation all energy converters record the absorbed power and control output; the machine learning device gets the data from the converter with the highest power absorption and so learns the best performing control strategy for each state. Consequently, the overall network has a better overall performance than each individual strategy. This concept is evaluated for wave energy converter (WEC) with numerical simulations and experiments with physical scale models in a wave tank. In the first of two numerical simulations, the learnable WEC works in an array with four WECs applying a constant damping factor. In the second simulation, two learnable WECs were learning with each other. It showed that in the first test the WEC was able to absorb as much as the best constant damping WEC, while in the second run it could absorb even slightly more. During the physical model test, the ANN showed its ability to select the better of two possible damping coefficients based on real world input data.

In accordance with problems such as difficulty in obtaining aerodynamic parameters of a quad-rotor model, the change of model parameters with external interference affects the control performances, an aerodynamic parameter estimation method and an adaptive attitude control method based on LADRC are designed. Firstly, the motion model, dynamics model and control distribution model of quad-rotor are established by using the aerodynamic and Newtonian Euler equations. Secondly, the identification tool CIFER is used to identify the aerodynamic parameters with large uncertainties in frequency domain and a more accurate attitude model of the quad-rotor is obtained. Then an adaptive attitude decoupling controller based on LADRC is designed to solve the problem of poor anti-interference ability of the quad-rotor, so that the control parameter b0 can be automatically adjusted to identify the change of the moment of inertia in real time. Finally, a semi-physical simulation platform is used for simulation verification. The results show that the adaptive LADRC attitude controller designed can effectively estimate and compensate the system's internal and external disturbances, and the tracking speed of the controller is faster and the precision is higher which can effectively improve system's anti-interference and robustness.

The goal of this contribution is an application of the Linear General Model Predictive Control (LGMPC). In this paper, stability of the LGMPC is proven by means of a demonstration of a Theorem stating a sufficient and constructive condition. This condition can be applied for calculating the weight matrices of the cost function in the optimisation problem in LGMPC. Lower bounds conditions are found for one of these matrices and then a system with saturation is taken into consideration. The conditions could be interpreted and discussions through physical aspects. The obtained results were tested by means of computer simulations and an example with a recover water process is considered.

The interest on the use of renewable energy resources is increasing, especially towards wind and hydro powers, which should be efficiently converted into electric energy via suitable technology tools. To this aim, self--tuning control techniques represent viable strategies that can be employed for this purpose, due to the features of these nonlinear dynamic processes working over a wide range of operating conditions, driven by stochastic inputs, excitations and disturbances. Some of the considered methods were already verified on wind turbine systems, and important advantages may thus derive from the appropriate implementation of the same control schemes for hydroelectric plants. This represents the key point of the work, which provides some guidelines on the design and the application of these control strategies to these energy conversion systems. In fact, it seems that investigations related with both wind and hydraulic energies present a reduced number of common aspects, thus leading to little exchange and share of possible common points. This consideration is particularly valid with reference to the more established wind area when compared to hydroelectric systems. In this way, this work recalls the models of wind turbine and hydroelectric system, and investigates the application of different control solutions. The scope is to analyse common points in the control objectives and the achievable results from the application of different solutions. Another important point of this investigation regards the analysis of the exploited benchmark models, their control objectives, and the development of the control solutions. The working conditions of these energy conversion systems will be also taken into account in order to highlight the reliability and robustness characteristics of the developed control strategies, especially interesting for remote and relatively inaccessible location of many installations.

UAV network operation enables gathering and fusion from disparate information sources for flight control in both manned and unmanned platforms. In this investigation, a novel procedure for detecting runways and horizons as well as enhancing surrounding terrain is introduced based on fusion of enhanced vision system (EVS) and synthetic vision system (SVS) images. EVS and SVS image fusion has yet to be implemented real-world situations due to signal misalignment. We address this through a registration step to align the EVS and SVS images. Four fusion rules combining discrete wavelet transform (DWT) sub-bands are formulated, implemented and evaluated. The resulting procedure is tested on real EVS-SVS image pairs and pairs containing simulated turbulence. Evaluations reveal that runways and horizons can be detected accurately even in poor visibility. Furthermore, it is demonstrated that different aspects of the EVS and SVS images can be emphasized by using different DWT fusion rules. The procedure is autonomous throughout landing, irrespective of weather. We believe the fusion architecture developed holds promise for incorporation into head-up displays (HUDs) and UAV remote displays to assist pilots landing aircraft in poor lighting and varying weather. The algorithm also provided a basis rule selection in other signal fusion applications.

While the demand in reduction of CO₂ increases, the need for CO₂ sequestration processes is very high. One promising technology is the Carbon Capture and Storage (CCS). In this paper we refer to several papers which study the three main steps in CCS chain. CO₂ capture technologies, CO₂ transportation to the storage sites and the very critical step the CO₂ storage. Recently a novel method (mineral carbonation) for CO₂ sequestration has been proposed which is based in the reaction of CO₂ with calcium or magnesium oxides or hydroxides to form stable carbonate materials. Greece is a country that emits CO₂ mainly from the lignite fired power plant in Western Greece. After the study of the bibliographic references about the use of mineral carbonation process while injecting CO₂ in the appropriate geological forms we concluded that there are also these forms in our country and mainly in the area near to the power plant such as in sites Vourinos and Pindos. In these sites exist minerals rich in oxides and hydroxides of Ca, Mg and Fe representing the perfect materials for mineral carbonation.

In recent years, autonomous robots have proven capable of solving tasks in complex environments. In particular, robot manipulations in activities of daily living (ADL) for service robots have been in wide use. However, manipulations such as loading a dishwasher or folding laundry are difficult to automate robustly. In addition, manipulations of grasping multiple objects in domestic environments present difficulty. To perform those applications better, we developed robotic systems based on shared autonomy by combining the cognitive skills of a human operator with autonomous robot behaviors. In this work, we present techniques for integration of a shared autonomy system for assistive mobile manipulation and new strategies to support users in the domestic environment. We demonstrate that the robot can grasp multiple objects with random size at known and unknown table heights. Specifically, we developed three strategies for manipulation. From experimental results, we observed that the first strategy has the highest success rate (70% for random objects) up to 70 cm table height. Two other strategies perform better for 80 cm to 100 cm table height. The success rate of the second and third strategies shows an average 63.3% and 73.3%, respectively, for grasping random objects. We also demonstrated these strategies using two intuitive interfaces, a visual interface in rviz and a voice user interface with speech recognition, which are suitable for elderly people. In addition, the robot can select strategies automatically in random scenarios, which make the robot intelligent and able to make decisions independently in the environment. We obtained interesting results showing that the robot adapts to the environmental variation automatically. After these experimental demonstrations, our robot shows the capabilities for employment in domestic environments to perform actual tasks.

The identification of linear dynamic systems with static nonlinearities in the delta domain has been presented in this paper applying a firefly based hybrid meta-heuristic algorithm integrating Firefly algorithm (FA) and Gray wolf optimizer (GWO). FA diversifies the search space globally while GWO intensifies the solutions through its local search abilities. A test system with continuous polynomial nonlinearities has been considered for hammerstein and wiener system identification in continuous, discrete and delta domain. Delta operator modelling unifies system identification of continuous-time systems with discrete domain at higher sampling frequency. Pseudo random binary sequence, contaminated with white noise, has been taken up as the input signal to estimate the unknown model parameters as well as static nonlinear coefficients. The hybrid algorithm not only outperforms the parent heuristics of which they are constituted but also proves better as compared to some standard and latest heuristic approaches reported in the literature.

This work is located in a growing sector within the field of renewable energies, wave energy converters (WECs). Specifically, it focuses on one of the point absorbers wave (PAWs) of the hybrid platform W2POWER. With the aim of maximising the mechanical power extracted from the waves by these WECs and reduce their mechanical fatigue, the design of five different model predictive controllers (MPCs) with hard and soft constraints has been carried out. As contribution of this paper, two of the MPCs have been designed with the addition of an embedded integrator. In order to validate the MPCs, an exhaustive study on performance and robustness is realized through simulations carried out in which uncertainties in the WEC dynamics are considered. Furthermore, looking for realistic in these simulations, an identification methodology for PAWs is proposed and validated by means of real time series of a scale prototype.

For a dynamical system, it is known that the existence of a Lyapunov density implies almost global stability of an equilibrium. It is then natural to ask whether the existence of a common Lyapunov density for a nonlinear switched system implies almost global stability, in the same way as a common Lyapunov function implies global stability for nonlinear switched systems. In this work, the answer to this question is shown to be affirmative as long as switchings satisfy a dwell-time constraint with an arbitrarily small dwell time. As a straightforward extension of this result, we employ multiple Lyapunov densities in analogy with the role of multiple Lyapunov functions for the global stability of switched systems. This gives rise to a minimum dwell time estimate to ensure almost global stability of nonlinear switched systems, when a common Lyapunov density does not exist. The results obtained for continuous-time switched systems are based on some sufficient conditions for the almost global stability of discrete-time non-autonomous systems. These conditions are obtained using the duality between Frobenius-Perron operator and Koopman operator.

This review paper deals with recently proposed algorithms for distributed blind macro-calibration of sensor networks based on consensus (synchronization), not requiring any fusion center. The basic algorithm, performing the estimation of the local calibration parameters, is derived commencing from appropriate local criteria, and developing the corresponding gradient descent scheme. It is shown that the estimated parameters of the calibration functions asymptotically converge, in the mean-square sense and with probability one (w.p.1), to such values that ensure consensus on calibrated sensor gains and calibrated sensor offsets. For the more realistic case in which additive measurement noise, communication dropouts and additive communication noise are present, two algorithm modifications are introduced: one using a simple compensation term, and a more robust one based on an instrumental variable. By utilizing stochastic approximation arguments it is shown that the modified algorithms also achieve asymptotic agreement for calibrated sensor gains and offsets, in the mean-square sense and w.p.1. Convergence rate is analyzed in terms of an upper bound of the mean-square error. It is also shown that the communications between nodes can be completely asynchronous, which is of substantial importance for real-world applications. Suggestions for design of \textit{a priori} adjustable weights are given. Finally, it is shown that, if there is a subset of (precalibrated) reference sensors with fixed calibration parameters, the calibrated sensor gains and offsets of the rest of the sensors do not achieve consensus - they converge to different points dictated by the reference sensors and the network characteristics. Wide applicability and efficacy of these algorithms are illustrated on several simulation examples.

Reliable and robust control of power converters is a key issue in the performance of numerous technological devices. In this paper we show a design technique for the control of a DC-DC buck converter with a switching technique that guarantees not only good performance but also global stability. We show that making use of the contraction theorem in the Jordan canonical form of the buck converter, it is possible to find a switching surface that guarantees stability but it is incapable of rejecting load perturbations. To overcome this, we expand the system to include the dynamics of the voltage error and we demonstrate that the same design procedure is not only able to stabilize the system to the desired operation point but also to reject load, input voltage and reference voltage perturbations.

Some professionals in the industrial community are not as familiar with digital PID controllers as the analog one. So the art work of this present paper is to show properly conditions and aspects to reach stability in the process control, as also to avoid instability, through the use of digital PID controllers, with the objective of help the industrial community. The discussed control strategy used to reach stability is to manipulate variables that are directly proportional to their controlled variables. To validate and to put the exposed principles into practice, it was done two simulations of a continuous fermentation tank process start-up with the yeast strain S. Cerevisiae NRRL-Y-132, in which the substrate feed stream contains different types of sugar derived from cane bagasse hydrolysate. These tests were carried out through the resolution of conservation laws, more specifically mass and energy balances, in which the fluid temperature and level inside the tank were the controlled variables. The results showed that if the exposed proceedings are followed, the system stabilize without difficulties.

Most systems that are the subject of control engineering studies have some non-linearity. An example of this is the horizontal cylindrical tank, commonly used in process industries. To deal with cases like this, several control theories have been developed over time, each one presenting better results in certain systems. This work presents an alternative for the control of nonlinear systems, without necessary modeling or previous information about the system, based on a new optimization law for the artificial neural network training in real time.

A new model predictive control (MPC) algorithm is used to select optimal air conditioning setpoints for a commercial office building, considering variable electricity prices, weather, occupancy and lighting. This algorithm, Cost-Comfort Particle Swarm Optimization (CCPSO), is the first to combine a realistic, smooth representation of occupants’ willingness to pay for thermal comfort with a bottom-up, non-linear model of the building and air conditioning system under control. We find that using a quadratic preference function for temperature can yield solutions that are both more comfortable and lower-cost than previous work that used a ``brick wall'' preference function with no preference for further cooling within an allowed temperature band and infinite aversion to going outside the allowed band. Using historical pricing data for a summer month in Chicago, CCPSO provided a 3\% reduction in costs vs. a ``brick-wall'' MPC approach with similar comfort and 13\% reduction in costs vs. a standard night setback strategy. CCPSO also reduced peak-hours demand by 3\% vs. the ``brick-wall'' strategy and 15\% vs. standard night-setback. At the same time, the CCPSO strategy increased off-peak energy consumption by 15\% vs. the ``brick-wall'' strategy. This may be valuable for power systems integrating large amounts of renewable power, which can otherwise become uneconomic due to saturation of demand during off-peak hours.

The article presents a non-destructive test system based on electrical impedance tomography for monitoring flood embankments. The technology of cyber-physical systems and the Internet of Things with the use of electrical impedance tomography enables real-time monitoring of flood embankments. This solution provides a visual analysis of damage and leaks, which allows for quick and effective intervention and possible prevention of danger. A dedicated solution based on the IT structure, dedicated laboratory models and a dedicated measurement system with various types of sensors and machine learning algorithms for image reconstruction has been developed. The system includes specialized intelligent devices for tomographic measurements. The application contains the analysis of anomalies occurring in the structure of the object as a result of damage or danger and breaking the shaft during the flood. The presented solution enables ongoing monitoring of objects by collecting measurement results, forecasts and simulations. The main advantage of the proposed system is the spatial ability to analyse shafts, high accuracy of imaging and high speed of data processing. The use of tomographic techniques in conjunction with image reconstruction algorithms allow for non-invasive and very accurate spatial assessment of humidity and damages of flood embankments. The presented results show the effectiveness of the presented research.

This paper deals with a non-contact method to identify the aerodynamic propeller parameters of the Parrot AR.Drone quadrotor. The experimental set consists in a camera recording the vehicle flights, the audio signal is extracted and is used a spectrogram analysis to estimates the propeller velocity. First, the aerial vehicle takes off and starts a hovering maneuver. The experiment is repeated with different additional masses attached to its rigid body. If the weight over the UAV increases/decreases, then the propeller must rotates faster/slower to produce a higher/lower thrust, and consequently, the sound frequency increases/decreases. Finally, this proposition is validated experimentally, and the estimated velocity is used to identify the quadrotor thrust parameters.

Control as a Service (CaaS) is an emerging paradigm where low-level control of a device is moved from a local controller to the Cloud, and provided to the device as an on-demand service. Among its many benefits, CaaS gives the device access to advanced control algorithms which may not be executable on a local controller due to computational limitations. As a step toward 3D printer CaaS, this paper demonstrates the control of a 3D printer by streaming low-level stepper motor commands (as opposed to high-level G-codes) directly from the Cloud to the printer. The printer is located at the University of Michigan, Ann Arbor, while its stepper motor commands are calculated using an advanced motion control algorithm running on Google Cloud computers in South Carolina and Australia. The stepper motor commands are sent over the Internet using the user datagram protocol (UDP) and buffered to mitigate transmission delays; checks are included to ensure accuracy and completeness of the transmitted data. All but one part printed using the cloud-based controller in both locations were hitch free (i.e., no pauses due to excessive transmission delays). Moreover, using the cloud-based controller, the parts printed up to 54% faster than using a standard local controller, without loss of accuracy.

In this work, an algorithm was developed to measure the respiration rate for an embedded device that can be used by a field robot for relief operation. With this algorithm, the rate measurement was calculated based on direct influences of respiratory-induced intensity variation (RIIV) on blood flow in cardiovascular pathways. For that, a photoplethysmogram (PPG) sensor was used to determine changes in heartbeat frequencies. The PPG sensor readings were filtered using an Information Filter and a Fast Fourier transform (FFT) to determine the state of RIIV. With a relatively light initialization, the information filter can estimate unknown variables based on a series of measurements containing noise and other inaccuraties. Therefore, this filter is suitable for application on an embedded device. For faster calculation time in the implementation, the FFT analysis was calculated only for a major peak in the frequency domain. Test and measurement of respiration rate was conducted based on the device algorithm and spirometer. Heartbeat measurement was also evaluated by comparing the heartbeat data of the PPG sensor and the medical tool kit. Based on the test, the implemented algorithm can measure respiration rate with about 80% accuracy compared with the spirometer.

This paper presents a system that merges computer vision and surface electromyography techniques to carry out grasping tasks. To perform this, the vision-driven system is used to compute pre-grasping poses of the robotic system based on the analysis of tridimensional object features. Then, the human operator can correct the pre-grasping pose of the robot using surface electromyographic signals from the forearm during wrist flexion and extension. Weak wrist flexions and extensions allow a fine adjustment of the robotic system to grasp the object and finally, when the operator considers that the grasping position is optimal, a strong flexion is performed to initiate the grasping of the object. The system has been tested with several subjects to check its performance showing a grasping accuracy of around 95% of the attempted grasps which increases by around a 9% the grasping accuracy of previous experiments in which electromyographic control was not implemented.

This paper presents a new adaptive and optimal algorithm for the trajectory tracking control of a quadrotor using iterative learning algorithm (ILA) and enumerative learning algorithm. Ordinarily the ILA, as an adaptive method, can perform well with PID control to improve the controller’s performance for a nonlinear system. Quadrotors are considered as non-linear and unstable systems which the use of an adaptive and optimal controller can increase its stability and decrease error level. In this method, a PID controller is proposed for the outer and inner control loops of a quadrotor and the ILA is used to adapt PID control gains. Subsequently, an enumerative learning algorithm is used to optimize the learning rates of the ILA. For this purpose, at first, the dynamic model of the quadrotor is acquired. After that, the structure of the inner and outer control loops is defined. In the end, the simulation results for the trajectory tracking control of a quadrotor are demonstrated. Through simulation, it is concluded that as time increases, the performance of the suggested control method in trajectory tracking control becomes better and better and error signals convergence to zero.

The increasing variability in power plant load, in response to a wildly uncertain electricity market and the need to to mitigate CO₂ emissions, lead power plant operators to explore advanced options for efficiency optimization. Model-based, system-scale dynamic simulation and optimization are useful tools in this effort, and the subject of the work presented here. In prior work, a dynamic model validated against steady-state data from a 605 MW subcritical power plant was presented. This power plant model is used as a test-bed for dynamic simulations, in which the coal load is regulated to satisfy a varying power demand. Plant-level control regulates plant load to match an anticipated trajectory of the power demand. The efficiency of the power plant operating at varying load is optimized through a supervisory control architecture that performs set point optimization on the regulatory controllers. Dynamic optimization problems are formulated to search for optimal time-varying input trajectories that satisfy operability and safety constraints during the transition between plant states. An improvement in time-averaged efficiency of up to 1.8% points is shown feasible with corresponding savings in coal consumption of 184.8 tons/day and carbon footprint decrease of 0.035 kg/kWh.

This article addresses the trajectory tracking between two non-identical systems with chaotic properties. We employ the Rossler chaotic and RCL-shunted Josephson junctions model in similar phase space to study trajectory tracking. In order to achieve the goal tracking, we afford two stages to approximate the target tracking. The first stage utilizes the active control technique to transfer the output signal from the RCLs-J system into the quasi-Rossler system. Then next, the RCLs-J system employs the proposed the iterative learning control scheme and the control signal from the drive system to trace the trajectory of Rossler system. The numerical results demonstrate the proposed method and the tracking system is asymptotically stable.

This research presents alternative solutions for an Energy Efficiency Management System (EEMS) serving as a framework for optimizing the energy consumption algorithm and lowering energy consumption. First, a monitoring Wireless Sensor and Actuator Network (WSAN) is used for sensing, measuring, gathering data, and modeling all the dynamic disturbance parameters of the rooms in the building. Second, integrated software for metering and controlling the processes of digital data flow is used. Third, an alternative solution is proposed to reduce energy consumption. The primary benefits of this system are real-time monitoring; rapid, alternative solutions; and the ability to make a prudent decision on how to lower energy consumption. The system shows instant and accumulated solutions for short and long-term time planning. The solutions identified can be implemented in the same buildings under the same circumstances. The universities of Majmaah and Philadelphia have buildings with similar infrastructure. The system was applied to the buildings at Philadelphia University. The results were generalized to both universities. After implementation, the energy consumption of the EEMS using WSAN (based on the monitoring was reduced up to 23% when compared to that of the initial state.

This paper focuses on the integrated guidance and autopilot design with control input saturation in the end-game phase of hypersonic flight. Firstly, uncertain nonlinear integrated guidance and autopilot model is developed with third actuator dynamics, where the control surface deflection has magnitude constraint. Secondly, neural network is implemented in extended state observer (ESO) design, which is used to estimate the complex model uncertainty, nonlinearity and state coupling. Thirdly, a command filtered back-stepping controller is designed with hybrid sliding surfaces to improve the terminal performance. In the process, different command filters are implemented to avoid the influences of disturbances and repetitive derivation, meanwhile solve the problem of unknown control direction caused by saturation. The stability of closed-loop system is proved by Lyapunov theory, and the principles abided by the controller parameters are concluded through the proof. Finally, series of 6-DOF numerical simulations are presented to show the feasibility and validity of the proposed controller.

The principal aim of a spectral observer is twofold: the reconstruction of a signal of time via state estimation and the decomposition of such a signal into the frequencies that make it up. A spectral observer can be catalogued as an online algorithm for time-frequency analysis because is a method that can compute on the fly the Fourier transform (FT) of a signal, without having the entire signal available from the start. In this regard, this paper presents a novel spectral observer with an adjustable constant gain for reconstructing a given signal by means of the recursive identification of the coefficients of a Fourier series. The reconstruction or estimation of a signal in the context of this work means to find the coefficients of a linear combination of sines a cosines that fits a signal such that it can be reproduced. The design procedure of the spectral observer is presented along with the following applications: (1) the reconstruction of a simple periodical signal, (2) the approximation of both a square and a triangular signal, (3) the edge detection in signals by using the Fourier coefficients, (4) the fitting of the historical Bitcoin market data from 2014-12-01 to 2018-01-08 and (5) the estimation of a input force acting upon a Duffing oscillator. To round out this paper, we present a detailed discussion about the results of the applications as well as a comparative analysis of the proposed spectral observer vis-à-vis the Short Time Fourier Transform (STFT), which is a well-known method for time-frequency analysis.

In this paper, by evaluating extreme value of the qth-power current, a torque sharing function (TSF) family for reducing the torque ripples in the switched reluctance motor (SRM) is proposed. The optimization criteria of the TSF has two secondary objectives, including the maximization of the torque-speed range and the minimization of copper loss. The evaluation indices in terms of the peak phase current, the rms phase current, and the torque ripple factor are compared between the proposed TSF family and four conventional TSFs including linear, sinusoidal, exponential, and cubic TSFs. An optimization objective function that combines the maximum absolute value of the rate-of-change of the flux linkage (MAV-RCFL) and the qth-power of current is proposed and a weighting factor is used to balance the influence of the two optimization objectives. An optimal TSF can be easily obtained by solving the optimization problem from the TSF family. The proposed TSF is validated by using simulations and experiments with a three-phase 6/4 SRM with 7.5 kW, 3000 rpm, and 270 V DC-link voltage. The dynamic simulation model is implemented in Matlab/Simulink. The results demonstrate the validity and superiority of the proposed control method; the optimal TSF provides better torque-speed performance, and a better reduction in copper loss and torque ripples at high speed compared to the conventional TSFs obviously.

Landing is one of the most dangerous tasks in all the operations on the aircraft carrier, and the landing safety is very important to the pilot and the flight deck operation. The problem of landing path selection is studied in this paper as there several candidates corresponding to different situations. A fuzzy path selection strategy is proposed to solve the problem considering the fuzziness of environmental information and human judgment, and the goal is to provide the pilot with more reasonable decision. The strategy is based on Fuzzy Multi-attribute Group Decision Making (FMAGDM), which has been widely used in industry. Firstly, the background of the path selection problem is given. Then the essential elements of the problem are abstracted to build the conceptual model. A group decision-making method is applied to denote the preference of each decision maker for each alternative route, and the optimal landing path under the current environment is determined taking into account the knowledge and the weight of both decision makers. Experimental studies under different setups, i.e., different environments, are carried out. The results demonstrate that the proposed path selection strategy is validated in different environments, and the optimal landing paths corresponding to different environments can be determined.

This paper first discusses a fractional-order Liu system of order as low as 2.7 and shows its chaotic characteristics by carrying out numerical simulations such as Lyapunov exponents, bifurcation diagrams and phase portraits. Then, by using the topological horseshoe theory and computer-assisted proof, the existence of chaos in the system is verified theoretically. Finally, the fractional-order system is implemented on a Field Programmable Gate Array (FPGA) and the results obtained show that the fractional-order Liu system is indeed chaotic.

Aiming at the defects of low precision and time cumulative error, an external wireless signal weighted centroid localization algorithm aided inertial positioning method is designed in this paper. According to the signal strength of each anchor node received at the test point, the distance between the anchor node and the anchor node is obtained by using the attenuation model of the wireless signal. Three anchor nodes are used to measure the distance between the anchor node and the measured point. We can obtain the area to be measured according to the actual situation, the position of the measured point is obtained by the weighted centroid localization algorithm and a combined model of wireless signal aided inertial navigation system is established. The simulation results show that the method can greatly improve the positioning accuracy and restrain the divergence of the longitude error and latitude error.

Linear regression is a basic tool in mobile robotics, since it enables accurate estimation of straight lines from range-bearing scans or in digital images, which is a prerequisite for reliable data association and sensor fusing in the context of feature-based SLAM. This paper discusses, extends and compares existing algorithms for line fitting applicable also in case of strong covariances between the coordinates at each single data point, which must not be neglected if range-bearing sensors are used. Besides, particularly the determination of the covariance matrix is considered, which is required for stochastic modeling. The main contribution is a new error model of straight lines in closed form for calculating fast and reliably the covariance matrix dependent on just a few comprehensible and easily obtainable parameters. The model can be applied widely in any case when a line is fitted from a number of distinct points also without a-priori knowledge of the specific measurement noise. By means of extensive simulations the performance and robustness of the new model in comparison to existing approaches is shown.

This paper is concerned with bump-less transfer of parametrized disturbance observer based controller (DOBC) with Individual Pitch Control (IPC) strategy for full load operation of wind turbine. Aerodynamic cyclic loads are reduced by tuning multivariable DOBC with the objective to reduce output power fluctuation, tower oscillation and drive-train torsion. Furthermore tower shadow and wind shear effect are also mitigated using parametrized controller. A scheduling mechanism between two DOBC is developed and tested on Fatigue, Aerodynamics, Structures, and Turbulence ( FAST) code model of National Renewable Energy Laboratory (NREL)’s 5 MW wind turbine. The closed-loop system performance is assessed by comparing the simulation results of proposed controller with a fixed gain and Linear Parameter Varying (LPV) DOBC with Collective Pitch Control (CPC) for full load operation. It is tested with step changing wind to see the behavior of the system under step change with wind shear and tower shadow (cyclic load) effects. Also turbulent wind is applied to see the smooth transition of the controllers. It can be concluded from the results that the proposed parametrized control DOBC with IPC shows smooth transition from one controller to another by interpolation. Moreover fatigue of the gear and tower due to wind shear and tower shadow effects are reduced considerably by the proposed controller as compared to collective pitch control.

GNSS receivers are nowadays commonly used in monitoring applications, e.g., in estimating crustal and infrastructure deformations. This is basically due to the recent improvements in GNSS instruments and methodologies that allow high precision positioning, 24 h availability and semiautomatic data processing. In this paper, GNSS estimated deformations on a dam structure have been analyzed and compared with pendulum data. This study has been carried out for the Eleonora D’Arborea (Cantoniera) dam, which is in the Sardinia Island. Time series of pendulum and GNSS over a time span of 2.5 years have been aligned so to be comparable. Analytical models fitting these time series have been estimated and compared. Those models were able to properly fit pendulum data and GNSS data, with standard deviation of residuals smaller than one millimeter. This encouraging results led to the conclusion that GNSS technique can be profitably applied to dam monitoring allowing a denser description, both in space and time, of the dam displacements than the one based on pendulum observations.

The current work addresses the control of two-input two-output (TITO) Wood and Berry model of a binary distillation column. The controller design problem is formulated in terms of multivariable H_∞ control synthesis. The controller structure takes the form of simplest static output feedback (SOF) control. The controller synthesis is performed using a hybrid approach of blending linear matrix inequalities (LMI) and genetic algorithm (GA). The performance of the static output feedback controller is compared with three other controllers designed for Wood and Berry model available in the literature. The first simulation study is performed for the case of tracking a unit step command in the presence of a step change in output disturbance. A second simulation study is performed for rejecting a change in sinusoidal output disturbance.

In this paper, an extensive study on the operation, control and performance of a hybrid photovoltaic and wind turbine (PV-WT) system is presented. The study includes the operation of the hybrid systems under different weather conditions which are reflected on a change in the wind speed and irradiance. Various loading conditions are investigated such a change in active and reactive power demands for static and dynamic loads. The performance of the hybrid system is examined via MATLAB/SIMULINK simulations.

Incorporating linear-scanning MEMS micromirrors into Fourier transform spectral acquisition systems can greatly reduce the size of the spectrometer equipment, making portable Fourier transform spectrometers (FTS) possible. How to minimize the tilting of the MEMS mirror plate during its large linear scan is a major problem in this application. In this work, an FTS system has been constructed based on a biaxial MEMS micromirror with a large piston displacement of 180 μm, and a biaxial H∞ robust controller is designed. Compared with open-loop control and PID closed-loop control, H∞ robust control has good stability and robustness. The experimental results show that the stable scanning displacement reaches 110.9 μm under the H∞ robust control, and the tilting angle of the MEMS mirror plate in that full scanning range falls within ±0.0014°. Without control, the FTS system cannot generate meaningful spectra. In contrast, the FTS yields a clean spectrum with an FWHM spectral linewidth of 96 cm-1 under the H∞ robust control. Moreover, the FTS system can maintain good stability and robustness under various driving conditions.

This research not only dedicated a less restrictive method of iteration-varying function for a learning control law to design a controller but also synchronize two nonlinear systems with free time-delay. In addition, the mathematical theory of system synchronization has proved rigorously and the theory verified through an example to demonstrate the behavior of each parameter in the theory. The design of a controller using the iterative learning control law is significant for robotic tracking. The controller in this research generates a feed-forward control input using the error dynamics among the drive-response systems. The error dynamics satisfies the Lyapunov function and the combination of output errors, which respectively represented relative estimated differences of the drive-response systems. The iterative learning control rule serves the function of a filter adding previous control error after the end of each iteration. The numerical example of a synchronous system is given a Lorenz system for driving and another with the iterative learning control law for response under different initial condition. The results verify and demonstrate the proposed mathematical theory. The simulation exhibits consistency in the behavior of each parameter to match mathematical theory.

Serious damage caused by floor heave in the coal given chamber of a vertical coal bunker is one of the challenges faced in underground coal mines. Engineering practice shows that it is more difficult to maintain the coal given chamber (CGC) than a roadway. More importantly, repairing the CGC during mining practice will pose major safety risks and reduce production. Based on the case of the serious collapse that occurred in the bearing structure of the CGC at the lower part of the 214# coal bunker in Xiashijie mine, China, this work analysed (i) the main factors influencing floor heave and (ii) the failure mechanism of the load-bearing structure in the CGC using FLAC^2D numerical models and expansion experiment. The analysis results indicate that: the floor heave, caused mainly by mine water, is the basic reason leading to the instability and repeated failure of the CGC in the 214# coal bunker. Then a new coal bunker, without building the CGC, is proposed and put into practice to replace the 214# coal bunker. The FLAC^3D software program is adopted to establish the numerical model of the wall-mounted coal bunker (WMCB), and the stability of the rock surrounding the WMCB is simulated and analysed. The results show that: (1) the rock surrounding the sandstone segment is basically stable. (2) The surrounding rock in the coal seam segment, which moves into the inside of the bunker, is the main zone of deformation for the entire rock mass surrounding the bunker. Then the surrounding rock is controlled effectively by means of high-strength bolt–cable combined supporting technology. According to the geological conditions of the WMCB, the self-bearing system, which includes (i) H-steel beams, (ii) H-steel brackets, and (iii) self-locking anchor cables, is established and serves as a substitute for the CGC to transfer the whole weight of the bunker to stable surrounding rock. The stability of the new coal bunker has been verified by field testing, and the coal mine has gained economic benefit to a value of 158.026174 million RMB over three years. The new WMCB thus made production more effective and can provide helpful references for construction of vertical bunkers under similar geological conditions.

Quantitative and qualitative fuzzy measures have been proposed to hesitant fuzzy sets (HFSs) from different points. However, few of the existing HFSs fuzzy measures refer to the grey relational analysis (GRA) theory. Actually, the GRA theory is very useful in the fuzzy measure domain, which has been developed for such the intuitionistic fuzzy sets. Therefore, in this paper, we apply the GRA theory to the HFSs and interval-valued hesitant fuzzy sets (IVHFS) domain. We propose the HFSs grey relational degree, HFSs slope grey relational degree, HFSs synthetic grey relational degree and IVHFSs grey relational degree, which describe the closeness, the variation tendency and both the closeness and variation tendency of HFSs and closeness of IVHFSs, respectively, greatly enriching the fuzzy measures of HFSs. Furthermore, with the help of the TOPSIS method, we develop the grey relational based MADM methodology to solve the HFSs and IVHFSs MADM problems. Finally, combined with two practical MADM examples about energy policy selection with HFSs information and emergency management evaluation with IVHFSs information, we obtain the most desirable decision results, and compared with the previous methods, the validity, effectiveness and accuracy of the proposed grey relational degree for HFSs and IVHFSs are demonstrated in detail.

Wind turbine plants are complex dynamic and uncertain processes driven by stochastic inputs and disturbances, as well as different loads represented by gyroscopic, centrifugal, and gravitational forces. Moreover, as their aerodynamic models are nonlinear, both modelling and control become challenging problems. On one hand, high-fidelity simulators should contain different parameters and variables in order to accurately describe the main dynamic system behaviour. Therefore, the development of modelling and control for wind turbine systems should consider these complexity aspects. On the other hand, these control solutions have to include the main wind turbine dynamic characteristics without becoming too complicated. The main point of this paper is thus to provide two practical examples of development of robust control strategies when applied to a simulated wind turbine plant. Experiments with the wind turbine simulator and the Monte–Carlo tools represent the instruments for assessing the robustness and reliability aspects of the developed control methodologies when the model-reality mismatch and measurement errors are also considered. Advantages and drawbacks of these regulation methods are also highlighted with respect to different control strategies via proper performance metrics.

The RPL protocol is a routing protocol for low power and lossy networks. In such a network, energy is a very scarce resource; so many studies are focused on minimizing global energy consumption. End-to-end latency is another important performance indicator of the network, but existing research tends to focus more on energy consumption and ignore the end-to-end delay of data transmission. In this paper, we propose a kind of energy equalization routing protocol to maximize the surviving time of the restricted nodes so that the energy consumed by each node is close to each other. At the same time, a multi-path forwarding route is proposed based on the cache utilization. The data is sent to the sink node through different parent nodes at a certain probability, not only by selecting the preferred parent node, thus avoiding buffer overflow and reducing end-to-end delay. Finally, the two algorithms are combined to accommodate different application scenarios. The experimental results show that the proposed three improved schemes improve the reliability of the routing, extend the lifetime of the network, reduce the end-to-end delay, and reduce the number of DAG reconfiguration.

This paper presents the results of an experimental investigation about target detecting with passive sonar in Persian Gulf. Detecting propagated sounds in the water is one of the basic challenges of the researchers in sonar field. This challenge will be complex in shallow water (like Persian Gulf) and noise less vessels. Generally, in passive sonar the targets are detected by sonar equation (with constant threshold) which increase the detection error in shallow water. Purpose of this study is proposed a new method for detecting targets in passive sonars using adaptive threshold. In this method, target signal (sound) is processed in time and frequency domain. For classifying, Bayesian classification is used and prior distribution is estimated by Maximum Likelihood algorithm. Finally, target was detected by combining the detection points in both domains using LMS adaptive filter. Results of this paper has showed that proposed method has improved true detection rate about 27% compare other the best detection method.

Increasingly, there is a focus on utilising renewable energy resources in a bid to fulfil increasing energy requirements and mitigate the climate change impacts of fossil fuels. While most renewable resources are free, the technology used to usefully convert such resources is not and there is an increasing focus on improving the conversion economy and efficiency. To this end, advanced control technologies can have a significant impact and is already a relatively mature technology for wind turbines. Though hydroelectric plants can use simple regulation systems, significant benefits have been shown to accrue from the appropriate use of the same control methods designed for wind turbine plants. This represents the key point of the paper. In fact, to date, the application communities connected with wind and hydraulic energies have had little communication, resulting in little cross fertilisation of control ideas and experience, particularly from the more mature wind area to hydrodynamic systems. Therefore, this paper examines the models and the application of control technology across both domains, both from a comparative and contrasting point of view, with the aim of identifying commonalities in models and control objectives, as well as potential solutions. Key comparative reference points include the articulation of the exployed models, specification of control objectives, development of high--fidelity simulators, and development of solution concepts. Not least, in terms of realistic system requirements are the set of physical and constraints under which such renewable energy systems must operate, and the need to provide reliable and robust control solutions, which respect the often remote and relatively inaccessible location of many onshore and offshore deployments.

This paper presents a methodology for determining the sensitivity of the main air flow directions in ventilation subnetworks to changes of aerodynamic resistance and of air density in mine workings. Formulae for determination of the sensitivity of the main subnetwork air flows by establishing the degree of dependency of the air volume stream in a given working on the variations in resistance or air density of other workings of the network have been developed. They have been implemented in the VentGraph mine ventilation network simulator. This software, widely used in Polish collieries provides an extended possibility to predict the process of ventilation, air distribution and, in the case of underground fire, also the spread of combustion gasses. The new method facilitates assessment by mine ventilation services of the stability of ventilation systems in exploitation areas and determine of the sensitivity of the main subnetwork air flow directions to changes of aerodynamic resistance and air density. Recently in some Polish collieries new longwalls are developed in seams located deeper then the bottom of the intake shaft. Such solution is called “exploitation below the level of access” or “sublevel”. The new approach may be applied to such developments to assess the potential of changes of direction and air flow rates. In addition, interpretation of the developed sensitivity indicator is presented. While analyzing air distributions for sublevel exploitation, application of current numerical models for calculations of the distribution results in tangible benefits, such as the evaluation of the safety or risk levels for such exploitation. Application of the VentGraph computer program, and particularly the module POŻAR (fire) with the newly developed options, enables an additional approach to the sensitivity indicator in evaluating air flow safety levels for the risks present during exploitation below the level of the intake shaft. The analyses performed and examples presented enabled useful conclusions in mining practice to be drawn.

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

An acrobot is a planar robot with a passive actuator in its first joint. The control problem of the acrobot tries to make it rise from the rest position to the inverted pendulum position. This control problem can be divided in the swing-up problem, when the robot has to rise itself through swinging up as a human acrobat does, and the balancing problem, when the robot has to maintain itself on the inverted pendulum position. We have developed three controllers for the swing-up problem applied to two types of motors: small and big. For small motors, we used the SARSA controller and the PD with a trajectory generator. For big motors, we propose a new controller to control the acrobot, a PWM controller. All controllers except SARSA are tuned using a Genetic Algorithm.

: The cyber-physical gap (CPG) is the difference between the 'real' state of the world and the way the system perceives it. This discrepancy often stems from the limitations of sensing and data collection technologies and capabilities, and is an inevitable issue in any cyber-physical system (CPS). Ignoring or misrepresenting such limitations during system modeling, specification, design, and analysis can potentially result in systemic misconceptions, disrupted functionality and performance, system failure, severe damage, and potential detrimental impacts on the system and its environment. We propose CPG-Aware Modeling & Engineering (CPGAME), a conceptual model-based approach for capturing, explaining, and mitigating the CPG, on top of and in sync with the conventional system model, and as an inherent systems engineering activity. This approach enhances the systems engineer’s ability to cope with CPGs, mitigate them by design, and prevent erroneous decisions, actions, and hazardous implications. CPGAME is a generic, conceptual approach, specified and demonstrated with Object Process Methodology (OPM). OPM is a holistic conceptual modeling paradigm for multidisciplinary, complex, dynamic systems, which is also ISO-19450. We analyze the 1979 Three Miles Island 2 nuclear accident as a prime example of the disastrous consequences of unmitigated CPGs in complex systems.

This paper discusses about control of the linear switched reluctance machines (LSRMs) network for the zero phase-difference tracking to a sinusoidal reference. The dynamics of each LSRM is derived by online system identification and modeled as a second-order linear system. Accordingly, based on the coupled harmonic oscillators synchronization manner, a distributed control is proposed to synchronize each LSRM state to a virtual LSRM node representing the external sinusoidal reference for tracking it with zero phase-difference. Subsequently, a simulation scenario and an experimental platform with the identical parameter setup are designed to investigate the tracking performance of the LSRMs network constructed by the proposed distributed control. Finally, the simulation and experimental results verify the effectiveness of the proposed LSRMs network controller, and also prove that the coupled harmonic oscillators synchronization method can improve the synchronization tracking performance and precision.

Autonomous aerial refueling technology is an effective solution to extend flight duration of unmanned aerial vehicles, and also a great challenge due to its high risk. For autonomous probe-and-drogue refueling tasks, relative navigation to provide relative position between the receiver aircraft and the refueling drogue is the first and essential step, and vision-based method is the most frequently used. A new monocular vision navigation sensor with image processing strategy consisting of the drogue detection method and the tracking method is developed for autonomous aerial refueling in this paper. In the drogue detection method, thresholding and mathematical morphology method are adopted to eliminate image interference, and contours extraction method is applied to obtain all contours, which are then subsequently checked to achieve target contour of drogue. In the tracking method, a rectangle of interest (ROI) of current frame image is determined by positioning results of last frame, and then processed by the previous drogue detection method. Finally, the proposed image processing strategy in monocular vision navigation sensor is validated using real flight images, which are captured from an autonomous aerial refueling testbed using a micro six-rotor aircraft as receiver aircraft.

Vibrations of blades and tower have important impact for wind turbine. This paper presents a active controller design to suppress blade edgewise vibrations under aerodynamic load and gravitational load.Treating the sum of aerodynamic load input in edgewise direction and gravitational load as unknown disturbance input,a stochastic disturbance accommodating control(SDAC) approach is proposed to design a controller which it utilizes a minimum-variance unbiased estimator(MVUE) to estimate both state and unknown input. The stability analysis proved that the proposed SDAC is bounded in mean square.In order to verify the performance of the minimum-variance unbiased estimator and the proposed SDAC, numerical simulations using Matlab/Simulink have been carried out for the National Renewable Energy Laboratory 5-MW wind turbine.Under the different circumstance which exists the random process and measure noise and noise free. It is shown that the estimation value by MVUE can tracking the real state and unknown input. The results are also compared to the traditional linear quadratic regulator(LQR) and show that the proposed stochastic disturbance accommodating control scheme can further reduce displacement in edgewise vibrations direction and the control strategy is more effective than the LQR.

The fault diagnosis of wind farms has been proven to be a challenging task and motivates the research activities carried out through this work. Therefore, this paper deals with the fault diagnosis of a wind park benchmark model, and it considers viable solutions to the problem of earlier fault detection and isolation. The design of the fault indicator involves data-driven approaches, as they can represent effective tools for coping with poor analytical knowledge of the system dynamics, noise, uncertainty and disturbances. In particular, the proposed data-driven solutions rely on fuzzy models and neural networks that are used to describe the strongly nonlinear relationships between measurement and faults. The chosen architectures rely on nonlinear autoregressive with exogenous input models, as they can represent the dynamic evolution of the system along time. The developed fault diagnosis schemes are tested by means of a high-fidelity benchmark model, that simulates the normal and the faulty behaviour of a wind farm installation. The achieved performances are also compared with those of a model-based approach relying on nonlinear differential geometry tools. Finally, a Monte-Carlo analysis validates the robustness and the reliability of the proposed solutions against typical parameter uncertainties and disturbances.

For improving the tracking accuracy and model switching speed of maneuvering target tracking in nonlinear systems, a new algorithm named interacting multiple model fifth-degree spherical simplex-radial cubature filter (IMM5thSSRCKF) is proposed in this paper. The new algorithm is a combination of the interacting multiple model (IMM) filter and fifth-degree spherical simplex-radial cubature filter (5thSSRCKF). The proposed algorithm makes use of Markov process to describe the switching probability among the models, and uses 5thSSRCKF to deal with the state estimation of each model. The 5thSSRCKF is an improved filter algorithm, which utilizes the fifth-degree spherical simplex-radial rule to improve the filtering accuracy. Finally, the tracking performance of the IMM5thSSRCKF is evaluated by simulation in a typical maneuvering target tracking scenario. Simulation results show that the proposed algorithm has better tracking performance and quicker model switching speed when disposing maneuver models compared with IMMUKF, IMMCKF and IMM5thCKF.

The effective Supervisory Control and Data Acquisition (SCADA) system can improve the reliability, safety and economic benefits of microgrid operation. In this research, the lower central controller and upper WEB monitoring system are connected by the SCADA system which is as the hub of microgrid intelligent monitoring platform. This system contains a set of specific functions programmed by Java as a middleware which can provide control and communication between the central controller and the upper monitoring system. The system realizes the real-time data acquisition and storage, the control instructions parsing and transmitting, the microgrid security and stability, the load balancing and resource recovery of the microgrid. All that functions have been tested and verified in the actual operation.

In order to overcome the limitation of the traditional adaptive Unscented Kalman Filtering (UKF) algorithm in noise covariance estimation for statement and measurement, we propose a hybrid adaptive UKF algorithm based on combining Maximum a posteriori (MAP) criterion and Maximum likelihood (ML) criterion, in this paper. First, to prevent the actual noise covariance deviating from the true value which can lead to the state estimation error and arouse the filtering divergence, a real-time covariance matrices estimation algorithm based on hybrid MAP and ML is proposed for obtaining the statement and measurement noises covariance, respectively; and then, a balance equation the two kinds of covariance matrix is structured in this proposed to minimize the statement estimation error. Compared with the UFK based MAP and based ML, the proposed algorithm provides better convergence and stability.

This article presents a new input device for spastic patients and others with similar symptoms. The sensor consists of a disc used to determine positions and can replace standard joysticks in medical devices such as electric-powered wheelchairs. Using a standard joystick while operating a powered wheelchair can result in dangerous situations when spastic movements occur and extremities cramp making them uncontrollable. To avoid this, a disc was developed that can be controlled with any body part. By shifting weight (x- and y-axis) the disc can tilt in any direction creating a proportional output signal and can also be pushed down in the center (z-axis) to open a menu on a screen for example. When spasms occur it is impossible for users to get stuck on the input device because the disc is flat and can be mounted within a control panel. Body parts coming into contact with the disc would merely slide across the disc without triggering unintentional actions. The sensor presented here is also adaptive and can be adjusted to fit a user’s strength and range of motion. This proposal aims to develop an input device that enables spastic patients to operate sensitive systems safely.

This paper presents a system for identification of wind features, such as gusts and wind shear. These are of particular interest in the context of energy-efficient navigation of Small Unmanned Aerial Systems (UAS). The proposed system generates real-time wind vector estimates and a novel algorithm to generate wind field predictions. Estimations are based on the integration of an off-the-shelf navigation system and airspeed readings in a so-called direct approach. Wind predictions use atmospheric models to characterize the wind field with different statistical analyses. During the prediction stage, the system is able to incorporate, in a big-data approach, wind measurements from previous flights in order to enhance the approximations. Wind estimates are classified and fitted into a Weibull probability density function. A Genetic Algorithm (GA) is utilized to determine the shaping and scale parameters of the distribution, which are employed to determine the most probable wind speed at a certain position. The system uses this information to characterize a wind shear or a discrete gust and also utilizes a Gaussian Process regression to characterize continuous gusts. The knowledge of the wind features is crucial for computing energy-efficient trajectories with low cost and payload. Therefore, the system provides a solution that does not require any additional sensors. The system architecture presents a modular decentralized approach, in which the main parts of the system are separated in modules and the exchange of information is managed by a communication handler to enhance upgradeability and maintainability. Validation is done providing preliminary results of both simulations and Software-In-The-Loop testing. Telemetry data collected from real flights, performed in the Seville Metropolitan Area in Andalusia (Spain), was used for testing. Results show that wind estimation and predictions can be calculated at 1 Hz and a wind map can be updated at 0.4 Hz. Predictions show a convergence time with a 95% confidence interval of approximately 30 s.

Wearable technology has been proposed as a potential tool to change the way of human life, such as the smart bracelet and the Google Glass. In the wearable technology, the inertial sensor has great significance in tracking the object movements. The paper focused on detecting the movements of user’s finger based on the inertial sensor to give the control signals. Firstly, the attitude matrix, which represented the transformation relation of carrier coordinate system and the navigation coordinate system, was obtained. Secondly, the attitude matrix was expressed based on the quaternions. Thirdly, the finger gesture was processed by the attitude matrix to get the attitude angle. Finally, the robot was controlled by attitude angle to make the moving action. The experimental results showed the detection of the finger movement is effective.

The paper presents the design and the implementation of different advanced control strategies that are applied to a nonlinear model of a thermal unit. A data–driven grey–box identification approach provided the physically meaningful nonlinear continuous–time model, which represents the benchmark exploited in this work. The control problem of this thermal unit is important since it constitutes the key element of passive air conditioning systems. The advanced control schemes analysed in this paper are used to regulate the outflow air temperature of the thermal unit by exploiting the inflow air speed, whilst the inflow air temperature is considered as an external disturbance. The reliability and robustness issues of the suggested control methodologies are verified with a Monte–Carlo analysis for simulating modelling uncertainty, disturbance and measurement errors. The achieved results serve to demonstrate the effectiveness and the viable application the suggested control solutions to air conditioning systems. The benchmark model represents one of the key issues of this study, which is exploited for benchmarking different model–based and data–driven advanced control methodologies through extensive simulations. Moreover, this work highlights the main features of the proposed control schemes, while providing practitioners and heating, ventilating and air conditioning engineers with tools to design robust control strategies for air conditioning systems.

We present information theoretic search strategies for single and multi-robot teams to localize the source of biochemical contaminants in turbulent flows. The robots synthesize the information provided by sporadic and intermittent sensor readings to optimize their exploration strategy. By leveraging the spatio-temporal sensing capabilities of a mobile sensing network, our strategies result in control actions that maximize the information gained by the team while optimizing the time spent localizing the position of the biochemical source. By leveraging the team's ability to obtain simultaneous measurements at different locations, we show how a multi-robot team is able to speed up the search process resulting in a collaborative information theoretic search strategy. We validate our proposed strategies in both simulations and experiments.

The foot-mounted inertial navigation system is an important application of pedestrian navigation as it in principle does not rely any external assistance. A real-time range decomposition constraint method is proposed in this paper to combine the information of dual foot-mounted inertial navigation systems. It is well known that low-cost inertial sensors with ZUPT (zero-velocity update) and range decomposition constraint perform better than in either single way. This paper recommends that the distance of separation between the position estimates of feet-mounted inertial navigation systems be restricted in the ellipsoidal constraint which relates to the maximum step and leg height. The performance of the proposed method is studied utilizing experimental data. The results indicate that the method can effectively correct the dual navigation systems’ position over the existing spherical constraint.

With the rapid development of wind power generations, the inertial response of wind turbines (WTs) are widely concerned recently, which is important for grid frequency dynamic and stability. This paper recognizes and understands the inertial response of type-3 and type-4 WTs from the view of equivalent internal voltage, in analogy with typical synchronous generators (SGs). Due to the dynamic of the equivalent inertial voltage different from SGs, the electromechanical inertia of WTs is completely hidden. The rapid power control loop and synchronization control loop is the main reasons that the WT's inertial response is disenabled. On the basis of the equivalent internal voltage's dynamic, the existing inertia control method for WTs are reviewed and summarized as three approaches from the view of WT's control, i.e. optimizing the power control or synchronization control or both. At last, the main challenges and issues of these inertia controls are attempted to explain and address.

The use of haptic devices in rehabilitation of impaired limbs has become rather popular, given the proven effectiveness in promoting recovery. In a standard framework, such devices are used in rehabilitation centers, where patients interact with virtual tasks, presented on a screen. To track their sessions, kinematic/dynamic parameters or performance scores are recorded. However, as Internet access is now available at almost every home, and in order to reduce the hospitalization time of the patient, the idea of doing rehabilitation at home is gaining wide consent. Medical care programs can be synchronized with the home rehabilitation device; patient data can be sent to the central server that could redirect to the therapist laptop (tele-healthcare). The controversial issue is that the recorded data do not actually represent the clinical conditions of the patients according to the medical assessment scales, forcing them to frequently undergo clinical tests at the hospital. To respond to this demand, we propose the use of a bilateral master/slave haptic system that could allow the clinician, who interacts with the master, to assess remotely and in real time the clinical conditions of the patient that uses the home rehabilitation device as the slave. In this paper, we describe a proof of concept to highlight the main issues of such an application, limited to one degree of freedom, and to the measure of the stiffness and range of motion of the hand.

Urban rail transit has become the main mode to ease traffic congestion. Researches on the dynamic variation regularity of passenger flow distribution and passenger flow volume of urban rail transit hub platform have important implication in hub capacity design, operation organization and risk prevention. This paper proposes a passenger flow distribution integrating model (PFDIM) based on the basic theory analysis and basic parameter models of passenger flow distribution in hub platform. Simulation designs of PFDIM are built with Java and Anylogic, which contain simulation system functional framework, implementation path, simulation processes and simulation models. By case study, the performance comparison between two simulation methods indicates that simulation designs are scientific and accordant with the reality scene; calculation results prove that PFDIM has a good performance on describing the dynamic variation regularity of passenger flow distribution. Moreover, the experiments with different departure intervals could provide the reference for train scheduling under the viewpoint of traffic safety and service level.

In this paper, a method is developed for presenting a novel virtual torque sensor based on precise model and position measurements avoids the need of traditional strain gauges and amplifiers. More specifically, the harmonic drive compliance model and the Gaussian process regression (GPR) technique are used together to achieve virtual torque sensor measurement. While the harmonic drive compliance model provides the analytic part, the Gaussian process regression method is used to reconstruct the unmolded part based on motor-side and link-side joint angles as well as motor current. After an automatic offline calibration, the method allows for a lean online implementation. The virtual torque sensor measurement is compared with measurements of a commercial torque sensor, and the results have attested the effectiveness of the proposed method.

This paper focuses on the problem of finite-time stabilization of homogeneous, non-Lipschitz
systems with dilations. A key contribution of this paper is the design of a virtual recursive Hölder,
non-Lipschitz state feedback which renders the non-Lipschitz systems in the special case dominated
by a lower-triangular nonlinear system, finite-time stable. The proof is based on a recursive design
algorithm developed recently, to construct the virtual Hölder continuous, finite-time stabilizer as well as a C¹ positive definite and proper Lyapunov function that guarantees finite-time stability of the non-Lipschitz non-linear systems.