Solving strong controllability of temporal problems with uncertainty using SMT

Constraints ◽  
2014 ◽  
Vol 20 (1) ◽  
pp. 1-29 ◽  
Author(s):  
Alessandro Cimatti ◽  
Andrea Micheli ◽  
Marco Roveri
Keyword(s):  
Strong Controllability

scholarly journals Investigations on the effect of different influencing factors on film cooling effectiveness under the injection of synthetic coolant

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Jianlong Chang ◽  
Xinlei Duan ◽  
Yang Du ◽  
Baoquan Guo ◽  
Yutian Pan
Keyword(s):  
Film Cooling ◽  
Elliptical Hole ◽  
Synthetic Jet ◽  
Cooling Effect ◽  
Flow Structures ◽  
Cooling Effectiveness ◽  
Film Cooling Effectiveness ◽  
Cooling Flow ◽  
Cooling Method ◽  
Strong Controllability

AbstractBy combining the synthetic jet and film cooling, the incident cooling flow is specially treated to find a better film cooling method. Numerical simulations of the synthetic coolant ejected are carried out for analyzing the cooling performance in detail, under different blowing ratios, hole patterns, Strouhal numbers, and various orders of incidence for the two rows of holes. By comparing the flow structures and the cooling effect corresponding to the synthetic coolant and the steady coolant fields, it is found that within the scope of the investigations, the best cooling effect can be obtained under the incident conditions of an elliptical hole with the aspect ratio of 0.618, the blow molding ratio of 2.5, and the Strouhal number St = 0.22. Due to the strong controllability of the synthetic coolant, the synthetic coolant can be controlled through adjusting the frequency of blowing and suction, so as to change the interaction between vortex structures for improving film cooling effect in turn. As a result, the synthetic coolant ejection is more advisable in certain conditions to achieve better outcomes.

Design and Research of the Hydraulic Motor Type Test Station

2013 ◽  
Vol 318 ◽  
pp. 212-215
Author(s):  
Dong Hai Su ◽  
Hong Liang Xue
Keyword(s):  
System Control ◽  
Control Technology ◽  
Test Bed ◽  
Hydraulic Motor ◽  
Motor Test ◽  
Controlling System ◽  
Type Test ◽  
Strong Controllability ◽  
Improved Stability ◽  
Measurement And Control

This paper studies the hydraulic motor type test bed system, and the use of how computer measurement and control technology in test bed system control. This test bed uses proportional control technology to realize the automatic load and automatic control of hydraulic motor, greatly improved stability, accuracy and strong controllability of the hydraulic motor test bed controlling system.

scholarly journals An Unmanned Aerial Vehicle Cluster Network Cruise System for Monitor

2018 ◽  
Vol 38 ◽  
pp. 01029 ◽  
Author(s):  
Jirong Jiang ◽  
Jinpeng Tao ◽  
Guipeng Xin
Keyword(s):  
Coastal Water ◽  
High Energy ◽  
Small Range ◽  
Information Control ◽  
Cluster Network ◽  
Small Uav ◽  
Strong Controllability ◽  
Aerial Vehicle ◽  
Self Powered

The existing maritime cruising system mainly uses manned motorboats to monitor the quality of coastal water and patrol and maintenance of the navigation -aiding facility, which has the problems of high energy consumption, small range of cruise for monitoring, insufficient information control and low visualization. In recent years, the application of UAS in the maritime field has alleviated the phenomenon above to some extent. A cluster-based unmanned network monitoring cruise system designed in this project uses the floating small UAV self-powered launching platform as a carrier, applys the idea of cluster, and combines the strong controllability of the multi-rotor UAV and the capability to carry customized modules, constituting a unmanned, visualized and normalized monitoring cruise network to realize the functions of maritime cruise, maintenance of navigational-aiding and monitoring the quality of coastal water.

Sensitivity in Multivariable Control Systems

1969 ◽  
Vol 91 (2) ◽  
pp. 246-249 ◽  
Author(s):  
W. F. Horton ◽  
C. T. Leondes
Keyword(s):  
Control Systems ◽  
Dual Function ◽  
Sensitivity Matrix ◽  
System Sensitivity ◽  
Multivariable Control Systems ◽  
Strong Controllability ◽  
Feedback Control Systems ◽  
System Output ◽  
Multivariable Feedback

Definitions of system sensitivity for linear single variable systems have been extended, in the past, to linear multivariable systems in the form of a sensitivity matrix. The role of the sensitivity matrix in multivariable feedback control systems is studied further in this paper. The sensitivity matrix serves the dual function of governing the effects of plant parameter variation on the system transfer matrix and governing the effects of disturbances on the system output. The design implications of this are considered and it is shown that certain controllability/observability conditions are necessary if the system design is to be effective. By appropriate design of the loop gain matrix, L(s), a desired insensitivity to system error sources may be achieved. Unless the system has certain controllability/observability properties insensitivity cannot be achieved. It is shown that L(s) must have the property of functional reproducibility which is a relatively strong controllability/observability requirement.

Sign in / Sign up

Export Citation Format

Share Document