Martin Rau

From MaRDI portal
Person:2889226


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Verification of Closest Pair of Points Algorithms
Automated Reasoning
2022-11-09Paper
MATLAB -- Simulink -- Stateflow. Foundations, toolboxes, examples
 
2020-08-13Paper
Nonlinear adaptive state space control for a class of nonlinear systems with unknown parameters
Nonlinear control in the Year 2000
2012-06-04Paper


Research outcomes over time


This page was built for person: Martin Rau