Continuous time controller based on SMC and disturbance observer for piezoelectric actuators

Abstract – In this work, analog application for the Sliding Mode Control (SMC) to piezoelectric actuators (PEA) is presented. DSP application of the algorithm suffers from ADC and DAC conversions and mainly faces limitations in sampling time interval. Moreover piezoelectric actuators are known to have very large bandwidth close to the DSP operation frequency. Therefore, with the direct analog application, improvement of the performance and high frequency operation are expected. Design of an appropriate SMC together with a disturbance observer is suggested to have continuous control output and related experimental results for position tracking are presented with comparison of DSP and analog control application

On the Verification of a WiMax Design Using Symbolic Simulation

In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely check that a design transformation is correct in a reasonable amount of time, as the number of test patterns required to do so increase exponentially with the number of system state variables. In this paper, we propose a methodology for the verification of conformance of models generated at higher levels of abstraction in the design process to the design specifications. We model the system behavior using sequence of recurrence equations. We then use symbolic simulation together with equivalence checking and property checking techniques for design verification. Using our proposed method, we have verified the equivalence of three WiMax system models at different levels of design abstraction, and the correctness of various system properties on those models. Our symbolic modeling and verification experiments show that the proposed verification methodology provides performance advantage over its numerical counterpart.Comment: In Proceedings SCSS 2012, arXiv:1307.802

Xampling: Signal Acquisition and Processing in Union of Subspaces

We introduce Xampling, a unified framework for signal acquisition and processing of signals in a union of subspaces. The main functions of this framework are two. Analog compression that narrows down the input bandwidth prior to sampling with commercial devices. A nonlinear algorithm then detects the input subspace prior to conventional signal processing. A representative union model of spectrally-sparse signals serves as a test-case to study these Xampling functions. We adopt three metrics for the choice of analog compression: robustness to model mismatch, required hardware accuracy and software complexities. We conduct a comprehensive comparison between two sub-Nyquist acquisition strategies for spectrally-sparse signals, the random demodulator and the modulated wideband converter (MWC), in terms of these metrics and draw operative conclusions regarding the choice of analog compression. We then address lowrate signal processing and develop an algorithm for that purpose that enables convenient signal processing at sub-Nyquist rates from samples obtained by the MWC. We conclude by showing that a variety of other sampling approaches for different union classes fit nicely into our framework.Comment: 16 pages, 9 figures, submitted to IEEE for possible publicatio

Sub-Nyquist Sampling: Bridging Theory and Practice

Sampling theory encompasses all aspects related to the conversion of continuous-time signals to discrete streams of numbers. The famous Shannon-Nyquist theorem has become a landmark in the development of digital signal processing. In modern applications, an increasingly number of functions is being pushed forward to sophisticated software algorithms, leaving only those delicate finely-tuned tasks for the circuit level. In this paper, we review sampling strategies which target reduction of the ADC rate below Nyquist. Our survey covers classic works from the early 50's of the previous century through recent publications from the past several years. The prime focus is bridging theory and practice, that is to pinpoint the potential of sub-Nyquist strategies to emerge from the math to the hardware. In that spirit, we integrate contemporary theoretical viewpoints, which study signal modeling in a union of subspaces, together with a taste of practical aspects, namely how the avant-garde modalities boil down to concrete signal processing systems. Our hope is that this presentation style will attract the interest of both researchers and engineers in the hope of promoting the sub-Nyquist premise into practical applications, and encouraging further research into this exciting new frontier.Comment: 48 pages, 18 figures, to appear in IEEE Signal Processing Magazin

DeSyRe: on-Demand System Reliability

The DeSyRe project builds on-demand adaptive and reliable Systems-on-Chips (SoCs). As fabrication technology scales down, chips are becoming less reliable, thereby incurring increased power and performance costs for fault tolerance. To make matters worse, power density is becoming a significant limiting factor in SoC design, in general. In the face of such changes in the technological landscape, current solutions for fault tolerance are expected to introduce excessive overheads in future systems. Moreover, attempting to design and manufacture a totally defect and fault-free system, would impact heavily, even prohibitively, the design, manufacturing, and testing costs, as well as the system performance and power consumption. In this context, DeSyRe delivers a new generation of systems that are reliable by design at well-balanced power, performance, and design costs. In our attempt to reduce the overheads of fault-tolerance, only a small fraction of the chip is built to be fault-free. This fault-free part is then employed to manage the remaining fault-prone resources of the SoC. The DeSyRe framework is applied to two medical systems with high safety requirements (measured using the IEC 61508 functional safety standard) and tight power and performance constraints

Rotors on Active Magnetic Bearings: Modeling and Control Techniques

In the last decades the deeper and more detailed understanding of rotating machinery dynamic behavior facilitated the study and the design of several devices aiming at friction reduction, vibration damping and control, rotational speed increase and mechanical design optimization. Among these devices a promising technology is represented by active magnetic actuators which found a great spread in rotordynamics and in high precision applications due to (a) the absence of all fatigue and tribology issues motivated by the absence of contact, (b) the small sensitivity to the operating conditions, (c) the wide possibility of tuning even during operation, (d) the predictability of the behavior. This technology can be classified as a typical mechatronic product due to its nature which involves mechanical, electrical and control aspects, merging them in a single system. The attractive potential of active magnetic suspensions motivated a considerable research effort for the past decade focused mostly on electrical actuation subsystem and control strategies. Examples of application areas are: (a) Turbomachinery, (b) Vibration isolation, (c) Machine tools and electric drives, (d) Energy storing flywheels, (e) Instruments in space and physics, (f) Non-contacting suspensions for micro-techniques, (g) Identification and test equipment in rotordynamics. This chapter illustrates the design, the modeling, the experimental tests and validation of all the subsystems of a rotors on a five-axes active magnetic suspension. The mechanical, electrical, electronic and control strategies aspects are explained with a mechatronic approach evaluating all the interactions between them. The main goals of the manuscript are: • Illustrate the design and the modeling phases of a five-axes active magnetic suspension; • Discuss the design steps and the practical implementation of a standard suspension control strategy; • Introduce an off-line technique of electrical centering of the actuators; • Illustrate the design steps and the practical implementation of an online rotor selfcentering control technique. The experimental test rig is a shaft (Weight: 5.3 kg. Length: 0.5 m) supported by two radial and one axial cylindrical active magnetic bearings and powered by an asynchronous high frequency electric motor. The chapter starts on an overview of the most common technologies used to support rotors with a deep analysis of their advantages and drawbacks with respect to active magnetic bearings. Furthermore a discussion on magnetic suspensions state of the art is carried out highlighting the research efforts directions and the goals reached in the last years. In the central sections, a detailed description of each subsystem is performed along with the modeling steps. In particular the rotor is modeled with a FE code while the actuators are considered in a linearized model. The last sections of the chapter are focused on the control strategies design and the experimental tests. An off-line technique of actuators electrical centering is explained and its advantages are described in the control design context. This strategy can be summarized as follows. Knowing that: a) each actuation axis is composed by two electromagnets; b) each electromagnet needs a current closed-loop control; c) the bandwidth of this control is depending on the mechanical airgap, then the technique allows to obtain the same value of the closed-loop bandwidth of the current control of both the electromagnets of the same actuation axis. This approach improves performance and gives more steadiness to the control behavior. The decentralized approach of the control strategy allowing the full suspensions on five axes is illustrated from the design steps to the practical implementation on the control unit. Furthermore a selfcentering technique is described and implemented on the experimental test rig: this technique uses a mobile notch filter synchronous with the rotational speed and allows the rotor to spin around its mass center. The actuators are not forced to counteract the unbalance excitation avoiding saturations. Finally, the experimental tests are carried out on the rotor to validate the suspension control, the off-line electrical centering and the selfcentering technique. The numerical and experimental results are superimposed and compared to prove the effectiveness of the modeling approach