Implementation of Paraconsistent Logic Based PI Controller for TA Converter

Implementation of Paraconsistent Logic Based PI Controller for TA Converter

Volume 5, Issue 1, Page No 285-293, 2020

Author’s Name: Tapas Kumar Mohapatraa), Asim Kumar Dey, Krushna Keshab Mohapatra

View Affiliations

SOA University, Department of Electrical Engineering, 751030, India

a)Author to whom correspondence should be addressed. E-mail: tapasmohapatra@soa.ac.in

Adv. Sci. Technol. Eng. Syst. J. 5(1), 285-293 (2020); a  DOI: 10.25046/aj050136

Keywords: Photo Voltaic (PV), Paraconsistent Logic (PL), Positive output voltage, TA converter, Paraconsistent logic based PI (PLPI)

Share
335 Downloads

Export Citations

A novel control technique is implemented for TA converter. This converter is used for charging of electric vehicle Battery from a Photo Voltaic (PV) Module. TA converter is one type of non-isolated buck-boost converter. This converter provides positive output voltage. This article is an extension work that is originally presented in 2019 IEEE International Conference on Sustainable Energy Technologies (ICSET). A Comparative study of the performances of different converters has been described. The Paraconsistent Logic (PL) is used for a PI controller. The performance of new Paraconsistent Logic based PI (PLPI) controller is compared with the conventional PI controller. This control has the similar action as PI and the logical actions as structured in Paraconsistent Logic. Operational details of TA converter with the different performances has been described in this article. MATLAB is used to validate the performance by developing both state space and simulation model. The robustness of the controller is compared with traditional PI controller. The hardware of the TA converter with the new PLPI control technique is projected and also matched with simulation results.

Received: 14 October 2019, Accepted: 23 January 2020, Published Online: 10 February 2020

1. Introduction

Because of extraordinary utilization of petroleum derivative and air contamination, the auto mobile sectors are compelled to consider electric vehicles (EV). Presently a days EV battery modelling and its charging is an extraordinary research region. It is notable, switch mode power supply (SMPS) is the core of power transformation innovation. EV battery charging is promising through simple and efficient DC-DC converter. Mostly buck-boost converter is preferred for the EV battery charging process. Buck and boost converters are simple and efficient but unable to provide high voltage gain. Multiple circuits have been projected in different articles such as the complex topology developed by LUO [1]–[3] provides a high voltage gain. It is costly, big in size and losses is also more. Interleaved converters [4]–[10] are able to provide high voltage gain with less voltage stress but their operational mode ,converter arrangement and control strategies are very complex. Hwu and Peng [10] also developed buck-boost topology which can provide voltage gain of 2D with positive output. Quadratic converters [11] – [14] can provide high voltage gain with less efficiency. KY converter [15] has high voltage gain but increases complexity with additional switches and also increases the overall cost.Though the traditional buck-boost converter introduce high efficiency with reduced cost but unable to provide higher and positive output voltage. In 1991 Cuk suggested a converter, [16] which is able to provide a voltage gain of (1−DD2 )2 but can only operate in buck mode due to the presence of clamping diode D1 and D2. The converter which provides low gain can provide high or low voltage output at very high or very low duty ratio, which is practically difficult to achieve. A new converter proposed in [17], having little voltage ripple, negligible radio frequency intervention, and one shared ground switch but complexity increases due to the 7th circuit and also having different ground in its input and output terminals. In [18], a cascaded converter, combining two separated converters with both current source and sink, is functional for the thermoelectric generator. However, the voltage gain is also unnatural. Particularly, in order to attain high-voltage gain, the above converters must be functioning under extremely high or little duty cycle which is difficult to realize due to the practical limitations. Therefore, discovering new converter topology to overcome the negatives of the conventional ones for the requirements in industries is significant and appreciated.

TA converter [19] is proposed in the article which is one type non isolated positive output based buck-boost converter. It introduce a voltage gain of (1−DD2 )2 . Though the voltage gain is similar to several other proposed converters but it disables few problems associated with others. This TA converter has several advantages over Shan and Faqiang converter [20] like:

  • High voltage gain with positive output voltage.
  • Less current stress in capacitor.
  • Less voltage stress in inductor.
  • Less source current for same load current in comparison to others.
  • Can operate at CCM mode at low switching frequency.

The basic range of battery used for electric bike varies between 12 to 48 volt. In this article a battery of 12 volt, 7AH rating is used as a load, which is charged from a source varies between 6 to 30 volt. TA converter with PI controller is used to provide a constant voltage of 12 volt from a solar panel.

A controller/regulator is basically act as the brain of the system.

Three types of conventional controller such as Proportional, Proportional and Integral (PI) and Proportional, Integral and Derivative (PID) have a wide scope of uses in SMPS application. With scientific advancement, controllers got computational assets about the 1980s, and turned out to be increasingly productive. The incorporation of micro controller chips for the implementation of controllers, in DC to DC converters, allowing the integration of algorithms with P, PI and PID activities, the expansion of structures with automatic tuning and massive simplicity in control parameter settings [21] [24]. The primary goal of this work is to introduce the consequences of the PI controller using PL in the novel DC to DC boost converter and also compare the result with the conventional PI controller.

In section II of the article, the converter circuit diagram, operation and analysis is explained. Mathematical model and Simulink model is revealed in section III. In section IV, the Paraconsistent Logic based PI controller (PLPI) is explained. In section V hardware and simulation result of the converter is compared for PL-PI as well as the results compared with other converters. In the section VI the dynamic performance of the proposed controller is compared with conventional PI controller. Few comments and concluding remarks are given in section VII

2. Proposed TA converter Structure, Operation and analysis

    • Structure / Circuit Diagram

TA converter circuit diagram is shown in figure-1. The circuit elements of the converter are as follows: S 1 and S 2) – Power

switches,(D1 and D2) – Diodes, (L1 and L1)- Inductors, (C1 and C1) – Capacitors. Time domain wave forms of the TA converter in CCM is shown in figure-3.

Figure 1: Circuit diagram of TA converter

  • Operating Principle and Analysis

In continuous conduction mode (CCM) the converter drives in two modes. First Mode -(0 < t < DT): In first mode S 1 and S 2 switches are simultaneously turned on and acts as short circuit, D1 and D2 diodes get reverse biased and act as open circuit. The direction of inductor currents are shown in figure – 2(a). C2 provides the necessary output power to load. The following dynamic equations (1 – 8 will be obtained from figure – 2(a).

Second Mode – ( 0 < t < (1-D)T): In second mode S 1 and S 2 switches are simultaneously turned off and acts as open circuit, D1 and D2 diodes get forward biased by the inductors and act as short circuit. The direction of inductor currents are shown in Figure – 2(b). Inductor provides the necessary output power to load and to charge the capacitor C2. The following dynamic equations (9 – 16) will be obtained from figure-2(b).

As we know the inductor voltage over a period is zero. We will obtain the following relations as given in equations (17-19). The inductor currents and capacitor voltages ripple are written in equation (20-23). Where fSW is the switching frequency.

Figure 2: Equivalent circuit diagram of two modes of TA converter

3. TA converter mathematical and simulink model 3.1 State Space Model

From the Mode-I and Mode-II the following dynamic equation will be obtained using which the state model can be obtained. The equations are given in (24-31).

The average model is given in equations (32-35).From the above equation it is clearly visible that the system is a fourth order one.

3.2    Simulation model and results

Figure-4 shows the Simulink model of the projected buck boost converter with PLPI controller. The circuit parameters that are used in the Simulink model are given in Table-II. Only one gate signal is essential for both the switches as both of them are operating simultaneously. A source of 18 volt is applied with output voltage of 40 volt in boost mode and 14 volt in buck mode. Input voltage is varied from 4volt to 18volt in boost mode and 18 volt to 100 volt in buck mode for the verification of robustness. Load resistance is also varied from 40Ω to 160Ω in boost and 5Ω to 50Ω in buck mode for the same verification. The load voltage remains as required with the above voltage and load resistance variations. In the figure -5 currents of each inductor and source, voltages of each capacitor, switch and diodes in boost mode are shown. Similarly in figure -6 the above waveforms in buck mode are displayed. It is clearly visible from figure – 5 and figure – 6 that iL1 never goes to negative value for both mode of operation.

Figure 3: Different voltage and current wave forms

Figure 4: Matlab simulink model of proposed TA converter

4. Paraconsistent logic based PI controller

    • Logic of paraconsistent.

The conventional or Aristotelian logic underpins our present innovation is created on rigid binary laws and, along these lines, does not concede circumstances of redundancy, irregularities or those that are communicated by deficiency [25]. In conventional logic there is no logical inconsistency like something can’t be both genuine and not valid in the meantime, when dealing with similar context. In any case, with the cut-off points of measures of control and eminence at present mandatory, progressively polished, make the philosophies of Conventional logic difficult to give effective control prototypes so improved for this mandate [25]. So as to act in circumstances where binary logic is difficult to be connected, different sorts of logic, called non-conventional, for example, Fuzzy, multivalued, paraconsistent, and so on, have as of late been made [25] – [26].

Non-conventional logics have the primary target is to restrict the binary principle of conventional logic and also catch diverse parts of casual conflicts. For instance, the principle of non-contradiction (PNC) in conventional logic explains that conflicting articulations can’t both be valid in a similar sense in the meantime. Be that as it may, on account of signals as for a physical quantity beginning from two sensors, they might be conflicting, which gives conflicting data to make decision. In this way, control system will be progressively effective on the off chance that they are ready to act in circumstances where data might be conflicting.

A non-conventional Paraconsistent (PL) logic property states that it can tolerate the logical inconsistency in its establishments and is capable of managing conflicting signals. The PL has as its expansion the Paraconsistent Annotated Logic (PAL), which has a Hasse (Lattice FOUR) related with logical states existing at its vertices. Along these lines, sentences can be acquired where recommendations can be examined based on confirmations. In this PAL portrayal, the four extraordinary logic existing at the vertices of the PAL lattice are: Paracomplete (⊥), False (f), True (t) and Inconsistent (>) [27] – [28].

Figure 5: Simulation result of TA converter in boost mode

Figure 6: Simulation result of TA converter in buck mode

Figure 7: Comparison of results with PI and PL-PI

  • Logic with annotation of two values.

From a Lattice of four vertices it is conceivable to relate a sort of Paraconsistent Annotated Logic in which two evidential qualities related to a specific suggestion are considered. By translating the evidential values by methods for comment or standardized degrees of proof we can acquire conditions including the logical states that are characterized with degrees of proof from estimations. This sort of logic is called Paraconsistent Annotated Logic with explanation of two values (PAL2v) [27] – [28]. Figure-8(a) demonstrates the Lattice FOUR related at PAL2v.

In PAL2v an evidential nuclear equation of the shape P (µ , λ) can be viewed as an explanation for the recommendation p, where µ , λ ∈ [0, 1] (genuine unit interim) [26] – [27]. Along these lines, the Evidence degree (µ ) is an esteem that speaks to the proof ideal to the recommendation p, and the Evidence degree (λ) is an esteem that speaks to the proof adverse to the recommendation p. The relationship of a couple (µ ,λ) with a suggestion p implies that the level of ideal proof at p is µ , and the level of adverse proof at p is λ. As indicated by the comments in the related lattice appeared in figure-8(b)) [27]

  • (1,1) → shows the presence of both, ideal and adverse proof totals, with a logical meaning of irregularity to the recommendation p.
  • (1,0)→ shows the presence of complete ideal proof with adverse proof equal to zero, flagging an undertone of logical truth for the recommendation p.
  • (0,0)→ shows the presence of ideal and adverse proof with the two values equal to zero, doling out a logical implication of uncertainty for the recommendation p.
  • (0,1) → demonstrates the presence of ideal proof equal to zero and all out adverse proof, flagging a meaning of logical lie for the recommendation p.

The conditions of the PAL2v are acquired through a change where, at first, are viewed as characterised in a Unit Square in the Cartesian Plane (USCP) the level of ideal evidence µ in the y – axis, and the level of adverse evidence λ in the x – axis, as indicated by Figure-8(c)[26] – [28] A change that permits the degrees of proof of standardized qualities characterised in the x , y axis of the (USCP) to be situated on the X and Y axis of a four vertex PAL2v Lattice, given by equation – 36.

Figure 8: (a) Lattice associated with annotation of two values PAL2v. (b) PaL2v – Hasse finite Lattice with annotation. (c) Unit Square in the Cartesian Plane

Relating the parts of the change T(X , Y) concurring to the typical classification of PAL2v, where [26] – [28]: x = µ → Ideal Evidence degree, with 0 ≤ µ ≤ 1 and y = λ → level of Adverse Evidence, with 0≤ µ ≤ 1, where:

  • The principal term acquired in the arranged match of the change condition is X = x-y = µ − λ → which will be known as the conviction degree Dc [27] – [29]. Accordingly, the conviction degree is acquired by equation – 37.
  • The second term got in the arranged match of the change condition is: Y = x+y-1 = µ + λ – 1 → which will be known as the Contradiction Degree-Dct [27] – [29]. In this manner, the level of Contradiction is acquired by equation – 38.

The conditions of PAL2v permit the paraconsistent logical states to be found inside the lattice, the interpolation point is given by equation – 39. One can in this way settle on choices dependent on the vicinity of the logic state ετ to the extraordinary logic states True (t) or False (f), found at the vertices of the PAL2v lattice. The Normalized Degree of Contradiction – µctr ,where a variety somewhere in the range of 0 and 1 is gotten, can be determined through condition [27] – [29] given in equation – 40. The Real Certainty degree DCR is acquired by deciding the separation d in the PAL2v lattice as given in equation – 41. The (DCR) values are determined by the conditions appeared underneath [26] – [28] is given in equation 42 and equation – 43 also linked by equation equation – 44.

The conditions gotten by the understandings made in the lattice related to PAL2v permit the making of algorithms utilized in examination and logical treatment of data signals. The Paraconsistent Analysis Node (PAN) algorithm can be utilized in a few fields of learning where fragmented and opposing data is dealt with fittingly through the PAL2v conditions. In this work, the PAN will be utilized to assemble a system of signals examination that embodies the control factors in a new converter.

4.3    Paraconsistent Algorithm

The explanation of a common PAN algorithm is specified under [26] – [28] State: P1=input 1; P2=input 2; O1=outpu 1; O2=output 2; O3=output 3;

  • µ1 = P1 (Ideal Evidence Degree), where 0 < µ1. µ2 = P2 (Ideal Evidence Degree), where 0 < µ2.

λ = 1 – µ2 (Adverse Evidence Degree), where 0 < λ < 1.

  • Evaluate the conviction degree Dc = µ1 − λ
  • Evaluate the degree of conviction Dct = µ1 + λ − 1
  • Evaluate Normalized Degree of Contradiction. µctr = (µ1 +

λ)/2

  • Evaluate the separation d in the PAL2v lattice. d              =

p(1 − |Dc|)2 + (Dct)2

  • Decide the output signals. If d > 1, then keep O1=0.5; O2= µctr and O3 = Dct. Consider meaning less and go to exit. Else move to the next step
  • Decide actual conviction degree DC. If DC > 0 evaluate

DCR = 1 − p

If DC < 0 evaluate DCR = p(1 − |Dc|)2 + (Dct)2 − 1

  • Determine Resultant Real Evidence degree. µER = (DCR + 1)/2
  • The Real outputs are O1ER , O2 = µctr and O3= Dct .

In this article the Evidence degree was created as follows: 0<µ2<1 are proportional to 0.2V<P2<14V and 0<µ1<1 are proportional to 0V<P1<14V.

14V → µ1 = 1; with For P1 = 0V → µ1 = 0; and

P1 = arelationofµ1 = P1/14.

14V → µ2 = 1; with For P2 = 2V → µ2 = 0; and

P2 = arelationofµ2 = (P1 − 0.2)/14andλ = 1 − µ2.

5. Comparisons of Different Converters and the Control Technique

Table-I shows the comparisons of complexity, voltage gain, voltage and current stress, components of different converters such as traditional [30], Shan and Faqiang [20] and projected TA converter.

Figure-9 curve shows the variation of voltage gain with the duty cycle. From observation it is clearly visible that TA converter provides a positive average inductor current but average inductor current under buck mode in Shan and Faqiang converter is negative. The peak inductor voltage VL2peak and peak capacitor current ICpeak is less in TA converter. Figure-7 shows the comparison results of output voltage, inductor currents, switch voltages and source current between conventional PI and Paraconsistent logic based PI. From the figure it is clearly visible that the dynamic response of output voltage, inductor currents are faster in PL-PI than PI. It is also observed that for the same P and I gain the output voltage in PL-PI is obtained with less value of filter capacitor. The steady state values and time are same in both the controllers.

Figure 9: Voltage gain curve with duty ratio.

6. Hardware Parameters and Results

The parameters chosen for hardware implementation are provided in Table-II. PLPI controller is implemented for obtaining a fixed output voltage. The DSP (F28379D) Board is used for the designing of the proposed PLPI and traditional PI controller. The program is written in code composer studio and also the output file is burned on the DSP board using the same. Primarily a resistive load is taken to test the controller then the battery of rating 12volt 7Ah (Lead acid type) is taken as load. 1.4Amp of peak charging current is drawn by the battery. Figure-11 and Figure-10 shows the results in boost and buck mode respectively. Figure-12shows the photo of the complete hardware set up. Figure-13 which shows the efficiency curve explains clearly that efficiency in boost mode is higher than buck mode. The different results for battery load is shown in Figure-14.

7. Conclusion

A positive output based transformer less buck–boost (TA) converter is projected in this article. This converter overcomes several draw backs of the old-fashioned and Shan and Faqiang converter. The steady state operation principle, mathematical model, and performance comparisons with other converters are enlightened. The analysis is done using Matlab simulation and the verification of the same through experiment is done. This projected converter retains several merits in both boost and buck mode. This converter provides

Figure 12: Picture of the hardware setup of the proposed TA Converter with DSP and PC interface.

Figure 10: Buck mode results.

Figure 11: Boost mode results.

Figure 13: Eciency Versus Load current for both Buck and Boost mode.

Figure 14: Output Voltage, gate pulse and inductor current for a Battery Load.

  1.  F. L. Luo and H. Ye, “Positive output cascade boost converters,” Proc. Inst.Elect. Eng. Elect. Power Appl., vol. 151, no. 5, pp. 590–606, Sep 2004.
  2.  Y. T. Chen,W. C. Lin, and R. H. Liang, “An interleaved high step-up DC–DC converter with double boost paths,” Int. J. Circ. Theor. Appl., vol. 43, no. 8, pp. 967–983, Aug. 2015.
  3.  L.W. Zhou, B. X. Zhu, Q. M. Luo, and S. Chen, “Interleaved non-isolated high step-up DC/DC converter based on the diode–capacitor multiplier,”IET Power Electron., vol. 7, no. 2, pp. 390–397, Feb. 2014.
  4.  C. T. Pan, C. F. Chuang, and C. C. Chu, “A novel transformer less adaptable voltage quadrupler DC converter with low switch voltage stress,” IEEE Trans. Power Electron., vol. 29, no. 9, pp. 4787–4796, Sep. 2014.
  5.  K. I. Hwu, Member, IEEE, and Y. T. Yau, Student Member, IEEE” Two Types of KY Buck–Boost Converters” IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 56, NO. 8, AUGUST 2009.
  6.  D. Maksimovic and S. Cuk, “Switching converters with wide DC conversion range,” IEEE Trans. Power Electron., vol. 6, no. 1, pp. 151–157, Jan.1991.
  7.  Pan CT, Lai CM. A high-efficiency high step-up converter with low switch voltage stress for fuel-cell system applications. IEEE Transactions on Industrial Electronics. 2010 Jun;57(6):1998-2006.
  8.  Luo FL. Six self-lift DC-DC converters, voltage lift technique. IEEE Transac- tions on Industrial Electronics. 2001 Dec;48(6):1268-72.
  9. Ye YM, Cheng KW. Quadratic boost converter with low buffer capacitor stress. IET Power Electronics. 2014 May;7(5):1162-70.
  10.  K. I. Hwu and T. J. Peng, “A novel buck–boost converter combining KY and buck converters,” IEEE Trans. Power Electron., vol. 27, no. 5, pp. 2236– 2241, May 2012.
  11.  Morales-Saldana JA, Loera-Palomo R, Palacios-Herna´ndez E, Gonzalez- Martinez JL. Modelling and control of a DC-DC quadratic boost converter with R 2 P 2. IET Power Electronics. 2014 Jan;7(1):11-22.
  12. Hua CC, Chiang HC, Chuang CW. New boost converter based on Sheppard- Taylor topology. IET Power Electronics. 2014 Jan;7(1):167-76.
  13. Kim RY, Lai JS. Aggregated modeling and control of a boost-buck cascade converter for maximum power point tracking of a thermoelectric generator. InApplied Power Electronics Conference and Exposition, 2008. APEC 2008. Twenty-Third Annual IEEE 2008 Feb 24 (pp. 1754-1760). IEEE.
  14.  Li, Wuhua, Xiaodong Lv, Yan Deng, Jun Liu, and Xiangning He. ”A review of non-isolated high step-up DC/DC converters in renewable energy applications.” In Applied Power Electronics Conference and Exposition, 2009. APEC 2009. Twenty-Fourth Annual IEEE, pp. 364-369. IEEE, 2009.
  15. Yang LS, Liang TJ, Chen JF. Transformer less DC–DC converters with high step-up voltage gain. IEEE Transactions on Industrial Electronics. 2009 Aug;56(8):3144-52.
  16. Miao Z, Fang LL. Enhanced self-lift Cuk converter for negative-to-positive volt- age conversion. IEEE transactions on power electronics. 2010 Sep;25(9):2227- 33.
  17. Hua CC, Chiang HC, Chuang CW. New boost converter based on Sheppard- Taylor topology. IET Power Electronics. 2014 Jan;7(1):167-76.
  18.  Ajami A, Ardi H, Farakhor A. Design, analysis and implementation of a buck–boost DC/DC converter. IET Power Electronics. 2014 Dec 1;7(12):2902- 13.
  19. Mohapatra, Tapas Ku, Asim Ku Dey, and K. K. Mohapatra. ”A Novel Noniso- lated Positive Output TA Converter.” 2019 IEEE International Conference on Sustainable Energy Technologies (ICSET). IEEE.
  20. Shan Miao, Faqiang Wang and Xikui Ma, “A New Transformer less Buck– Boost Converter with Positive Output Voltage”, IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 63, NO. 5, MAY 2016.
  21.  Hwu KI, Yau YT. KY converter and its derivatives. IEEE Transactions on Power Electronics. 2009 Jan;24(1):128-37.
  22.  Astrom KJ. T. haglund,“Auto Tuning of PID controllers,” 1st ed. Research and triangle park, NC: instream. Soc. Amer. 1988.
  23. Zhao, D., Chai, T., and Wang H. Fu, J. (2014). Hybrid intelligent control for regrinding process in hematite beneficiation. Control Engineering Prac- tice,22,217–230.
  24.  Ogata, K. (2014). Modern control engineering (fifth ed.). Prentice Hall Inc, ISBN: 0-13-615673-8.
  25.  Da Costa NC. On the theory of inconsistent formal systems. Notre dame journal of formal logic. 1974;15(4):497-510.
  26.  Da Costa, N. C. A., and de Ronde, C. (2013). Found Phys, 43, 845. http://dx.doi.org/10.1007/ s10701-013-9721-9.
  27.  Coelho MS, da Silva Filho JI, Coˆrtes HM, de Carvalho Jr A, Blos MF, Mario MC, Rocco A. Hybrid PI controller constructed with paraconsistent annotated logic. Control Engineering Practice. 2019 Mar 1;84:112-24.
  28.  Baptista R, Da Silva Filho JI, Morilla JC. Proposal of Automatic Control three- way Valve through algorithms of Paraconsistent Annotated logic. Unisanta Science and Technology. 2013 Dec 14;2(2):69-73.
  29. Da Silva Filho JI. Algorithms based on paraconsistent annotated logic for appli- cations in Expert systems. Expert System Software: Engineering, Advantages and Applications, Nova Science Publishers, Hauppauge. 2011:1-40.
  30.  Y. He and F. L. Luo, “Analysis of Luo converters with voltage-lift circuit,” Proc.Inst. Elect. Eng. Elect. Power Appl., vol. 152, no. 5, pp. 1239–1252, Sep. 2005.

Citations by Dimensions

Citations by PlumX

Google Scholar

Scopus