检索结果-内蒙古大学图书馆

International Conference on systems and Informatics (ICSAI)

作者： Yongji Ouyang Shuai Zeng Chao Yang Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China State Key Laboratory of Management and Control for Complex System Institute of Automation Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781479954599

Symbolic Execution is a key and useful technology in current refinement software test, but there still exists some problems such as space explosion. In order to mitigate this problem and improve the ability for detecting vulnerabilities, this paper presents the improving guide-based vulnerability detection with hybrid symbolic execution, which aims to test suspicious objects. This method conducts path traversal with a hybrid symbolic execution model, which alternates between dynamic and static symbolic execution, and verify whether it is vulnerability through summarizing the characteristics of vulnerabilities and generating a constraint expression. Experimental result shows that this method can successfully detect errors in 56 seconds, which exceeds any other modern mainstream symbolic execution tools including CUTE, KLEE, S2E and Cloud9. Compared with CUTE, this method alleviates the problem of space explosion. Besides, this papaer successfully verifies the vulnerabilities of OpenSSL and some other commonly used software.

关键词： Testing Algorithm design and analysis Software Explosions Refining Context Hybrid power systems

来源：评论

学校读者我要写书评

暂无评论

Hovering control of a nano quadrotor unmanned aerial vehicle using optical flow

Hovering control of a nano quadrotor unmanned aerial vehicle...

引用

Chinese control Conference (CCC)

作者： Bin Xian Yang Liu Xu Zhang Meihui Cao Fu Wang The Institute of Robotics and Autonomous System The Tianjin Key Laboratory of Process Measurement and Control School of Electrical Engineering and Automation Tianjin University Tianjin Tianjin CN

In this paper, a PD controller which uses optical flow to obtain position and velocity feedback is proposed for the autonomous hovering flight control of a nano quadrotor unmanned aerial vehicle (UAV). The nano quadrotor UAV has a mass less than 100 g and is comparatively much smaller than the micro vehicles utilized in previous research. Due to the limited size and payload ability, a wireless camera is employed as the onboard visual device to obtain the position and translational velocity of the UAV. Experiment results are included to demonstrate the good control performance of the proposed design.

关键词： Image motion analysis Computer vision Optical imaging Optical sensors Adaptive optics Optical filters Optical feedback

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Asymptotic Attitude Tracking control for an Unmanned Helicopter with Input Constraints

Nonlinear Asymptotic Attitude Tracking Control for an Unmann...

引用

American control Conference

作者： Xiang Liu Bin Xian Yao Zhang Xu Zhang Institute of Robotics and Autonomous System the Tianjin Key Laboratory of Process Measurement and Control Schoool of Electrical Engineering and Automation Tianjin University Tianjin 300072 China

ISBN: (纸本)9781479932757

In this paper a nonlinear attitude tracking control scheme is developed for a small-scaled unmanned helicopter under input constraints. Via the analysis of the properties associated with the helicopter's rotor dynamics, the elevator servo input, the aileron servo input, and the rudder servo input are chosen to be the control inputs to be designed. Their constraints in amplitude under hovering flight is taken into account by using the robust bounded terms in the controller design. The asymptotic convergence of the tracking error is guaranteed with the Lyapunov-based stability analysis.

关键词： Helicopters Rotors Attitude control Vectors Servomotors Stability analysis Equations

来源：评论

学校读者我要写书评

暂无评论

A Continuous Robust control Design for a Class of Non-Affine Nonlinear Dynamics with Non-varnishing Disturbance

A Continuous Robust Control Design for a Class of Non-Affine...

引用

American control Conference

作者： Yao Zhang Bin Xian Bo Zhao Xiang Liu Institute of Robotics and Autonomous System the Tianjin Key Laboratory of Process Measurement and Control Schoool of Electrical Engineering and Automation Tianjin University Tianjin 300072 China

ISBN: (纸本)9781479932757

In this paper, the problem for the control of a class of single-input-single-output (SISO) non-affine nonlinear system with non-varnishing disturbance is investigated. A continuous nonlinear feedback structure is utilized to tackle with the uncertain dynamics in the system. By taking the time derivative of the origin system, a transformed affine-like form is derived. The first order derivative of control input appears linearly in the augmented dynamics with unknown control direction. Nussbaum-type function is incorporated to estimate the unknown control direction. A revised Lyapunov based analysis is carried out to prove that under some moderate assumptions, the Semi-global Uniformly Ultimately Bounded (SGUUB) tracking result is achieved and all the closed loop signals are bounded. Numerical simulation results are presented to illustrate the performance of the proposed control law.

关键词： Radio frequency Nonlinear dynamical systems Stability analysis Trajectory Tracking loops control design Equations

来源：评论

学校读者我要写书评

暂无评论

Finite-time saturated controller design for straight line navigation of an agricultural tractor 33

Finite-time saturated controller design for straight line na...

引用

Proceedings of the 33rd Chinese control Conference, CCC 2014

作者： Jiang, Yuexia Ding, Shihong Zhao, Dean Ji, Wei School of Electrical and Information Engineering Jiangsu University Zhenjiang212013 China Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Southeast University Nanjing210096 China

ISBN: (纸本)9789881563842

Finite-time control systems usually have better disturbance rejection property and faster convergence performance. For the linearized dynamics of the linear navigation system of an agricultural tractor, a novel control algorithm based on finite-time control technique and saturation method is proposed. Based upon the presented method, the finite-time saturated controller is designed for the linear navigation of an agricultural tractor, and the global stability for the closed loop system is proved. Meanwhile, the selection of parameters in saturated controller just requires some simple mathematical relationships, and the control method has some potential practical applications. Simulation results also verify the effectiveness of the proposed method. © 2014 TCCT, CAA.

关键词： Tractors (agricultural)

来源：评论

学校读者我要写书评

暂无评论

A universal pattern generator for biped walking on 3D slopes

A universal pattern generator for biped walking on 3D slopes

引用

IEEE International Conference on Robotics and Biomimetics

作者： Wen Zhang Qiang Huang Zhangguo Yu Xuechao Chen Chenglong Fu Jing Li Gan Ma Libo Meng Ying Wu Weimin Zhang Intelligent Robotics Institute School of Mechatronical Engineering Key Laboratory of Intelligent Control and Decision of Complex System Beijing China Department of Mechanical Engineering Tsinghua University Beijing China

ISBN: (纸本)9781479973989

Uneven terrain walking is one of the important premises for biped robots to serve people. However, it is one of the key challenges for biped robots walking on a slope. In this paper, a universal method to generate patterns for biped robot walking on a three-dimensional (3D) slope is proposed. Different from most researches, which only focused on the specific walking directions on a slope as across or along a slope, the proposed method is applied to biped robots for all directions walking on a slope. First, unification of parameters for biped walking on a 3D slope is designed. Second, walking patterns based on dual linear inverted pendulum method (DLLIPM) on a 3D slope are generated. Finally, the effectiveness of the universal pattern generator is verified through simulations.

关键词： Legged locomotion Foot Robot kinematics Three-dimensional displays Trajectory Generators

来源：评论

学校读者我要写书评

暂无评论

Nonlinear asymptotic attitude tracking control of an underactuated 3-degree-of-freedom helicopter using neural network feedforward term

引用

控制理论与应用（英文版） 2013年第3期11卷 428-435页

作者： Xiang LIU Bin XIAN Jianchuan GUO Bo ZHAO Chen DIAO Institute of Robotics and Autonomous System Tianjin Key Laboratory of Process Measurement and Control and School of Electrical Engineering and Automation Tianjin University

This paper proposes a new asymptotic attitude tracking controller for an underactuated 3-degree-of-freedom （DOF） laboratory helicopter system by using a nonlinear robust feedback and a neural network （NN） feedforward term. The nonlinear robust control law is developed through a modified inner-outer loop approach. The application of the NN-based feedforward is to compensate for the system uncertainties. The proposed control design strategy requires very limited knowledge of the system dynamic model, and achieves good robustness with respect to system parametric uncertainties. A Lyapunov-based stability analysis shows that the proposed algorithms can ensure asymptotic tracking of the helicopter＇s elevation and travel motion, while keeping the stability of the closed-loop system. Real-time experiment results demonstrate that the controller has achieved good tracking performance.

关键词： 3-DOF helicopter Nonlinear Robust control Asymptotic tracking

来源：评论

学校读者我要写书评

暂无评论

Decentralized control for power systems components based-on nonlinear differential-algebraic equations subsystem model

Communications in Computer and Information Science

引用

Communications in Computer and Information Science 2014年 462卷 397-406页

作者： Zang, Qiang Zhou, Ying Mei, Ping Zheng, Baichao Zhang, Kaifeng School of Information and Control Engineering Nanjing University of Information Science & Technology Nanjing210044 China Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Southeast University Nanjing210096 China College of Automation Nanjing University of Posts and Telecommunications Nanjing210003 China

ISBN: (纸本)9783662452608

Components of power systems essentially belong to a special class of nonlinear differential-algebraic equations subsystem, whose index is one and interconnection is locally measurable. In this paper, the decentralized control problem is discussed using inverse systems method for such class of power systems components. Firstly, the definition of α -order integral right inverse system is presented. Secondly, a recursive algorithm is proposed to judge whether the controlled component is invertible. Then a physically feasible α -order integral right inverse system is constructed with which the controlled component is made linearization and decoupled, so that linear control theory and methods can be applied. Finally, a decentralized excitation controller is designed for one synchronous generator within multi-machine power systems based on the proposed method in this *** simulation results demonstrate the effectiveness of the proposed control scheme. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Decentralized control

来源：评论

学校读者我要写书评

暂无评论

Bipedal walking with toe-off, heel-strike and compliance with external disturbances

Bipedal walking with toe-off, heel-strike and compliance wit...

引用

IEEE-RAS International Conference on Humanoid Robots

作者： Xuechao Chen Yuhang Zhou Qiang Huang Zhangguo Yu Gan Ma Libo Meng Chenglong Fu Key Laboratory of Intelligent Control and Decision of Complex System China Ministry of Education Key Laboratory of Biomimetic Robots and Systems China Intelligent Robotics Institute Beijing Institute of Technology Beijing China Department of Mechanical Engineering Tsinghua University Beijing

ISBN: (纸本)9781479971756

Both disturbance rejection and human-like motions, like toe-off and heel-strike, are important for a biped robot to enhance its performance. However, the required motions for them may influence each other, which is why few studies consider them simultaneously. This paper presents a method to realize stable walking with toe-off and heel-strike even when the robot experiences disturbances. We propose a walking controller which can constrain the desired ground reaction force. On the one hand, the controller can adjust the torso acceleration to make the supporting leg compliant with the external disturbances on the torso. On the other hand, it can rotate the supporting foot by adjusting the ZMP to an appropriate location. The linear inverted pendulum is utilized to generate the CoM trajectory and the foot placement. Meanwhile, its ZMP can be predefined as required so that the toe-off and heel-strike can be achieved by the controller. The effectiveness of the proposed method is demonstrated by simulations.

关键词： Legged locomotion Foot Torso Robot kinematics Acceleration Joints

来源：评论

学校读者我要写书评

暂无评论

Development of an anthropomorphic flute robot for the application in science and technology museum

Development of an anthropomorphic flute robot for the applic...

引用

IEEE International Conference on Robotics and Biomimetics

作者： Gao Huang Weimin Zhang Fei Meng Ye Tian Qing Shi Klaus Petersen Atsuo Takanishi Qiang Huang Key Laboratory of Biomimetic Robots and Systems Ministry of Education China Intelligent Robotics Institute School of Mechatronical Engineering Beijing Institute of Technology Beijing China Faculty of Science and Engineering Waseda University Tokyo Japan Key Laboratory of Intelligent Control and Decision of Complex System China

ISBN: (纸本)9781479973989

To resemble the appearance of human beings, humanoid robots should be designed with many DOFs, however, it increases the complexity of the mechanical design and the real-time control, which will make a high cost and have a poor reliability and will not fit for the application in museums or human's daily lives. In this paper, to enable the low cost and high reliability robot to interact with humans naturally and sever humans more friendly, we imported advanced technology of the Waseda's flute robot and retained the most important mechanical parts, such as the lip, lungs and the fingers for the flute playing, on this basis, some other mechanical structures were redesigned; particularly, the robot's appearance was carefully designed; in addition, we also redesigned the hardware structure using our own joint controllers and software system based on CAN bus communication for the cost saving and high reliability. The redesigned robot had just 16 DOFs. Preliminary performance test results showed that this new redesigned robot achieved in producing high quality of flute sound and high sound conversion efficiency, and the period of communication was about 4ms.

关键词： Robot kinematics Robot sensing systems Lungs Joints Legged locomotion control systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：