Synonyme wurden verwendet für:
mathematischer Beweis
Suche ohne Synonyme:
keywords:("mathematischer Beweis")
A compact navigation system using image processing and fuzzy control
A nonlinear small gain theorem for the analysis of control systems with saturation
Experiments illustrating the importance of automated reasoning
Formal methods and temporal safety requirements: A level crossing application
Minimum entropy static output-feedback control with an Hinfinity -norm performance bound
Optimization of linear control systems with assigned spectrum
Proving safety of a railway signalling system incorporating geographic data
Time-varying exponential stabilization of a rigid spacecraft with two control torques
Wheel torque proportioning, rear steering, and normal force control: a structural investigation