Teaching
From u-t-autonomous.info
Courses taught at the University of Texas at Austin:
- Verification and Synthesis for Cyberphysical Systems (Fall 2019), ASE 396 & CS 395T
- Feedback Control Systems (Spring 2019), ASE 370C (Canvas page)
- Verification and Synthesis for Cyberphysical Systems (Fall 2018), ASE 396 & CS 395T (Canvas page)
- Feedback Control Systems (Spring 2018), ASE 370C (Canvas page)
- Verification and Synthesis for Cyberphysical Systems (Fall 2017), ASE 396 & CS 395T (Canvas page)
- Flight Control Systems (Spring 2017), ASE 370L (Canvas page)
- Verification and Synthesis for Cyberphysical Systems (Fall 2015), ASE 396 & CS 395T
- Flight Control Systems (Spring 2016), ASE 370L
