Roddy W. Erickson

  • Citations Per Year
Learn More
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–using a collection of mechanically supported specification and verification tools incorporated in a running system called AFFIRM. Although developed for the specification of(More)
This paper describes a simplified capacitor voltage balancing scheme for a modular matrix converter operating in two-level switching mode. The proposed scheme is based on the conventional space vector modulation technique. By using two additional space vectors having opposite direction, the proposed controller is able to regulate all nine capacitor voltages(More)
Language Issues An Object-Oriented Command Language ............................................ R. T. Snodgrass 1 A Symbol Table Abstraction to Implement Languages with Explicit Scope Control . . R. P. Cook and T. J. LeBlanc 8 Simulation of Procedure Variables Using Ada Tasks ......................... D. A. Lamb and P. N. Hilfinger 13 Language Features for(More)
In the design of a signal processing network, control system, or other analog system, it is usually necessary to work with frequency-dependent transfer functions and impedances, and to construct Bode diagrams. The Bode diagram is a log-log plot of the magnitude and phase of an impedance, transfer function, or other frequency-dependent complex-valued(More)