On the Equivalence Problem for Programs with Mode Switching

2006 ◽  
pp. 351-352 ◽  
Author(s):  
Rimma I. Podlovchenko ◽  
Dmitry M. Rusakov ◽  
Vladimir A. Zakharov
Keyword(s):  
Equivalence Problem ◽  
Mode Switching

Equivalence problem of Mann and Ishikawa Iterations in Banach Spaces

2011 ◽  
Vol 12 (3) ◽  
pp. 279-288
Author(s):  
Shuang WANG ◽  
Guoqing CHAI ◽  
Changsong HU
Keyword(s):  
Banach Spaces ◽  
Equivalence Problem

Multiple Regularity and Binary ETOL-Systems1

1981 ◽  
Vol 4 (1) ◽  
pp. 19-34
Author(s):  
Ryszard Danecki
Keyword(s):  
Equivalence Problem ◽  
Tree Automata ◽  
Closure Properties ◽  
Multiple Tree

Closure properties of binary ETOL-languages are investigated by means of multiple tree automata. Decidability of the equivalence problem of deterministic binary ETOL-systems is proved.

scholarly journals Research on predictive sliding mode control strategy for horizontal vibration of ultra-high-speed elevator car system based on adaptive fuzzy

2021 ◽  
Vol 54 (3-4) ◽  
pp. 360-373
Author(s):  
Hong Wang ◽  
Mingqin Zhang ◽  
Ruijun Zhang ◽  
Lixin Liu
Keyword(s):  
Sliding Mode Control ◽  
High Speed ◽  
Sliding Mode ◽  
Mode Switching ◽  
Parameter Uncertainties ◽  
Horizontal Vibration ◽  
Adaptive Fuzzy ◽  
Mode Control ◽  
System A ◽  
Ultra High Speed

In order to effectively suppress horizontal vibration of the ultra-high-speed elevator car system. Firstly, considering the nonlinearity of guide shoe, parameter uncertainties, and uncertain external disturbances of the elevator car system, a more practical active control model for horizontal vibration of the 4-DOF ultra-high-speed elevator car system is constructed and the rationality of the established model is verified by real elevator experiment. Secondly, a predictive sliding mode controller based on adaptive fuzzy (PSMC-AF) is proposed to reduce the horizontal vibration of the car system, the predictive sliding mode control law is achieved by optimizing the predictive sliding mode performance index. Simultaneously, in order to decrease the influence of uncertainty of the car system, a fuzzy logic system (FLS) is designed to approximate the compound uncertain disturbance term (CUDT) on-line. Furthermore, the continuous smooth hyperbolic tangent function (HTF) is introduced into the sliding mode switching term to compensate the fuzzy approximation error. The adaptive laws are designed to estimate the error gain and slope parameter, so as to increase the robustness of the system. Finally, numerical simulations are conducted on some representative guide rail excitations and the results are compared to the existing solution and passive system. The analysis has confirmed the effectiveness and robustness of the proposed control method.

scholarly journals Equivalence problem for the orthogonal webs on the 3-sphere

2011 ◽  
Vol 52 (5) ◽  
pp. 053509 ◽  
Author(s):  
Caroline M. Cochran ◽  
Raymond G. McLenaghan ◽  
Roman G. Smirnov
Keyword(s):  
Equivalence Problem
Sign in / Sign up

Export Citation Format

Share Document