Browsing Mathematics (Faculty of) by Author "Li, Yinan"
Now showing items 1-1 of 1
-
Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems
Li, Yinan (University of Waterloo, 2019-12-18)Modern systems such as spacecrafts and autonomous vehicles are complex yet safety-critical, and therefore the control methods that can deal with different dynamics and constraints while being provably correct are sought ...