Marvin H. M. Cheng

Learn More
RET paradigm. We plan to report on each of these aspects separately in future papers. For now, let a brief remark on each suuce. (terms, the equality relation, and a specialized form of atomic formula), and although term rewriting aims at computer executability, this eld of research has proceeded independently of logic programming. In this paper we have(More)
The Community Seismic Network and Quake-Catcher Network involve participants from communities at large to install low-cost accelerometers in houses and buildings for assessment of shaking intensity due to earthquakes. The seismometers are designed for two types of connections: a USB-connected device which connects to the host's computer, and a stand-alone(More)
This paper investigates motion synchronization of a multiple axes system. Three different control schemes: a cross-coupling controller in feedback loop, a linear qua-dratic optimal controller and an adaptive controller, were used to synthesize the synchronization compensator with the cross-coupling dynamics among the axes for both nominal and coefficient(More)