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.
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 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
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.










