FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
2009
Tactile Control: Fixation of Length for Artificial Chordae
IFMBE Proceedings
Springer Berlin Heidelberg
2009
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
IEEE
2009
Trajectory-Based Accurate Linearization of the 155mm Spin-Stabilized Projectile Dynamics
AIAA Modeling and Simulation Technologies Conference
American Institute of Aeronautics and Astronautics
2009
Observer-Based Output Feedback Control of Nonlinear Systems Non-Affine in the Unmeasured States
ASME 2009 Dynamic Systems and Control Conference, Volume 2
ASME
2009
Prediction-based observation of nonlinear systems non-affine in the unmeasured states
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference
IEEE
2009
Adaptive control for nonlinear uncertain systems with actuator amplitude and rate saturation constraints
International Journal of Adaptive Control and Signal Processing
2009
23
1
73-96
Comprehensive Optimization of Static/Dynamic Reactive Power for Receiving-end Network
Electric Power Automation Equipment
2009
29
3
32-35