Browsing Theses by Subject "formal method"
Now showing items 1-1 of 1
-
Control of Non-deterministic Transition Systems for Linear Temporal Logic Specifications
(University of Waterloo, 2021-02-01)Consider the formal synthesis problem in the continuous dynamical systems. A systematic approach is the abstraction-based method: constructing an abstraction of the original continuous system in the discrete space, and ...