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.

基于Cast Designer的壳体铸件铸造工艺设计及智能优化

使用Cast Designer铸造仿真分析软件,通过可铸性评估系统DFM,完成浇冒系统的辅助设计,然后使用DOE技术和基于遗传算法GA的智能优化技术,评估不同工艺设计方案与铸造过程参数对壳体铸件质量的影响,分析在不同的冒口、冷铁和浇注温度条件下得料率和缩孔量的关系。根据对DOE模拟结果的分析,发现顶冒口和侧冒口尺寸是影响得料率和缩孔量的关键因数,再利用遗传算法GA选择最佳设计方案和参数。通过帕累托曲线得到了生产壳体铸件的最优工艺方案。

双十字路口交通灯控制Stateflow和App Designer仿真

为培养学生能够独立从事自动化相关领域的工程设计、应用研究,解决自动化领域复杂工程实施过程中遇到的关键技术问题,以双十字路口交通灯为研究对象,为计算机辅助建模与仿真类课程设计了一个综合性教学案例。教学案例主要内容为双十字路口Simulink/Stateflow建模与基于Matlab App Designer的交通灯控制可视化仿真。通过此教学案例的实施,明显提高了学生对Matlab的综合应用和工程设计能力,并为后续课程“单片机原理及应用”和“电气控制和PLC”作铺垫。

Reactive dividing wall column for hydrolysis of methyl acetate:Design and control

Reactive distillation and dividing wall column distillation are two kinds of effective separation technologies,and their integrated configuration,reactive dividing wall column(RDWC),presents attractive advantages.In this study,the rigorous simulation of RDWC for methyl acetate hydrolysis is performed,and sensitivity analysis is conducted to obtain the minimum reboiler duty.Then a comparison is made between the conventional process and RDWC process,and it shows that 20.1% energy savings can be achieved by RDWC process.In addition,the dynamic characteristic of RDWC is studied and an effective control strategy is proposed.The simple PI control scheme with three temperature loops can obtain reasonable control performance and maintain products at desired purities.It is proved that this RDWC process is an energy efficiency alternative with good controllability.

Controllable design of Zn-Ni-P on g-C_3N_4 for efficient photocatalytic hydrogen production

Synthesizing a stable and efficient photocatalyst has been the most important research goal up to now. Owing to the dominant performance of g-C3N4 (graphitized carbonitride), an ordered assemble of a composite photocatalyst, Zn-Ni-P@g-C3N4, was successfully designed and controllably prepared for highly efficient photocatalytic H2 evolution. The electron transport routes were successfully adjusted and the H2 evolution was greatly improved. The maximum amount of H2 evolved reached about 531.2 μmol for 5 h over Zn-Ni-P@g-C3N4 photocatalyst with a molar ratio of Zn to Ni of 1:3 under illumination of 5 W LED white light (wavelength 420 nm). The H2 evolution rate was 54.7 times higher than that over pure g-C3N4. Moreover, no obvious reduction in the photocatalytic activity was observed even after 4 cycles of H2 production for 5 h. This synergistically increased effect was confirmed through the results of characterizations such as XRD, TEM, SEM, XPS, N2 adsorption, UV-vis DRS, transient photocurrent, FT-IR, transient fluorescence, and Mott-Schottky studies. These studies showed that the Zn-Ni-P nanoparticles modified on g-C3N4 provide more active sites and improve the efficiency of photogenerated charge separation. In addition, the possible mechanism of photocatalytic H2 production is proposed.

Optimal design of dynamic and control performance for planar manipulator

A design and optimization approach of dynamic and control performance for a two-DOF planar manipulator was proposed.After the kinematic and dynamic analysis,several advantages of the mechanism were illustrated,which made it possible to obtain good dynamic and control performances just through mechanism optimization.Based on the idea of design for control(DFC),a novel kind of multi-objective optimization model was proposed.There were three optimization objectives:the index of inertia,the index describing the dynamic coupling effects and the global condition number.Other indexes to characterize the designing requirements such as the velocity of end-effector,the workspace size,and the first mode natural frequency were regarded as the constraints.The cross-section area and length of the linkages were chosen as the design variables.NSGA-II algorithm was introduced to solve this complex multi-objective optimization problem.Additional criteria from engineering experience were incorporated into the selecting of final parameters among the obtained Pareto solution sets.Finally,experiments were performed to validate the linear dynamic structure and control performances of the optimized mechanisms.A new expression for measuring the dynamic coupling degree with clear physical meaning was proposed.The results show that the optimized mechanism has an approximate decoupled dynamics structure,and each active joint can be regarded as a linear SISO system.The control performances of the linear and nonlinear controllers were also compared.It can be concluded that the optimized mechanism can achieve good control performance only using a linear controller.

Robust H_∞ Controller Design for Uncertain Neutral Systems via Dynamic Observer Based Output Feedback

In this paper, the dynamic observer-based controller design for a class of neutral systems with H∞ control is considered. An observer-based output feedback is derived for systems with polytopic parameter uncertainties. This controller assures delay-dependent stabilization and H∞ norm bound attenuation from the disturbance input to the controlled output. Numerical examples are provided for illustration and comparison of the proposed conditions.

EXPERIMENTAL STUDY ON ELASTIC－PLASTIC CONTROLLING DESIGN FOR BOX STEEL STRUCTURES

The principle of increasing structural loading abillity by the using of elastic-plastic con- trolling design, which can make steel reach a highcr yield slrength through controlling undue strains produced in loaded box steel structures and no damager to the static mechanical properties of the used materials, is dealt with under the guarantee of strength, rigidity, and stability. A new idea of elastic--plastic controlling design, which is mainly based on the elastic-plastic theory and experi- mental results and is different from the current design which is mainly based handbooks and design- er' s experience, is established. That is: the loading time and its effect on loaded structures are con- sidered, and the potential strength in used matcrials is fully utilized through the controlling of struc- tural strains in design. By the using of this design method, the weight and cost of box structures will be reduced in large amount.

Robust Control Design of Wheeled Inverted Pendulum Assistant Robot

This paper examines the design concept and mobile control strategy of the human assistant robot I-PENTAR(inverted pendulum type assistant robot). The motion equation is derived considering the non-holonomic constraint of the twowheeled mobile robot. Different optimal control approaches are applied to a linearized model of I-PENTAR. These include linear quadratic regulator(LQR), linear quadratic Gaussian control(LQG), H_2 control and H_∞ control. Simulation is performed for all the approaches yielding good performance results.

Controller design of uncertain nonlinear systems based on T-S fuzzy model

A robust control for uncertain nonlinear systems based on T-S fuzzy model is discussed in this paper. First, a T-S fuzzy system is adopted to model the uncertain nonlinear systems. Then, for the system with input variables adopting standard fuzzy partitions, the efficient maximal overlapped-rules group （EMORG） is presented, and a new sufficient condition to check the stability of T-S fuzzy system with uncertainty is derived, which is expressed in terms of Linear Matrix Inequalities. The derived stability condition, which only requires a local common positive definite matrix in each EMORG, can reduce the conservatism and difficulty in existing stability conditions. Finally, a simulation example shows the proposed approach is effective.

Adaptive Sliding Mode Control for Re-entry Attitude of Near Space Hypersonic Vehicle Based on Backstepping Design

Combining sliding mode control method with radial basis function neural network (RBFNN), this paper proposes a robust adaptive control scheme based on backstepping design for re-entry attitude tracking control of near space hypersonic vehicle (NSHV) in the presence of parameter variations and external disturbances. In the attitude angle loop, a robust adaptive virtual control law is designed by using the adaptive method to estimate the unknown upper bound of the compound uncertainties. In the angular velocity loop, an adaptive sliding mode control law is designed to suppress the effect of parameter variations and external disturbances. The main benefit of the sliding mode control is robustness to parameter variations and external disturbances. To further improve the control performance, RBFNNs are introduced to approximate the compound uncertainties in the attitude angle loop and angular velocity loop, respectively. Based on Lyapunov stability theory, the tracking errors are shown to be asymptotically stable. Simulation results show that the proposed control system attains a satisfied control performance and is robust against parameter variations and external disturbances. © 2014 Chinese Association of Automation.

CAutoCSD-Evolutionary Search and Optimisation Enabled Computer Automated Control System Design

This paper attempts to set a unified scene for various linear time-invariant (LTI) control system design schemes, by transforming the existing concept of “computer-aided control system design” (CACSD) to novel “computer-automated control system design” (CAutoCSD). The first step towards this goal is to accommodate, under practical constraints, various design objectives that are desirable in both time and frequency domains. Such performance-prioritised unification is aimed at relieving practising engineers from having to select a particular control scheme and from sacrificing certain performance goals resulting from pre-commitment to such schemes. With recent progress in evolutionary computing based extra-numeric, multi-criterion search and optimisation techniques, such unification of LTI control schemes becomes feasible, analytical and practical, and the resultant designs can be creative. The techniques developed are applied to, and illustrated by, three design problems. The unified approach automatically provides an integrator for zero-steady state error in velocity control of a DC motor, and meets multiple objectives in the design of an LTI controller for a non-minimum phase plant and offers a high-performance LTI controller network for a non-linear chemical process.

Randomized Algorithms for Probabilistic Optimal Robust Performance Controller Design

Polynomial-time randomized algorithms were constructed to approximately solve optimal robust performance controller design problems in probabilistic sense and the rigorous mathematical justification of the approach was given. The randomized algorithms here were based on a property from statistical learning theory known as (uniform) convergence of empirical means (UCEM). It is argued that in order to assess the performance of a controller as the plant varies over a pre-specified family, it is better to use the average performance of the controller as the objective function to be optimized, rather than its worst-case performance. The approach is illustrated to be efficient through an example.

Proto col Design for Output Consensus of Port-controlled Hamiltonian Multi-agent Systems

这份报纸调查控制港口的 Hamiltonian (PCH ) 多代理人系统的产量一致问题与修理并且切换的拓扑学。第一，一个分布式的组产量一致协议经由塑造方法全球性到达稳定性和组产量一致的能量被设计。第二，一个新分布式的控制协议被使用 PCH 系统的结构的性质建议。这个协议的优点是它能由构造一种虚拟邻居转变指导的图到未受指导的图。第三，一个控制协议被设计，扩大 LaSalle0s 不变性原则在联合连接的拓扑学条件下面为交换系统发展了让所有代理人当拓扑学正在切换时，到达输出一致。最后，有模拟的一些解说性的例子被提供表明在这份报纸设计的协议的有效性。

Systematic design method for PI controller with Virtual Resistor-based Active Damping of LCL filter

The Virtual Resistor based Active Damping(VR-AD) is widely employed in converters connected to the grid via LCL filters in order to mitigate the inherent resonance of the filters. Nevertheless, in digitally controlled systems, the PWM and the calculating delays modify the system characteristics in terms of frequency and phase, thus destabilizing the system and degrading the VR-AD performances, mainly in low switching frequencies. Moreover, the stability of the system is greatly affected under weak grid operation characterized by large grid impedance variation. This paper solves these problems by proposing a systematic, robust and optimized design procedure of voltage oriented PI control(VOC) with VRAD. The considered design procedure ensures robust control(sufficient stability margins) and high quality of grid current(reduced steady-state error and minimized THD value) despite the negative impact of digital time delay, grid impedance variation and filter parameters change. Simulation and experimental results are presented to show robustness and efficiency of the suggested design procedure.

MODELING, VALIDATION AND OPTIMAL DESIGN OF THE CLAMPING FORCE CONTROL VALVE USED IN CONTINUOUSLY VARIABLE TRANSMISSION

Associated dynamic performance of the clamping force control valve used in continuously variable transmission （CVT） is optimized. Firstly, the structure and working principle of the valve are analyzed, and then a dynamic model is set up by means of mechanism analysis. For the purpose of checking the validity of the modeling method, a prototype workpiece of the valve is manufactured for comparison test, and its simulation result follows the experimental result quite well. An associated performance index is founded considering the response time, overshoot and saving energy, and five structural parameters are selected to adjust for deriving the optimal associated performance index. The optimization problem is solved by the genetic algorithm （GA） with necessary constraints. Finally, the properties of the optimized valve are compared with those of the prototype workpiece, and the results prove that the dynamic performance indexes of the optimized valve are much better than those of the prototype workpiece.

Adaptive robust dissipative designs on straight path control for underactuated ships

An adaptive robust control algorithm for ship straight path control system in the presence of both modeling uncertainties and the bounded disturbances is proposed. Motivated by the backstepping approach, the algorithm is developed by using the dissipation theory, such that the resulting dosed-loop system is both strictly dissipative and asymptotically adaptively stable for all admissible uncertainties. Also, it is able to steer an underactuated ship along a prescribed straight path with ultimate bounds under external disturbances induced by wave, wind and ocean current. When there are no disturbances, the straight path control can be implemented in a locally asymptotically stable manner. Simulation results on an ocean-going training ship ‘YULONG＇ are presented to validate the effectiveness of the algorithm.

Control system design of hybrid fuel cell city bus

This paper introduced the design of the hybrid powertrain of the Fuel Cell City Bus demonstrated in 2008 Beijing Olympic Games. The configuration of the hybrid fuel cell powertrain was introduced. The safety of hydrogen storage and delivery system, the hydrogen leakage alarm system were developed. The real-time distributed control and diagnosis system based on the Time Trigger Controller Area Network （TTCAN） with 10 ms basic control period was developed. The concept and implementation of processor （or controller） monitor and process （or task） monitor technique based on the TYCAN were applied in this paper. The fault tolerant control algorithm of the fuel cell engine and the battery man- agement system were considered. The demonstration experience verified that the fault tolerant control was very important for the fuel cell city bus.

Concept Design,Modeling and Station-keeping Attitude Control of an Earth Observation Platform

The stratosphere airship provides a unique and promising platform for earth observation. Researches on the project design and control scheme for earth observation platforms are still rarely documented. Nonlinear dynamics, model uncertainties, and external disturbances contribute to the difficulty in maneuvering the stratosphere airship. A key technical challenge for the earth observation platform is station keeping, or the ability to remain fixed over a geo-location. This paper investigates the conceptual design, modeling and station-keeping attitude control of the near-space earth observation platform. A conceptual design of the earth observation platform is presented. The dynamics model of the platform is derived from the Newton-Euler formulation, and the station-keeping control system of the platform is formulated. The station-keeping attitude control approach for the platform is proposed. The multi-input multi-output nonlinear control system is decoupled into three single-input single-output linear subsystems via feedback linearization, the attitude controller design is carried out on the new linear systems using terminal sliding mode control, and the global stability of the closed-loop system is proven by using the Lyapunov theorem. The performance of the designed control system is simulated by using the variable step Runge-Kutta integrator. Simulation results show that the control system tracks the commanded attitude with an error of zero, which verify the effectiveness and robustness of the designed control system in the presence of parametric uncertainties. The near-space earth observation platform has several advantages over satellites, such as high resolution, fast to deploy, and convenient to retrieve, and the proposed control scheme provides an effective approach for station-keeping attitude control of the earth observation platform.

SIMULATION IN THERMAL DESIGN FOR ELECTRONIC CONTROL UNIT OF ELECTRONIC UNIT PUMP

The high working junction temperature of power component is the most common reason of its failure. So the thermal design is of vital importance in electronic control unit （ECU） design. By means of circuit simulation, the thermal design of ECU for electronic unit pump （EUP） fuel system is applied. The power dissipation model of each power component in the ECU is created and simulated. According to the analyses of simulation results, the factors which affect the power dissipation of components are analyzed. Then the ways for reducing the power dissipation of power components are carried out. The power dissipation of power components at different engine state is calculated and analyzed. The maximal power dissipation of each power component in all possible engine state is also carried out based on these simulations. A cooling system is designed based on these studies. The tests show that the maximum total power dissipation of ECU drops from 43.2 W to 33.84 W after these simulations and optimizations. These applications of simulations in thermal design of ECU can greatly increase the quality of the design, save the design cost and shorten design time