Tools: Simulink, TORCS, Simulink Coder, TrueTime
Models: Simulation black-box model.
In this project, I will connect my favorite modeling and control design tool, Simulink, to the car racing game, TORCS, to automate driving. Safety and correctness have the highest priority, but are difficult to guarantee with formal verification due to the complexity and hidden nature of black-box models. I will employ an automated testing technique based on formal logics to find bugs in our controller design. Finally I will generate C code of the controller automatically from Simulink and inspect the effect of real-time properties of the implementation on the control performance.
0 comments:
Post a Comment