Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.

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.

Dynamic character analysis for the arc welding power source based on fuzzy logic

A lot of experimental methods have been brought forth to assess the dynamic character of the arc welding power source, but up to now, this issue has not been solved very well. In this paper, based on the fuzzy logic reasoning method, a dynamic character assessing model for the arc welding power source was established and used to analyze the dynamic character of the welding power source. Three different types of welding machine have been tested, and the characteristic information of the electrical signals such as re-striking arc voltage, low welding current and so on of the welding process were extracted accurately by using a self-developed welding dynamic arc wavelet analyzer. The experimental results indicate that this model can be used as a new assessing method for the dynamic character of the arc welding power source.

Fortifying the Digital Bastion: Pioneering Cybersecurity with Dynamic Secrets Management and CMDB Fusion in the Enterprise

In the relentless quest for digital sovereignty, organizations face an unprecedented challenge in safeguarding sensitive information, protecting against cyber threats, and maintaining regulatory compliance. This manuscript unveils a revolutionary blueprint for cyber resilience, empowering organizations to transcend the limitations of traditional cybersecurity paradigms and forge ahead into uncharted territories of data security excellence and frictionless secrets management experience. Enter a new era of cybersecurity innovation and continued excellence. By seamlessly integrating secrets based on logical environments and applications (assets), dynamic secrets management orchestrates and automates the secrets lifecycle management with other platform cohesive integrations. Enterprises can enhance security, streamline operations, fasten development practices, avoid secrets sprawl, and improve overall compliance and DevSecOps practice. This enables the enterprises to enhance security, streamline operations, fasten development & deployment practices, avoid secrets spawls, and improve overall volume in shipping software with paved-road DevSecOps Practices, and improve developers’ productivity. By seamlessly integrating secrets based on logical environments and applications (assets), dynamic secrets management orchestrates and automates the application secrets lifecycle with other platform cohesive integrations. Organizations can enhance security, streamline operations, fasten development & deployment practices, avoid secrets sprawl, and improve overall volume in shipping software with paved-road DevSecOps practices. Most importantly, increases developer productivity.

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.

Logic Picture-Based Dynamic Power Estimation for Unit Gate-Delay Model CMOS Circuits

In this research, a fast methodology to calculate the exact value of the average dynamic power consumption for CMOS combinational logic circuits is developed. The delay model used is the unit-delay model where all gates have the same propagation delay. The main advantages of this method over other techniques are its accuracy, as it is deterministic and it requires less computational effort compared to exhaustive simulation approaches. The methodology uses the Logic Pictures concept for obtaining the nodes’ toggle rates. The proposed method is applied to well-known circuits and the results are compared to exhaustive simulation and Monte Carlosimulation methods.

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.

Adaptive Fuzzy Dynamic Surface Control for Uncertain Nonlinear Systems

In this paper, a robust adaptive fuzzy dynamic surface control for a class of uncertain nonlinear systems is proposed. A novel adaptive fuzzy dynamic surface model is built to approximate the uncertain nonlinear functions by only one fuzzy logic system. The approximation capability of this model is proved and the model is implemented to solve the problem that too many approximators are used in the controller design of uncertain nonlinear systems. The shortage of ＂explosion of complexity＂ in backstepping design procedure is overcome by using the proposed dynamic surface control method. It is proved by constructing appropriate Lyapunov candidates that all signals of closed-loop systems are semi-globally uniformly ultimate bounded. Also, this novel controller stabilizes the states of uncertain nonlinear systems faster than the adaptive sliding mode controller （SMC）. Two simulation examples are provided to illustrate the effectiveness of the control approach proposed in this paper.

A Fuzzy-Neural Network Control of Nonlinear Dynamic Systems

In this paper, an adaptive dynamic control scheme based on a fuzzy neural network is presented, that presents utilizes both feed-forward and feedback controller elements. The former of the two elements comprises a neural network with both identification and control role, and the latter is a fuzzy neural algorithm, which is introduced to provide additional control enhancement. The feedforward controller provides only coarse control, whereas the feedback controller can generate on-line conditional proposition rule automatically to improve the overall control action. These properties make the design very versatile and applicable to a range of industrial applications.

Dynamic Routing Combined to Forecast the Behavior of Traffic in the City of Sao Paulo Using Neuro Fuzzy Network

The challenge of keeping and getting new customers drives the development of new practices to meet the consumption needs of increasingly tends to micro-segmentation of product and consumer market. The new consumption habits of brazilians brought new prospects for market. The objective of this paper is to develop of a dynamic vehicle routing system supported by the behavior of urban traffic in the city ofSao Paulo using Neuro Fuzzy Network. The methodology of this paper consists in the capture of relevant events that interfere with the flow of traffic of the city of Sao Paulo and implementation of a Fuzzy Neural Network trained with these events in order to foresee the traffic behavior. The system offers three labels of hierarchical routing, thus is possible to consider not only the basic factors of routing, but too external factors that directly influence on the flow of traffic and the disruption which may be avoided in large cities, through alternative routes （dynamic vehicle routing）. Predicting the behavior of traffic represents the strategic level routing, dynamic vehicle routing is the tactical level, and routing algorithms to the operational level. This paper will not be discussed the operational level.

Output Feedback Dynamic Surface Controller Design for Airbreathing Hypersonic Flight Vehicle

This paper addresses issues related to nonlinear robust output feedback controller design for a nonlinear model of airbreathing hypersonic vehicle. The control objective is to realize robust tracking of velocity and altitude in the presence of immeasurable states, uncertainties and varying flight conditions. A novel reduced order fuzzy observer is proposed to estimate the immeasurable states. Based on the information of observer and the measured states, a new robust output feedback controller combining dynamic surface theory and fuzzy logic system is proposed for airbreathing hypersonic vehicle. The closedloop system is proved to be semi-globally uniformly ultimately bounded (SUUB), and the tracking error can be made small enough by choosing proper gains of the controller, filter and observer. Simulation results from the full nonlinear vehicle model illustrate the effectiveness and good performance of the proposed control scheme. © 2014 Chinese Association of Automation.

Entropy of Quantum Dynamical Systems and Sufficient Families in Orthomodular Lattices with Bayessian State

The purpose of the present paper is to study the entropy hs（Ф） of a quantum dynamical systems Ф = （ L, s, Ф）, where s is a bayessian state on an orthomodular lattice L. Having introduced the notion of entropy hs（ Ф, A） of partition A of a Boolean algebra B with respect to a state s and a state preserving homomorphism Ф, we prove a few results on that, define the entropy of a dynamical system hs（Ф）, and show its invariance. The concept of sufficient families is also given and we establish that hs （Ф） comes out to be equal to the supremum of hs （Ф,A）, where A varies over any sufficient family. The present theory has then been extended to the quantum dynamical system （ L, s, Ф）, which as an effect of the theory of commutators and Bell inequalities can equivalently be replaced by the dynamical system （B, s0, Ф）, where B is a Boolean algebra and so is a state on B.

A multiscale differential-algebraic neural network-based method for learning dynamical systems

The objective of dynamical system learning tasks is to forecast the future behavior of a system by leveraging observed data.However,such systems can sometimes exhibit rigidity due to significant variations in component parameters or the presence of slow and fast variables,leading to challenges in learning.To overcome this limitation,we propose a multiscale differential-algebraic neural network(MDANN)method that utilizes Lagrangian mechanics and incorporates multiscale information for dynamical system learning.The MDANN method consists of two main components:the Lagrangian mechanics module and the multiscale module.The Lagrangian mechanics module embeds the system in Cartesian coordinates,adopts a differential-algebraic equation format,and uses Lagrange multipliers to impose constraints explicitly,simplifying the learning problem.The multiscale module converts high-frequency components into low-frequency components using radial scaling to learn subprocesses with large differences in velocity.Experimental results demonstrate that the proposed MDANN method effectively improves the learning of dynamical systems under rigid conditions.

Mitigating Subsynchronous Resonance Torques Using Dynamic Braking Resistor

Series compensation has proven to increase stability in transmission of electric power. On the other hand insertion of series capacitor results in severe subsynchronous torques. The subsynchronous torque leads to generator-turbine shaft damage. Mitigation of subsynchronous transient torques is achieved through resistor bank connected to generator terminals. The insertion of resistor bank is controlled by fuzzy logic controller. The proposed controller has been tested on IEEE First Benchmark Model and it proved to have good damping for the torsional torques.

FUZZY COMPREHENSIVE EVALUATION MODEL OF ECOLOGICAL DEMONSTRATION AREA

Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact developing level index of EDA due to its indicator system’s complexity and disequilibrium. In this paper, a framework of indicators was set to evaluate, monitor and examine the comprehensive level of ecological demonstration area (EDA). Fuzzy logic method was used to develop the fuzzy comprehensive evaluation model (FCEM), which could quantitatively reveal the developing degree of EDA. Huiji District of Zhengzhou, Henan Province, one of the 9th group of national EDAs, was taken as a study case. The framework of FCEM for the integrated system included six subsystems, which were social, economic, ecological, rural, urban and accessorial description ones. The research would be valuable in the comprehensive quantitative evaluation of EDA and would work as a guide in the construction practices of Huiji ecological demonstration area.

Mediative Fuzzy Logic for Controlling Population Size in Evolutionary Algorithms

In this paper we are presenting an intelligent method for controlling population size in evolutionary algorithms. The method uses Mediative Fuzzy Logic for modeling knowledge from experts about what should be the behavior of population size through generations based on the fitness variance and the number of generations that the algorithm is being stuck. Since, it is common that this kind of knowledge expertise can be susceptible to disagreement in a minor or a major part. We selected Mediative Fuzzy Logic (MFL) as a fuzzy method to achieve the inference. MFL is a novelty fuzzy inference method that can handle imperfect knowledge in a broader way than traditional fuzzy logic does.

A NEW APPROACH TO PROGRAMMABLE LOGIC ARRAY FOR SINGLE-CLOCK CMOS

Programmable Logic Array (PLA) is an important building circuit of VLSI chips and some of the FPGA architectures have evolved from the basic PLA architectures. In this letter, a dynamic and static mixed PLA with single-phased clock is presented. Combining both dynamic and static design style rather than introducing additional interface-buffers overcomes the racing problem, thereby saves the chip area. Besides inheriting the advantages of dynamic circuit-low power dissipation and compact structure, this approach also provides high-speed operation.

A Novel High-Performance Lekage-Tolerant, Wide Fan-In Domino Logic Circuit in Deep-Submicron Technology

As technology shrinks in modern era the demand on high speed, low power consumption and small chip area in microprocessors is come into existence. In this paper we have presented a new class of domino circuit design for low power consumption, faster circuit speed and high performance. Due to wide fan-in domino logic, its logic gate suffer from noise sensitivity, if we improve sensitivity, sub-threshold and gate oxide leakage current dominate in evaluation network, which increases the power consumption and reduces the performance of the circuit. The proposed circuit improves the dynamic power consumption and reduces the delay which improves the speed of the circuit. Simulation is performed in BISM4 Cadence environment at 65 nm process technology, with supply voltage 1 V at 100 MHz frequency and bottleneck operating temperature of 27°C with CL = 1 fF. From the result average power improvement by proposed circuit 1 & 2 for 8 input OR gate is 10.1%, 15.28% SFLD, 48.56%, 51.49% CKD, 55.17%, 57.71% HSD and improvement of delay is 1.10%, 12.76% SFLD, 19.13%, 28.63% CKD, 4.32%, 15.59% HSD, 19.138%, 44.25% DFD respectively.

Leakage Reduction Using DTSCL and Current Mirror SCL Logic Structures for LP-LV Circuits

This paper presents a novel approach to design robust Source Coupled Logic (SCL) for implementing ultra low power circuits. In this paper, we propose two different source coupled logic structures and analyze the performance of these structures with STSCL (Sub-threshold SCL). The first design under consideration is DTPMOS as load device which analyses the performance of Dynamic Threshold SCL (DTSCL) Logic with previous source coupled logic for ultra low power operation. DTSCL circuits exhibit a better power-delay Performance compared with the STSCL Logic. It can be seen that the proposed circuit provides 56% reduction in power delay product. The second design under consideration uses basic current mirror active load device to provide required voltage swing. Current mirror source coupled logic (CMSCL) can be used for high speed operation. The advantage of this design is that it provides 54% reduction in power delay product over conventional STSCL. The main drawback of this design is that it provides a higher power dissipation compared to other source coupled logic structures. The proposed circuit provides lower sensitivity to temperature and power supply variation, with a superior control over power dissipation. Measurements of test structures simulated in 0.18 μm CMOS technology shows that the proposed DTSCL logic concept can be utilized successfully for bias currents as low as 1 pA. Measurements show that existing standard cell libraries offer a good solution for ultra low power SCL circuits. Cadence Virtuoso schematic editor and Spectre Simulation tools have been used.