Search for tag: "controller synthesis"

ECE/CS 584 Project Planning Discussion

Sample projects: Controller Synthesis -- Kristina Miller Black-box verification -- Dawei Sun

From  Sayan Mitra 15 plays 0  

Final project presentations (Day 1)

Project keywords: Multi-Pedestrian (Crowd) Detection and Path Prediction;Auto parking; Lane detection using electromagnetic signature;Implementation of Fast and Safe Controller Synthesis;Hand and…

From  Sayan Mitra 51 plays 0