Modeling and Control of Discrete Event Systems Using Finite State Machines with Variables and Their Applications in Power Grids

Control theories for discrete event systems modeled as finite state machines have been well developed to address various fundamental control issues. However, finite state machine model has long suffered from the problem of state explosion that renders it unsuitable for some practical applications. In an attempt to mitigate the state explosion problem, we propose an efficient representation that appends finite sets of variables to finite state machines in modeling discrete event systems. We also present the control synthesis techniques for such finite state machines with variables (FSMwV). We first present our notion and means of control under this representation. We next present our algorithms for both offline and online synthesis of safety control policies. We then apply these results to the control of electric power grids

Management Of Plug-In Electric Vehicles And Renewable Energy Sources In Active Distribution Networks

Near 160 million customers in the U.S.A. are served via distribution networks (DNs). The increasing penetration level of renewable energy sources (RES) and plug-in electric vehicles (PEVs), the implementation of smart distribution technologies such as advanced metering/monitoring infrastructure, and the adoption of smart appliances, have changed distribution networks from passive to active. The next-generation of DNs should be efficient and optimized system-wide, highly reliable and robust, and capable of effectively managing highly-penetrated PEVs, RES and other controllable loads. To meet new challenges, the next-generation DNs need active distribution management (ADM). In this thesis, we study the management of PEVs and RES in active DNs. First, we propose a novel discrete-event modeling method to model PEVs and other loads in distribution networks. In addition, a new optimization algorithm to integrate as many PEVs as possible in DNs without causing voltage issues, including the violation of voltage security ranges and voltage stability, is studied. To further explore the active management of PEVs in the DNs, we develop a universal demonstration platform, consisting of software packages and hardware remote terminal units. The demonstration platform is designed with the capabilities of measurement, monitoring, control, automation, and communications. Furthermore, we have studied the reactive power management in microgrids, a special platform to integrate distributed generations and energy storage in DNs. To solve possible voltage security issues in a microgrid with high penetration of single-phase induction machines under the condition of fault-induced islanding, a voltage-sensitivity-based reactive power management algorithm is proposed

Synthesis and viability of minimally interventive legal controllers for hybrid systems

In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety specifications. CHMs are a fairly general class of hybrid systems modeled in modular fashion as the concurrent operation of Elementary Hybrid Machines (EHMs). The formalism has a welldefined synchronous-composition operation that permits the introduction of the controller as a component of the system. The task of a legal (safety) controller is to ensure that the system never exits a set of specified legal configurations. Among the legal controllers, we are particularly interested in designing a minimally-interventive (or minimally-restrictive) one, which interferes in the system's operation only when constraint violation is otherwise inevitable. Thus, a minimally-interventive safety controller provides maximum exibility inembedding additional controllers designed for other control objectives to operate concurrently, while eliminating the need to re-investigate or re-verify the legality of the composite controller with respect to the safety specification. We describe in detail an algorithm for controller synthesis and examine the viability of a synthesized controller as related to the possibility of Zenoness, where the system can undergo an unbounded number of transitions in a bounded length of time

Undergraduate course catalog (Florida International University). [2012-2013]

This catalog contains a description of the various policies, undergraduate programs, degree requirements, and course offerings at Florida International University during the 2012-2013 year.https://digitalcommons.fiu.edu/catalogs/1070/thumbnail.jp

GVSU Undergraduate and Graduate Bulletin, 1998-1999

Grand Valley State University 1998-1999 undergraduate and/or graduate bulletin published annually to provide students with information and guidance for enrollment.https://scholarworks.gvsu.edu/course_catalogs/1066/thumbnail.jp

GVSU Undergraduate and Graduate Catalog, 2011-2012

Grand Valley State University 2011-2012 undergraduate and/or graduate course catalog published annually to provide students with information and guidance for enrollment.https://scholarworks.gvsu.edu/course_catalogs/1086/thumbnail.jp