Research on Mixed Logic Dynamic Modeling and Finite Control Set Model Predictive Control of Multi-Inverter Parallel System

Parallel connection of multiple inverters is an important means to solve the expansion,reserve and protection of distributed power generation,such as photovoltaics.In view of the shortcomings of traditional droop control methods such as weak anti-interference ability,low tracking accuracy of inverter output voltage and serious circulation phenomenon,a finite control set model predictive control(FCS-MPC)strategy of microgrid multiinverter parallel system based on Mixed Logical Dynamical(MLD)modeling is proposed.Firstly,the MLD modeling method is introduced logical variables,combining discrete events and continuous events to form an overall differential equation,which makes the modeling more accurate.Then a predictive controller is designed based on the model,and constraints are added to the objective function,which can not only solve the real-time changes of the control system by online optimization,but also effectively obtain a higher tracking accuracy of the inverter output voltage and lower total harmonic distortion rate(Total Harmonics Distortion,THD);and suppress the circulating current between the inverters,to obtain a good dynamic response.Finally,the simulation is carried out onMATLAB/Simulink to verify the correctness of the model and the rationality of the proposed strategy.This paper aims to provide guidance for the design and optimal control of multi-inverter parallel systems.

The Expressibility of First Order Dynamic Logic

This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG K_1 K_2 … RF, such that L (RG)<L (K_1)<L (K_2) < … < L (RF), where RG, RF are regular program class and finitely generated recursively enumerable program class respectively, and L (K) is the first order dynamic logic of program class K.

Modeling and Control of a Continuous Stirred Tank Reactor Based on a Mixed Logical Dynamical Model

A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.

A Dynamic Fuzzy Description Logic

Fuzzy description logics are considered as the logical infrastructure of fuzzy knowledge representation on the semantic Web. To deal with fuzzy and dynamic knowledge on the semantic Web and its applications, a new fuzzy extension of Attribute Language with Complement based on dynamic fuzzy logic called the dynamic fuzzy description logic （DFALC） is presented. The syntax and semantics of DFALC are formally defined, and the forms of axioms and assertions are specified. The DFALC provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using fuzzy description logic FALC to act as logical foundation for the semantic Web. The extended DFALC is more expressive than the existing fuzzy description logics and present more fuzzy information on the semantic Web.

MLD-MPC Approach for Three-Tank Hybrid Benchmark Problem

The present paper aims at validating a Model Predictive Control(MPC),based on the Mixed Logical Dynamical(MLD)model,for Hybrid Dynamic Systems(HDSs)that explicitly involve continuous dynamics and discrete events.The proposed benchmark system is a three-tank process,which is a typical case study of HDSs.The MLD-MPC controller is applied to the level control of the considered tank system.The study is initially focused on the MLD approach that allows consideration of the interacting continuous dynamics with discrete events and includes the operating constraints.This feature of MLD modeling is very advantageous when an MPC controller synthesis for the HDSs is designed.Once the MLD model of the system is well-posed,then the MPC law synthesis can be developed based on the Mixed Integer Programming(MIP)optimization problem.For solving this MIP problem,a Branch and Bound(B&B)algorithm is proposed to determine the optimal control inputs.Then,a comparative study is carried out to illustrate the effectiveness of the proposed hybrid controller for the HDSs compared to the standard MPC approach.Performances results show that the MLD-MPC approach outperforms the standardMPCone that doesn’t consider the hybrid aspect of the system.The paper also shows a behavioral test of the MLDMPC controller against disturbances deemed as liquid leaks from the system.The results are very satisfactory and show that the tracking error is minimal less than 0.1%in nominal conditions and less than 0.6%in the presence of disturbances.Such results confirm the success of the MLD-MPC approach for the control of the HDSs.

Reasoning about Epistemic Actions and Knowledge in Multi-Agent Systems Using Coq

In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an exchange of information with other agents in the game. The authors＇ system is modeled using Coq-a formal proof management system. To the best of the authors＂ knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents＇ knowledge about the state of the system, knowledge about other agents＇ knowledge, higher-order agents＇ knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors＇ approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors＇ approach can be used for these purposes.

Vehicle height control of electronic air suspension system based on mixed logical dynamical modelling

Due to the coexistence and coupling of continuous variables and discrete events, the vehicle height adjustment process of electronic air suspension system can be regarded as a typical hybrid system. Therefore, the hybrid system theory was applied to design a novel vehicle height control strategy in this paper. A nonlinear mechanism model of the vehicle height adjustment system was established based on vehicle system dynamics and thermodynamic theory for variable-mass gas charge/discharge system. In order to model both the continuous/discrete dynamics of vehicle height adjustment process and the on-off statuses switching of solenoid valves, the framework of mixed logical dynamical(MLD) modelling was used. On the basis of the vehicle height adjustment control strategy, the MLD model of the adjustment process was built by introducing auxiliary logical variables and auxiliary continuous variables. Then, the co-simulation of the nonlinear mechanism model and the MLD model was conducted based on the compiling of HYSDEL. The simulation and experimental results show that the proposed control strategy can not only adjust the vehicle height effectively, but also achieve the on-off statuses direct control of solenoid valves.

A Hybrid Approach to Modeling and Control of Vehicle Height for Electronically Controlled Air Suspension

The control problems associated with vehicle height adjustment of electronically controlled air suspension （ECAS） still pose theoretical challenges for researchers, which manifest themselves in the publications on this subject over the last years. This paper deals with modeling and control of a vehicle height adjustment system for ECAS, which is an example of a hybrid dynamical system due to the coexistence and coupling of continuous variables and discrete events. A mixed logical dynamical （MLD） modeling approach is chosen for capturing enough details of the vehicle height adjustment process. The hybrid dynamic model is constructed on the basis of some assumptions and piecewise linear approximation for components nonlinearities. Then, the on-off statuses of solenoid valves and the piecewise approximation process are described by propositional logic, and the hybrid system is transformed into the set of linear mixed-integer equalities and inequalities, denoted as MLD model, automatically by HYSDEL. Using this model, a hybrid model predictive controller （HMPC） is tuned based on online mixed-integer quadratic optimization （MIQP）. Two different scenarios are considered in the simulation, whose results verify the height adjustment effectiveness of the proposed approach. Explicit solutions of the controller are computed to control the vehicle height adjustment system in realtime using an offline multi-parametric programming technology （MPT）, thus convert the controller into an equivalent explicit piecewise affine form. Finally, bench experiments for vehicle height lifting, holding and lowering procedures are conducted, which demonstrate that the HMPC can adjust the vehicle height by controlling the on-off statuses of solenoid valves directly. This research proposes a new modeling and control method for vehicle height adjustment of ECAS, which leads to a closed-loop system with favorable dynamical properties.

A Hybrid Model Predictive Control for Handling Infeasibility and Constraint Prioritization

A hybrid approach using MLD (mixed logical dynamical) framework to handle infeasibility and constraint prioritization issues in MPC (model predictive control) based on input-output model is introduced. By expressing constraint priorities as propositional logics and by transforming the propositional logics into inequalities,the infeasibility and constraint prioritization issues are solved in the MPC. Constraints with higher priorities are met first, and then these with lower priorities are satisfied as much as possible. This new approach is illustrated in the control of a heavy oil fractionator-Shell column. The overall control performance has been significantly improved through the infeasibility and control priorities handling.

State Feedback Predictive Control for Hybrid System via Parametric Optimization

In this article, state feedback predictive controller for hybrid system via parametric programming is proposed. First, mixed logic dynamic （MLD） modeling mechanism for hybrid system is analyzed, which has a distinguished advantage to deal with the logic rules and constraints of a plant. Model predictive control algorithm with moving horizon state estimator （MHE） is presented. The estimator is adopted to estimate the current state of the plant with process disturbance and measurement noise, and the state estimated are utilized in the predictive controller for both regulation and tracking problems of the hybrid system based on MLD model. Off-line parametric programming is adopted and then on-line mixed integer programming problem can be treated as the parameter programming with estimated state as the parameters. A three tank system is used for computer simulation, results show that the proposed MHE based predictive control via parametric programming is effective for hybrid system with model/olant mismatch, and has a potential for the engineering applications.

Multi-model predictive control with local constraints based on model switching

Because model switching system is a typical form of Takagi-Sugeno（T-S） model which is an universal approximator of continuous nonlinear systems, we describe the model switching system as mixed logical dynamical （MLD） system and use it in model predictive control （MPC） in this paper. Considering that each local model is only valid in each local region,we add local constraints to local models. The stability of proposed multi-model predictive control （MMPC） algorithm is analyzed, and the performance of MMPC is also demonstrated on an inulti-multi-output（MIMO） simulated pH neutralization process.

Vehicle height and leveling control of electronically controlled air suspension using mixed logical dynamical approach

Vehicle height and leveling control of electronically controlled air suspension(ECAS) still poses theoretical challenges for researchers that have not been adequately addressed in prior research. This paper investigates the design and verification of a new controller to adjust the vehicle height and to regulate the roll and pitch angles of the vehicle body(leveling control) during the height adjustment procedures. A nonlinear mechanism model of the vehicle height adjustment system is formulated to describe the dynamic behaviors of the system. By using mixed logical dynamical(MLD) approach, a novel control strategy is proposed to adjust the vehicle height by controlling the on-off statuses of the solenoid valves directly. On this basis, a correction algorithm is also designed to regulate the durations of the on-off statuses of the solenoid valves based on pulse width modulated(PWM) technology, thus the effective leveling control of the vehicle body can be guaranteed. Finally, simulations and vehicle tests results are presented to demonstrate the effectiveness and applicability of the proposed control methodology.

A dynamic description logic based system for video event detection

Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for video event detection.The proposed logic system is named as LTD_(ALCO)which can represent and inference the static,dynamic and temporal knowledge in one uniform logic system.Based on the LTD_(ALCO),a framework for video event detection is proposed.The video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTD_(ALCO)formulas.

An approach to predicting dynamic power dissipation of coupled interconnect network in dynamic CMOS logic circuits

In deep submicron (DSM) integrated circuits (IC), coupling capacitors between interconnects become dominant over grounded capacitors. As a result, the dynamic power dissipation of one node is no longer only in relation to the signal on that node, and it also depends on signals on its neighbor nodes through coupling capacitors. Thus, for their limitation in dealing with ca-pacitively coupled nets, past jobs on power estimation are facing rigorous challenges and need to be ameliorated. This paper proposes and proves a simple and fast approach to predicting dynamic power dissipation of coupled interconnect networks: a coupling capacitor in dynamic CMOS logic circuits is decoupled and mapped into an equivalent cell containing an XOR gate and a grounded capacitor, and the whole circuit after mapping, consuming the same power as the original one, could be easily managed by generally-used gate-level power estimation tools. This paper also investigates the correlation coefficient method (CCM). Given the signal probabilities and the correlation coefficients between signals, the dynamic power of interconnect networks can be calculated by using CCM. It can be proved that the decoupling method and CCM draw identical results, that is to say, the decoupling method implicitly preserves correlation properties between signals and there is no accuracy loss in the decoupling process. Moreover, it is addressed that the coupling capacitors in static CMOS circuits could be decoupled and mapped into an equivalent cell containing a more complicated logic block, and the power can be obtained by the probability method for dynamic CMOS logic circuits.

State Observer Based Dynamic Fuzzy Logic System for a Class of SISO Nonlinear Systems

This paper presents an observer based dynamic fuzzy logic system （DFLS） scheme for a class of unknown single-input single-output （SISO） nonlinear dynamic systems with external disturbances. The proposed approach does not need the availability of the state variables. Within this scheme, the DFLS is employed to identify the unknown nonlinear dynamic system. The control law and parameter adaptation laws of the DFLS are derived based on Lyapunov synthesis approach. The control law is robustfied in H∞ sense to attenuate external disturbance, model uncertainties, and fuzzy approximation errors. It is shown that under appropriate assumptions, it guarantees the boundedness of all the signals in the closed-loop system and the asymptotic convergence to zero of tracking errors. The proposed method is applied to an inverted pendulum system to verify the effectiveness of the proposed algorithms.

FCS-MPC Strategy for PV Grid-Connected Inverter Based on MLD Model

In the process of grid-connected photovoltaic power generation,there are high requirements for the quality of the power that the inverter breaks into the grid.In this work,to improve the power quality of the grid-connected inverter into the grid,and the output of the system can meet the grid-connected requirements more quickly and accurately,we exhibit an approach toward establishing a mixed logical dynamical(MLD)model where logic variables were introduced to switch dynamics of the single-phase photovoltaic inverters.Besides,based on the model,our recent efforts in studying the finite control set model predictive control(FCS-MPC)and devising the output current full state observer are exciting for several advantages,including effectively avoiding the problem of the mixed-integer quadratic programming(MIQP),lowering the THD value of the output current of the inverter circuit,improving the quality of the power that the inverter breaks into the grid,and realizing the current output and the grid voltage same frequency and phase to meet grid connection requirements.Finally,the effectiveness of the mentioned methods is verified by MATLAB/Simulink simulation.

A logical foundation for the semantic Web

The current research progresses and problems of the semantic Web are analyzed in this paper, and the insufficiency of using description logic to act as logical foundation for the semantic Web is analyzed too. According to the characteristics and requirement of the semantic Web, a kind of new dynamic description logic (DDL) framework is presented. The representation and reasoning of static knowledge and dynamic knowledge are integrated in this framework. Especially, a kind of action description method is proposed, and according to description logic theory, the action semantics is described, so DDL is a kind of formal logical framework which can process static knowledge and dynamic knowledge. The DDL has clear and formally defined semantics. It provides decidable reasoning services, and it can support effective representation and reasoning of the static knowledge, dynamic process and running mechanism (realization and subsumption relation of action). Therefore, the DDL provides reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using description logic to act as logical foundation for the semantic Web.

Dynamic survivable mapping through reconfiguration in IP over WDM network

A new approach for network survivability problem in Intemet protocol （IP） over wavelength division multiplexing （WDM） optical network is proposed to enhance the IP layer restorability under physical link failure through logical topology reconfiguration. More specifically, after traffic arrival and departure, reconfiguring the logical topology correspondingly is helpful to minimize the traffic disruption after physical link failure. So, in this paper, this problem is proposed for first time and formulated as an integer linear programming （ILP） problem. And then, two heuristic algorithms are proposed. The performance of proposed algorithms have been evaluated through simulations, and the results show that reconfiguring the logical topology dynamically could achieve more than 20% improvement of the restorability of traffic in IP layer, but with acceptable resource cost.

High power-efficient asynchronous SAR ADC for IoT devices

This paper presents a power-efficient 100-MS/s,10-bit asynchronous successive approximation register（SAR） ADC.It includes an on-chip reference buffer and the total power dissipation is 6.8 mW.To achieve high performance with high power-efficiency in the proposed ADC,bootstrapped switch,redundancy,set-and-down switching approach,dynamic comparator and dynamic logic techniques are employed.The prototype was fabricated using 65 nm standard CMOS technology.At a 1.2-V supply and 100 MS/s,the ADC achieves an SNDR of 56.2 dB and a SFDR of 65.1 dB.The ADC core consumes only 3.1 mW,resulting in a figure of merit（FOM） of 30.27 fJ/conversionstep and occupies an active area of only 0.009 mm^2.

A clock generator for a high-speed high-resolution pipelined A/D converter

A clock generator circuit for a high-speed high-resolution pipelined A/D converter is presented. The circuit is realized by a delay locked loop （DLL）, and a new differential structure is used to improve the precision of the charge pump. Meanwhile, a dynamic logic phase detector and a three transistor NAND logic circuit are proposed to reduce the output jitter by improving the steepness of the clock transition. The proposed circuit, designed by SMIC 0.18 um 3.3 V CMOS technology, is used as a clock generator for a 14 bit 100 MS/s pipelined ADC. The simulation results have shown that the duty cycle ranged from 10% to 90% and can be adjusted. The average duty cycle error is less than 1%. The lock-time is only 13 clock cycles. The active area is 0.05 mm2 and power consumption is less than 15 mW.