Haiyang Zheng

Learn More
This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit: http://creativecommons.org/licenses/by-sa/3.0/, or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View,(More)
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the DE semantics. It shows that all three semantic models can be used in actor-oriented composition languages, and that despite the fact that CT is the most general, there are good(More)
Understanding Zeno phenomena plays an important role in understanding hybrid systems. A natural—and intriguing—question to ask is: what happens after a Zeno point? Inspired by the construction of [9], we propose a method for extending Zeno executions past a Zeno point for a class of hybrid systems: Lagrangian hybrid systems. We argue that after the Zeno(More)
Different models for monitoring wind farm power output are considered. Data mining and evolutionary computation are integrated for building the models for prediction and monitoring. Different models using wind speed as input to predict the total power output of a wind farm are compared and analyzed. The k-nearest neighbor model, combined with the principal(More)