VLSI and Circuits, Embedded and Hardware Systems Commons^™

From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam

Rahul Mangharam

Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model’s verification at an early stage. The verified model must then be translated to a more detailed model for simulation-based testing and finally translated into executable code in a physical implementation. As later stages build on the same core model, it is essential that models used earlier in the pipeline are valid approximations of the more detailed models developed downstream. The focus of this effort is on the design and development of a model translation tool, UPP2SF, and …

Synthesis Of Mite Log-Domain Filters With Unique Operating Points, Shyam Subramanian, David Anderson, Paul Hasler, Bradley Minch

Bradley Minch

Practical log-domain filter circuits might have multiple operating points in regions in which the translinear element does not obey the exponential law. In this paper, a method is proposed to implement any filter by a log-domain circuit that necessarily has a unique operating point. Any state-space description of the filter is shown to have an equivalent description that can be implemented by such a circuit. This methodology is applied to the synthesis of multiple-input translinear element (MITE) filters. As an example, shifted-companion-form (SCF) filters are synthesized. Further, it is proved that the resulting filters have a unique operating point.

Switch Yard Operation In Thermal Power Plant(Katpp Jhalawar Rajasthan), Radhey Shyam Meena Er.

Radhey Shyam Meena

Switchyard Provides the facilities for switching ,protection & Control of electric power. To handle high Voltage power with proper Safety measures. To isolate the noises coming from the grid with true 50Hz power SWITCH YARD IS IMPORTANT PART IN THERMAL PLANT. IN KALISINDH THERMAL 400KV AND 220KV SWITCH YARD LOCATED.

Modeling And Simulation Of Z-Source Inverter, Suresh L

suresh L

Z – source inverters have been recently proposed as an alternative power conversion concept as they have both voltage buck and boost capabilities. These inverters use a unique impedance network, coupled between the power source and converter circuit, to provide both voltage buck and boost properties, which cannot be achieved with conventional voltage source and current source inverters. To facilitate understanding of Z – source inverter, this paper presents a detailed analysis, showing design of impedance network, implementation of simple Boost control PWM technique and simulation of Z – source inverter for different values of modulation indices.

Universal Computer Aided Design For Electrical Machines, Aravind Cv, Grace I, Rozita Teymourzadeh, Rajkumar R, Raj R, Wong Yv

Dr. Rozita Teymourzadeh, CEng.