FPGA-based implementation of the back-EMF symmetric-threshold-tracking sensorless commutation method for brushless DC-machines

The operation of brushless DC permanent-magnet machines requires information of the rotor position to steer the semiconductor switches of the power-supply module which is commonly referred to as Brushless Commutation. Different sensorless techniques have been proposed to estimate the rotor position using current and voltage measurements of the machine. Detection of the back-electromotive force (EMF) zero-crossing moments is one of the methods most used to achieve sensorless control by predicting the commutation moments. Most of the techniques based on this phenomenon have the inherit disadvantage of an indirect detection of commutation moments. This is the result of the commutation moment occurring 30 electrical degrees after the zero-crossing of the induced back-emf in the unexcited phase. Often, the time difference between the zero crossing of the back-emf and the optimal current commutation is assumed constant. This assumption can be valid for steady-state operation, however a varying time difference should be taken into account during transient operation of the BLDC machine. This uncertainty degrades the performance of the drive during transients. To overcome this problem which improves the performance while keeping the simplicity of the back-emf zero-crossing detection method an enhancement is proposed. The proposed sensorless method operates parameterless in a way it uses none of the brushless dc-machine parameters. In this paper different aspects of experimental implementation of the new method as well as various aspects of the FPGA programming are discussed. Proposed control method is implemented within a Xilinx Spartan 3E XC3S500E board

Experimental study of digital image processing techniques for LANDSAT data

The author has identified the following significant results. Results are reported for: (1) subscene registration, (2) full scene rectification and registration, (3) resampling techniques, (4) and ground control point (GCP) extraction. Subscenes (354 pixels x 234 lines) were registered to approximately 1/4 pixel accuracy and evaluated by change detection imagery for three cases: (1) bulk data registration, (2) precision correction of a reference subscene using GCP data, and (3) independently precision processed subscenes. Full scene rectification and registration results were evaluated by using a correlation technique to measure registration errors of 0.3 pixel rms thoughout the full scene. Resampling evaluations of nearest neighbor and TRW cubic convolution processed data included change detection imagery and feature classification. Resampled data were also evaluated for an MSS scene containing specular solar reflections

Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

Precision Pointing Control System (PPCS) system design and analysis

The precision pointing control system (PPCS) is an integrated system for precision attitude determination and orientation of gimbaled experiment platforms. The PPCS concept configures the system to perform orientation of up to six independent gimbaled experiment platforms to design goal accuracy of 0.001 degrees, and to operate in conjunction with a three-axis stabilized earth-oriented spacecraft in orbits ranging from low altitude (200-2500 n.m., sun synchronous) to 24 hour geosynchronous, with a design goal life of 3 to 5 years. The system comprises two complementary functions: (1) attitude determination where the attitude of a defined set of body-fixed reference axes is determined relative to a known set of reference axes fixed in inertial space; and (2) pointing control where gimbal orientation is controlled, open-loop (without use of payload error/feedback) with respect to a defined set of body-fixed reference axes to produce pointing to a desired target