Browsing Electrical and Computer Engineering by Title
Now showing items 1895-1897 of 1897
-
Z3str4: A Solver for Theories over Strings
(University of Waterloo, 2021-06-15)Satisfiability Modulo Theories (SMT) solvers supporting rich theories of strings have facilitated numerous industrial applications with the need to reason about string operations and predicates that are present in many ... -
Zonal Energy Management and Optimization System (ZEMOS) for Smart Grid Applications
(University of Waterloo, 2014-08-15)In the context of implementing the smart grid, electric energy consumption, generation resources, should be managed and optimized in a way that saves energy, improves efficiency, enhances reliability and maintains security ... -
Zone-Distributed Optimization System for Energy Management in Smart Grids
(University of Waterloo, 2017-08-24)Energy management system (EMS) is an important component of smart grid operation. A proper EMS is the key to the integration of smart grid (SG) features, which include two-way communication, smart metering as well advanced ...