Learn More
Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes the journal title. However, use of a template does not certify that the paper has been accepted for publication in the named journal. INFORMS journal templates are for the exclusive purpose of submitting to an INFORMS journal and should not be(More)
In many theme parks, stores are located within major attractions to sell related merchandise. Sales at such stores form a significant portion of theme park profits. Typically, store sales depend upon visitor flows through the attraction, customer satisfaction with the attraction, and the merchandise at the store. In addition, such stores constitute a unique(More)
This work proposes a new multiobjective modulated model predictive control (MPC) method for control of power electronic converters. The proposed method retains the advantages of conventional MPC methods in programing the nonlinear effects of the converter into the design calculations to improve the overall dynamic performance of the system and builds upon(More)
This paper describes the design of <i>traits</i>, abstract superclasses, in the verification-aware programming language Dafny. Although there is no inheritance among classes in Dafny, the traits make it possible to describe behavior common to several classes and to write code that abstracts over the particular classes involved. The design incorporates(More)
The College of Engineering offers graduate programs leading to the Master of Science and Doctor of Philosophy degrees. The Department of Electrical and Computer Engineering offers programs of study and research leading to the Master of Science degree in Electrical and Computer Engineering and the Doctor of Philosophy in Electrical and Computer Engineering.(More)
This paper presents an experimental comparative analysis of four very well-known Maximum Power Point Tracking algorithms in terms of their response to dynamic environmental conditions. In this paper, first the lab setup for generating the results is introduced. Then the four algorithms are discussed briefly and the performed experiments are introduced.(More)