Browsing Applied Mathematics by Subject "fixed-point iterations"
Now showing items 1-1 of 1
-
Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems
(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 ...