This volume of the Lecture Notes in Mobility series contains papers written by speakers at the 22nd International Forum on Advanced Microsystems for Automotive Applications (AMAA 2018) "Smart Systems for Clean, Safe and Shared Road Vehicles" that was held in Berlin, Germany in September 2018. The authors report about recent breakthroughs in electric and electronic components and systems, driver assistance, vehicle automation and electrification as well as data, clouds and machine learning. Furthermore, innovation aspects and impacts of connected and automated driving are covered. The target audience primarily comprises research experts and practitioners in industry and academia, but the book may also be beneficial for graduate students alike.

This book deals with the challenge of exploiting ambient vibrational energy which can be used to power small and low-power electronic devices, e.g. wireless sensor nodes. Generally, particularly for low voltage amplitudes, low-loss rectification is required to achieve high conversion efficiency. In the special case of piezoelectric energy harvesting, pulsed charge extraction has the potential to extract more power compared to a single rectifier. For this purpose, a fully autonomous CMOS integrated interface circuit for piezoelectric generators which fulfills these requirements is presented. Due to these key properties enabling universal usage, other CMOS designers working in the field of energy harvesting will be encouraged to use some of the shown structures for their own implementations. The book is unique in the sense that it highlights the design process from scratch to the final chip. Hence, it gives the designer a comprehensive guide of how to (i) setup an appropriate harvester model to get realistic simulation results, (ii) design the integrated circuits for low power operation, (iii) setup a laboratory measurement environment in order to extensively characterize the chip in combination with the real harvester and finally, (iv) interpret the simulation/measurement results in order to improve the chip performance. Since the dimensions of all devices (transistors, resistors etc.) are given, readers and other designers can easily re-use the presented circuit concepts.

This book reports on the latest advances and applications of chaotic systems. It consists of 25 contributed chapters by experts who are specialized in the various topics addressed in this book. The chapters cover a broad range of topics of chaotic systems such as chaos, hyperchaos, jerk systems, hyperjerk systems, conservative and dissipative systems, circulant chaotic systems, multi-scroll chaotic systems, finance chaotic system, highly chaotic systems, chaos control, chaos synchronization, circuit realization and applications of chaos theory in secure communications, mobile robot, memristors, cellular neural networks, etc. Special importance was given to chapters offering practical solutions, modeling and novel control methods for the recent research problems in chaos theory. This book will serve as a reference book for graduate students and researchers with a basic knowledge of chaos theory and control systems. The resulting design procedures on the chaotic systems are emphasized using MATLAB software.

"Advanced Theory of Constraint and Motion Analysis for Robot Mechanisms" provides a complete analytical approach to the invention of new robot mechanisms and the analysis of existing designs based on a unified mathematical description of the kinematic and geometric constraints of mechanisms.

Beginning with a high level introduction to mechanisms and components, the book moves on to present a new analytical theory of terminal constraints for use in the development of new spatial mechanisms and structures. It clearly describes the application of screw theory to kinematic problems and provides tools that students, engineers and researchers can use for investigation of critical factors such as workspace, dexterity and singularity.
Combines constraint and free motion analysis and design, offering a new approach to robot mechanism innovation and improvement.
Clearly describes the use of screw theory in robot kinematic analysis, allowing for concise representation of motion and static forces when compared to conventional analysis methods.
Includes worked examples to translate theory into practice and demonstrate the application of new analytical methods to critical robotics problems."

"New Approaches to Image Processing Based Failure Analysis of Nano-Scale ULSI Devices" introduces the reader to transmission and scanning microscope image processing for metal and non-metallic microstructures.

Engineers and scientists face the pressing problem in ULSI development and quality assurance: microscopy methods can t keep pace with the continuous shrinking of feature size in microelectronics. Nanometer scale sizes are below the resolution of light, and imaging these features is nearly impossible even with electron microscopes, due to image noise.

This book presents novel "smart" image processing methods, applications, and case studies concerning quality improvement of microscope images of microelectronic chips and process optimization. It explains an approach for high-resolution imaging of advanced metallization for micro- and nanoelectronics. This approach obviates the time-consuming preparation and selection of microscope measurement and sample conditions, enabling not only better electron-microscopic resolution, but also more efficient testing and quality control. This in turn leads to productivity gains in design and development of nano-scale ULSI chips.

The authors also present several approaches for super-resolving low-resolution images to improve failure analysis of microelectronic chips.
Acquaints users with new software-based approaches to enhance high-resolution microscope imaging of microchip structuresDemonstrates how these methods lead to productivity gains in the development of ULSI chipsPresents several techniques for the superresolution of images, enabling engineers and scientists to improve their results in failure analysis of microelectronic chips"

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.

Contents:

1. Parametric Timed Automata.2. The Inverse Method for Parametric Timed Automata.3. The Inverse Method in Practice: Application to Case Studies.4. Behavioral Cartography of Timed Automata.5. Parameter Synthesis for Hybrid Automata.6. Application to the Robustness Analysis of Scheduling Problems.7. Conclusion and Perspectives.

About the Authors

etienne Andre is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cite) in France. His current research interests focus on the verification of real-time systems.Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

This book discusses low power techniques for millimeter wave transmitter IC. Considerations for the front-end design are followed by several implementation examples in the 60GHz band in CMOS down to 28nm technology. Additionally, the design and implementation details of digitally-modulated millimeter wave polar transmitters are presented.

"Advances in Imaging and Electron Physics" merges two long-running serials--A"dvances in Electronics and Electron Physics" and "Advances in Optical and Electron Microscopy." This series features extended articles on the physics of electron devices (especially semiconductor devices), particle optics at high and low energies, microlithography, image science and digital image processing, electromagnetic wave propagation, electron microscopy, and the computing methods used in all these domains.
Contributions from leading authoritiesInforms and updates on all the latest developments in the field

This detailed volume presents a number of chapters that will aid researchers in jumping the hurdle preventing the popularization of advanced intravital imaging technology usage, namely the complicated experimental protocols. Leading researchers undertaking imaging studies in the field of bone and immune systems have contributed the chapters that aim to guide readers through these complex methodologies. Written for the highly successful Methods in Molecular Biology series, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls. Authoritative and practical, Intravital Imaging of Dynamic Bone and Immune Systems: Methods and Protocols will serve as an idea guide for general readers in order to establish and perform these experiments by their own.

This book presents a number of aspects to be considered in the development of disassembly automation, including the mechanical system, vision system and intelligent planner. The implementation of cognitive robotics increases the flexibility and degree of autonomy of the disassembly system. Disassembly, as a step in the treatment of end-of-life products, can allow the recovery of embodied value left within disposed products, as well as the appropriate separation of potentially-hazardous components. In the end-of-life treatment industry, disassembly has largely been limited to manual labor, which is expensive in developed countries. Automation is one possible solution for economic feasibility. The target audience primarily comprises researchers and experts in the field, but the book may also be beneficial for graduate students.

This book analyzes energy and reliability as major challenges faced by designers of computing frameworks in the nanometer technology regime. The authors describe the existing solutions to address these challenges and then reveal a new reconfigurable computing platform, which leverages high-density nanoscale memory for both data storage and computation to maximize the energy-efficiency and reliability. The energy and reliability benefits of this new paradigm are illustrated and the design challenges are discussed. Various hardware and software aspects of this exciting computing paradigm are described, particularly with respect to hardware-software co-designed frameworks, where the hardware unit can be reconfigured to mimic diverse application behavior. Finally, the energy-efficiency of the paradigm described is compared with other, well-known reconfigurable computing platforms.

Computational Intelligence in Biomedical Imaging is a comprehensive overview of the state-of-the-art computational intelligence research and technologies in biomedical images with emphasis on biomedical decision making. Biomedical imaging offers useful information on patients' medical conditions and clues to causes of their symptoms and diseases. Biomedical images, however, provide a large number of images which physicians must interpret. Therefore, computer aids are demanded and become indispensable in physicians' decision making. This book discusses major technical advancements and research findings in the field of computational intelligence in biomedical imaging, for example, computational intelligence in computer-aided diagnosis for breast cancer, prostate cancer, and brain disease, in lung function analysis, and in radiation therapy. The book examines technologies and studies that have reached the practical level, and those technologies that are becoming available in clinical practices in hospitals rapidly such as computational intelligence in computer-aided diagnosis, biological image analysis, and computer-aided surgery and therapy.

Systems with mechanical degrees of freedom containing unstable objects are analysed in this monograph and algorithms for their control are developed, discussed, and numerically tested. This is achieved by identifying unstable modes of motion and using all available resources to suppress them. By using this approach the region of states from which a stable regime can be reached is maximised. The systems discussed in this book are models for pendula and vehicles and find applications in mechatronics, robotics as well as in mechanical and automotive engineering.

This book highlights technology trends and challenges that trace the evolution of antenna design, starting from 3rd generation phones and moving towards the latest release of LTE-A. The authors explore how the simple monopole and whip antenna from the GSM years have evolved towards what we have today, an antenna design that is compact, multi-band in nature and caters to multiple elements on the same patch to provide high throughput connectivity. The scope of the book targets a broad range of subjects, including the microstrip antenna, PIFA antenna, and the monopole antenna to be used for different applications over three different mobile generations. Beyond that, the authors take a step into the future and look at antenna requirements for 5G communications, which already has the 5G drive in place with prominent scenarios and use-cases emerging. They examine these, and put in place the challenges that lie ahead for antenna design, particularly in mm-Wave design. The book provides a reference for practicing engineers and under/post graduate students working in this field.

This book presents approaches to address key challenges based on a vehicle level view and with a special emphasis on Drive-by-Wire systems. The design and testing of modern vehicle electronics are becoming more and more demanding due to increasing interdependencies among components and the safety criticality of tasks. The development towards Drive-by-Wire functionalities in vehicles with multiple actuators for vehicle control further increases the challenge. The book explicitly takes into account the interactions between components and aims at bridging the gap between the need to generate additional customer benefits and the effort to achieve functional safety. The book follows a twofold approach: on the one side, it presents a toolchain to support efficient further development of novel functionalities for Drive-by-Wire vehicles. The toolchain comprises appropriate software tools and scaled and full-scale experimental vehicles. On the other side, development towards functionally safe and flexible Drive-by-Wire vehicles is addressed by proposing a top-down designed architecture for vehicle electronics that is enabled by suitable mechanisms. The resulting goal achievement with regard to functional safety is evaluated based on a novel hierarchical approach.

This textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system) to obtain sophisticated measurements usually requiring expensive equipment. It emphasizes the use of free, open source, and multiplatform software. Many commercial acoustical measurement systems use software algorithms as an integral component; however the methods are not disclosed. This book enables the reader to develop useful algorithms and provides insight into the use of digital audio editing tools to document features in the signal. Topics covered include acoustical measurement principles, in-depth critical study of uncertainty applied to acoustical measurements, digital signal processing from the basics, and metrologically-oriented spectral and statistical analysis of signals. The student will gain a deep understanding of the use of software for measurement purposes; the ability to implement software-based measurement systems; familiarity with the hardware necessary to acquire and store signals; an appreciation for the key issue of long-term preservation of signals; and a full grasp of the often neglected issue of uncertainty in acoustical measurements. Pedagogical features include in-text worked-out examples, end-of-chapter problems, a glossary of metrology terms, and extensive appendices covering statistics, proofs, additional examples, file formats, and underlying theory.

Three dimensional (3D) optical geometries are becoming more common in the literature and lexicon of solar cells. "Three Dimensional Solar Cells Based on Optical Confinement Geometries" describes and reveals the basic operational nuances of 3D photovoltaics using three standard tools: Equivalent Circuit Models, Ray Tracing Optics in the Cavity, and Absorber Spectral Response. These tools aide in understanding experimental absorption profile and device parameters including Jsc, Voc, Fill Factor, and EQE. These methods also apply to individual optical confinement geometry device, integrated optical confinement geometry device, and hybrid optical confinement geometry device.
Additionally, this book discusses the importance of these methods in achieving the goal of high efficiency solar cells and suggests a possible application in large-scale photovoltaics business, like solar farms.

This monograph solely investigates the Einstein's Photoemission(EP) from Heavily Doped(HD) Quantized Structures on the basis of newly formulated electron dispersion laws. The materials considered are quantized structures of HD non-linear optical, III-V, II-VI, Ge, Te, Platinum Antimonide, stressed materials, GaP, Gallium Antimonide, II-V, Bismuth Telluride together with various types of HD superlattices and their Quantized counterparts respectively. The EP in HD opto-electronic materials and their nanostructures is studied in the presence of strong light waves and intense electric fields that control the studies of such quantum effect devices. The suggestions for the experimental determinations of different important physical quantities in HD 2D and 3D materials and the importance of measurement of band gap in HD optoelectronic materials under intense built-in electric field in nano devices and strong external photo excitation (for measuring physical properties in the presence of intense light waves which alter the electron energy spectra) have also been discussed in this context. The influence quantizing magnetic field, on the EP of the different HD quantized structures (quantum wells, quantum well HD superlattices and nipi structures) under different physical conditions has been investigated. This monograph contains 100 open research problems which form the integral part of the text and are useful for both Ph.D aspirants and researchers in the fields of materials science, condensed matter physics, solid-state sciences, nano-science and technology and allied fields in addition to the graduate courses in modern semiconductor nanostructures offered in different Universities and Institutes.

Wireless Body Area Networks (WBANs) are expected to promote new applications for the ambulatory health monitoring of chronic patients and elderly population, aiming to improve their quality of life and independence. These networks are composed by wireless sensor nodes (WSNs) used for measuring physiological variables (e.g., glucose level in blood or body temperature) or controlling therapeutic devices (e.g., implanted insulin pumps). These nodes should exhibit a high degree of energy autonomy in order to extend their battery lifetime or even make the node supply to rely on harvesting techniques. Typically, the power budget of WSNs is dominated by the wireless link and, hence, many efforts have been directed during the last years toward the implementation of power efficient transceivers.

Because of the short range (typically no more than a few meters) and low data rate (typically in between 10 kb/s and 1 Mb/s), simple communication protocols can be employed. One of these protocols, specifically tailored for WBAN applications, is the Bluetooth low energy (BLE) standard.

This book describes the challenges and solutions for the design of ultra-low power transceivers for WBANs applications and presents the implementation details of a BLE transceiver prototype. Coverage includes not only the main concepts and architectures for achieving low power consumption, but also the details of the circuit design and its implementation in a standard CMOS technology."

This volume presents the outcome of the second forum to cable-driven parallel robots, bringing the cable robot community together. It shows the new ideas of the active researchers developing cable-driven robots. The book presents the state of the art, including both summarizing contributions as well as latest research and future options. The book cover all topics which are essential for cable-driven robots: Classification Kinematics, Workspace and Singularity Analysis Statics and Dynamics Cable Modeling Control and Calibration Design Methodology Hardware Development Experimental Evaluation Prototypes, Application Reports and new Application concepts.

This thesis describes novel approaches and implementation of high-resolution microscopy in the extreme ultraviolet light regime. Using coherent ultrafast laser-generated short wavelength radiation for illuminating samples allows imaging beyond the resolution of visible-light microscopes. Michael Zurch gives a comprehensive overview of the fundamentals and techniques involved, starting from the laser-based frequency conversion scheme and its technical implementation as well as general considerations of diffraction-based imaging at nanoscopic spatial resolution. Experiments on digital in-line holography and coherent diffraction imaging of artificial and biologic specimens are demonstrated and discussed in this book. In the field of biologic imaging, a novel award-winning cell classification scheme and its first experimental application for identifying breast cancer cells are introduced. Finally, this book presents a newly developed technique of generating structured illumination by means of so-called optical vortex beams in the extreme ultraviolet regime and proposes its general usability for super-resolution imaging.

This book proposes a combination of cognitive modeling with model-based user interface development to tackle the problem of maintaining the usability of applications that target several device types at once (e.g., desktop PC, smart phone, smart TV). Model-based applications provide interesting meta-information about the elements of the user interface (UI) that are accessible through computational introspection. Cognitive user models can capitalize on this meta-information to provide improved predictions of the interaction behavior of future human users of applications under development. In order to achieve this, cognitive processes that link UI properties to usability aspects like effectiveness (user error) and efficiency (task completion time) are established empirically, are explained through cognitive modeling, and are validated in the course of this treatise. In the case of user error, the book develops an extended model of sequential action control based on the Memory for Goals theory and it is confirmed in different behavioral domains and experimental paradigms. This new model of user cognition and behavior is implemented using the MeMo workbench and integrated with the model-based application framework MASP in order to provide automated usability predictions from early software development stages on. Finally, the validity of the resulting integrated system is confirmed by empirical data from a new application, eliciting unexpected behavioral patterns.

From traditional techniques such as FSK, BPSK, QPSK and QAM to state-of-the-art techniques such as MSK, CPM and MHPM and more, this text covers the complete range of digital modulation methods. It discusses the historical background of digital modulation, and examines operation principles, symbol and bit error performance, and spectral characteristics. It also includes block diagrams and/or circuits of modulators, demodulators, carrier recovery, clock recovery and comparison with other schemes. In its comprehensive overview of digital modulation applications, it seeks to offer a practical understanding of conventional, fixed microwave terrestrial communications, mobile wireless, and mobile satellite communications.

Lasers have a wide and growing range of applications in medicine. Lasers for Medical Applications summarises the wealth of recent research on the principles, technologies and application of lasers in diagnostics, therapy and surgery.
Part one gives an overview of the use of lasers in medicine, key principles of lasers and radiation interactions with tissue. To understand the wide diversity and therefore the large possible choice of these devices for a specific diagnosis or treatment, the respective types of the laser (solid state, gas, dye, and semiconductor) are reviewed in part two. Part three describes diagnostic laser methods, for example optical coherence tomography, spectroscopy, optical biopsy, and time-resolved fluorescence polarization spectroscopy. Those methods help doctors to refine the scope of involvement of the particular body part or, for example, to specify the extent of a tumor. Part four concentrates on the therapeutic applications of laser radiation in particular branches of medicine, including ophthalmology, dermatology, cardiology, urology, gynecology, otorhinolaryngology (ORL), neurology, dentistry, orthopaedic surgery and cancer therapy, as well as laser coatings of implants. The final chapter includes the safety precautions with which the staff working with laser instruments must be familiar.
With its distinguished editor and international team of contributors, this important book summarizes international achievements in the field of laser applications in medicine in the past 50 years. It provides a valuable contribution to laser medicine by outstanding experts in medicine and engineering.
Describes the interaction of laser light with tissueReviews every type of laser used in medicine: solid state, gas, dye and semiconductorDescribes the use of lasers for diagnostics

This book presents the latest achievements in the theory and practice of SEMS Group interaction by scientists from the Russian Academy of Sciences. It also discusses the development of methods for the design and simulation of SEMS Group interaction based on the principles of safety, flexibility and adaptability in behavior and intelligence and parallelism in information processing, computation and control. Recently, the task has been to ensure the functioning of robots within the framework of collective collaboration, so that they function efficiently, reliably and safely in real time. The topics covered include, but are not limited to, the following: - the planning behavior of the SEMS group;- methods and principles of designing of automatic control systems;- mathematical and computer modeling group interaction;- safety, flexibility and adaptability of the SEMS Group;- information-measuring soft- and hardware. This book is intended for students, scientists and engineers specializing in the field of smart electromechanical systems and robotics.