Platform for Autonomous Vehicle based on Control System, Formal Verification, Tensorflow and ROS
About ten years ago, there was a mobile robot including SICK laser sensor and two Sony cameras on the top, solars and infrared sensors around the body, encoders with the wheels, for the most amazing, my classmates using a heavy mechanical gyro to calibrate the attitude! There were many interesting and profound control knowledage such as chained system, under