This paper presents the design of a grid-connected hybrid system using modified Z source converter, bidirectional converter and battery storage system. The input sources for proposed are fed from solar wind power systems. A high gain switched is designed supplying constant DC to DC-link inverter. deep learning (HDL) algorithm (CNN-BiLSTM) predicting output HDL method PI controller generate puls...

This paper presents a solution to the problem of constructing control programs, i.e. sequences of control modes, from a given motion alphabet. In particular, techniques are developed that enable reinforcement learning to act directly at the mode level, and hence make learning applicable to continuous time control systems in a straight-forward manner. Moreover, given such a control program, the ...

This paper presents an improved estimation technique for hybrid BIST test set generation. In a hybrid BIST approach the test set is assembled from pseudorandom and deterministic test patterns. The efficiency of the hybrid BIST approach is determined by the ratio of those test patterns in the final test set. Unfortunately, exact algorithms for finding the optimal test sets are computationally ve...

Electricity generation using solar photovoltaic systems pose a unique challenge to improve the efficiency and to minimise the manufacturing cost. Research and development in this area has been expanding as it is environmentally friendly and helps the planet to reduce the greenhouse gas emission while reducing the carbon footprint. As a result, solar photovoltaic (PV) electrical power generation...

In this paper, stability for uncertain time variant linear systems with time delay is studied. A new sufficient condition for delay-dependent systems is given in matrix inequality form which depends on the range of delay. Then, we introduce a new direct computational method to solve delay systems. This method consists of reducing the delay problem to a set of algebraic equations by first expand...

Verifying complete behavior-based control systems in their physical environments is currently not possible due to their immense complexities. However, by exploiting the modularity and network structure of behavior-based control systems, the relevant behaviors can be isolated, modeled as hybrid systems, and analyzed by suitable formal verification techniques. In this paper, we present a two-step...

We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating continuous invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of pre...