Matthew Morley

Learn More
Synchronous programming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design(More)
The goal of this work is to support the validation of reactive programs that are written in synchronous languages such as lustre or esterel by promoting the twin aims of formal veriication and systematic testing. Much European industry already relies to a great extent on the design and safe implementation of reactive systems: customers and the public do(More)
Ground water beneath the U.S. Department of Energy Pantex Plant is contaminated with the high explosive RDX (hexahydro-1,3,5-trinitro-1,3,5 triazine). The USDOE Innovative Treatment and Remediation Demonstration (ITRD) program identified in situ oxidation by permanganate as a technology fit for further investigation. We evaluated the efficacy of KMnO(4) to(More)
Solid phase high explosive (HE) residues from munitions detonation may be a persistent source of soil and groundwater contamination at military training ranges. Saturated soil column tests were conducted to observe the dissolution behavior of individual components (RDX, HMX, and TNT) from two HE formulations (Comp B and C4). HE particles dissolved readily,(More)
This study presents a methodology based on Linear Programming for determining the optimal pump schedule on a 24-hour basis, considering as decision variables the continuous pump flow rates which are subsequently transformed into a discrete schedule. The methodology was applied on a case study derived from the benchmark Anytown network. To evaluate the LP(More)
Emerging contaminants in the water environment continues to be a strong research focus, as evidenced by the abundance of material published during 2004. This review summarizes peer-reviewed literature pertinent to the field of environmental engineering and science and related to analysis, occurrence, and fate of emerging chemical contaminants in the water(More)
This review summarizes peer-reviewed literature related to analysis, occurrence, and fate of emerging chemical contaminants in the water environment. The review focuses on the following broad categories of emerging contaminants: pharmaceuticals and personal care products (PPCPs); endocrine disrupting compounds (EDCs), including hormones, surfactants, and(More)