Synonyms were used for:
mathematischer Beweis
Search without synonyms:
keywords:("mathematischer Beweis")
Wheel torque proportioning, rear steering, and normal force control: a structural investigation
Time-varying exponential stabilization of a rigid spacecraft with two control torques
Sensor selection techniques in device monitoring
Responsive and time-constrained reasoning in autonomous vehicles
Proving safety of a railway signalling system incorporating geographic data
Optimization of linear control systems with assigned spectrum
Minimum entropy static output-feedback control with an Hinfinity -norm performance bound
Formal methods and temporal safety requirements: A level crossing application
Experiments illustrating the importance of automated reasoning
A situated reasoning architecture for space-based repair and replace tasks
A nonlinear small gain theorem for the analysis of control systems with saturation
An efficiency-based capacity formulation: mathematical properties and practical implications
A model-based approach for organizing quantitative computations
A compact navigation system using image processing and fuzzy control