Browsing Mathematics (Faculty of) by Subject "control"
Now showing items 1-3 of 3
-
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 ... -
On the Control of Active End-nodes in the Smart Grid
(University of Waterloo, 2015-08-11)The electrical grid has substantially changed in recent years due to the integration of several disruptive load and generation technologies into low-voltage distribution networks, which are meant to smarten it and improve ... -
Time-Optimal Control of Closed Quantum Systems
(University of Waterloo, 2009-08-20)Recently there has been a lot of interest in the potential applications of performing computations on systems whose governing physical laws are quantum, rather than classical in nature. These quantum computers would have ...