الصفحة 1
الصفحة 1
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ; Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations.
Multirate Statistical Signal Processing
This book introduces a statistical theory for extracting information from signals that have di?erent sampling rates. This new theory generalizes the conventional (deterministic) theory of multirate systems beyond many of its constraints.Furthermore,itallowsfortheformulationofseveralnewproblems such as spectrum estimation, time-delay estimation and sensor fusion in the realm of multirate signal processing. I have arrived at the theory presented here by integrating concepts from diverse areas such as information theory, inverse problems and theory of - equalities. The process of merging a variety of concepts of di?erent origin results in both merits and shortcomings. The former include the fresh and - di?erentiated view of an amateur, providing scope of application. The latter include a lack of in-depth experience in each of the original ?elds. Granted, this may lead to gaps in continuity, however it goes without saying that a complete theory can seldom be achieved by one person and in a short time.
High-Resolution If-To-Baseband ΣΔ Adc For Car Radios
High-Resolution IF-to-Baseband SigmaDelta ADC for Car Radios addresses the theory, system level design and circuit implementation of a high-resolution continuous-time IF-to-baseband quadrature SigmaDelta ADC. The target application of this ADC is in AM/FM/IBOC car radios. The ADC achieves a dynamic range of 118dB, which eliminates the need for an IF VGA or AM channel filter in car radios.
FPGA Implementations of Neural Networks
During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, most of these efforts may be judged to have been unsuccessful: at no time have have ha- ware neurocomputers been in wide use. This lack of success may be largely attributed to the fact that earlier work was almost entirely aimed at developing custom neurocomputers, based on ASIC technology, but for such niche - eas this technology was never suf?ciently developed or competitive enough to justify large-scale adoption. On the other hand, gate-arrays of the period m- tioned were never large enough nor fast enough for serious arti?cial-neur- network (ANN) applications.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies : Process-Aware SRAM Design and Test
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies covers a broad range of topics related to SRAM design and test. From SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing.
Logic Synthesis for Compositional Microprogram Control Units
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices. A special class of control units named as compositional microprogram control units (CMCU) is proposed as the best way for interpretation of linear control algorithms.
Linear Systems
Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook. The book examines the fundamental properties that govern the behavior of systems by developing their mathematical descriptions. Linear time-invariant, time-varying, continuous-time, and discrete-time systems are covered. Rigorous development of classic and contemporary topics in linear systems, as well as extensive coverage of stability and polynomial matrix/fractional representation, provide the necessary foundation for further study of systems and control.
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Broadband Opto-Electrical Receivers in Standard CMOS
Broadband Opto-Electrical Receivers in Standard CMOS starts from the basic fundamentals, necessary for the design of opto-electronic interface circuits. The book continues with an in-depth analysis of the photodiode, transimpedance amplifier (TIA) and limiting amplifier (LA). To thoroughly understand the light detection mechanisms in silicon, first a one-dimensional and second a two-dimensional model is developed. Analytical design equations are derived to guide the design of the amplifying circuits. For the TIA, the focus lies on the sensitivity-speed trade-off. For the LA, a high gain-bandwidth is pursued. Several practical design examples reveal the subtleties and challenges encountered during the design of high-performance analog circuits.
BioMEMS
Here, a new discipline evolved which focuses on microsystems for living systems called "BIOMEMS". In this review at a glance the exciting field of bio-microsystems, from their beginnings to indicators of future successes are presented. It will also show that a broad penetration of micro and nano technologies into biology and medicine will be mandatory for future scientific and new product development progress in life science.
Analog integrated circuits for communication : principles, simulation and design
This book covers the analysis and design of nonlinear analog integrated circuits that form the basis of present-day communication systems. Both bipolar and MOS transistor circuits are analyzed and several numerical examples are used to illustrate the analysis and design techniques developed in this book.
Analog Design Essentials
The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great detail, such that lowest power consumption is always guaranteed. Many examples are included, operating at low supply voltages. Chapters on noise, distortion, filters, ADC/DACs and oscillators follow. These are all based on the extensive amount of teaching that the author has carried out both at universities and companies world-wide. All chapters have been drawn up specifically for self-study. They aim, however, at different levels of understanding. All start with elementary material. Most chapters also contain advanced material, especially from Chapter 9 onwards.
Advances in Design and Specification Languages for Embedded Systems : Selected Contributions from FDL’06
Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), which took place in September 2006 at Technische Universität Darmstadt, Germany. FDL, an ECSI conference, is the premier European forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains.
Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya
This volume presented at the Symposium on Systems, Control, and Networks.The chapters include recent results and surveys by leading experts on topics that reflect many of the research and teaching interests of Varaiya, including: hybrid systems and applications / communication, wireless, and sensor networks / transportation systems / stochastic systems / systems education
Advances in Ad Hoc and Sensor Networks
This volume provides a complete survey of the state-of-the-art research that encompasses all areas of ad hoc and sensor networks. These chapters focus on the theoretical and experimental study of advanced research topics involving security and trust, broadcasting and multicasting, power control and energy efficiency, and QoS provisioning.
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem.
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It concentrates on on-line algorithms whose adaptation occurs whenever a new sample of each environment signal is available. The material also illustrates block algorithms using a sub-band filtering framework whose adaptation occurs when a new block of data is available.
