This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems.
This book focuses on domain-specific heterogeneous reconfigurable architectures, demonstrating for readers a computing platform which is flexible enough to support multiple standards, multiple modes, and multiple algorithms.
This book includes selected papers presented at the 3rd International Conference on Data Engineering and Communication Technology (ICDECT-2K19), held at Stanley College of Engineering and Technology for Women, Hyderabad, from 15 to 16 March 2019.
The 2024th edition of Robotics in Education is based on the 15th Conference on Robotics in Education (RiE2024) mirroring experts' knowledge from all over the world.
On the one side, Industrial competitiveness today means shorter product lifecycles, increased product variety, and shorter times to market and customized tangible products and services.
This book gathers outstanding papers presented at the 18th Annual Conference of China Electrotechnical Society, organized by China Electrotechnical Society (CES), held in Nanchang, China, from September 15 to 17, 2023.
This book features selected papers from the International Conference on Power Electronics and Renewable Energy Systems (ICPERES 2021), organized by SRM Institute of Science and Technology, Chennai, India, during April 2021.
The book covers the emerging communication and computational technologies for future cyber-physical systems and discusses the security of in-vehicle communication protocols using automotive embedded systems, presenting an in-depth analysis across various domains, such as manufacturing, transportation, health-care, and smart cities.
Efficient mobile systems that allow for vital sign monitoring and disease diagnosis at the point of care can help combat issues such as rising healthcare costs, treatment delays in remote and resource-poor areas, and the global shortage of skilled medical personnel.
This book introduces a family of large-signal stability-based control methods for different power inverters (grid-connected inverter, standalone inverter, single-phase inverter, and three-phase inverter) in practical applications.
Accessible to all readers, including students of secondary school and amateur technology enthusiasts, Robotics, Mechatronics, and Artificial Intelligence simplifies the process of finding basic circuits to perform simple tasks, such as how to control a DC or step motor, and provides instruction on creating moving robotic parts, such as an "e;eye"e; or an "e;ear.
A Concise Introduction to Robot Programming with ROS2 provides the reader with the concepts and tools necessary to bring a robot to life through programming.
Heavily updated and expanded, this second edition of Adrian Waygood's textbook provides an indispensable introduction to the science behind electrical engineering.
This book supports readers in the development of a remotely operated vehicle (ROV) pilot training simulator by exploiting open-source or free gaming software and emphasizing the importance of using established and widely-available game design techniques to provide engaging scenarios for ROV training developers and trainees.
Design Note Collection, the third book in the Analog Circuit Design series, is a comprehensive volume of applied circuit design solutions, providing elegant and practical design techniques.
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.
In the earlier stages of integrated circuit design, analog circuits consisted simply of type 741 operational amplifiers, and digital circuits of 7400-type gates.
This book provides a unified overview of network-on-chip router micro-architecture, the corresponding design opportunities and challenges, and existing solutions to overcome these challenges.
Aerial Robotic Workers: Design, Modeling, Control, Vision and Their Applications provides an in-depth look at both theory and practical applications surrounding the Aerial Robotic Worker (ARW).
Creating Precision Robots: A Project-Based Approach to the Study of Mechatronics and Robotics shows how to use a new "e;Cardboard Engineering technique for the handmade construction of three precision microcomputer controlled robots that hit, throw and shoot.
The design and fabrication of aptamer-based biosensors for point-of-care testing of disease diagnostic and prognostic is an upthrust and interdisciplinary area of research.
This book highlights and attempts to fill a crucial gap in the existing literature by providing a comprehensive exploration of the emerging field of neuro-symbolic AI.
This book is a collection of selected papers presented at the Second Congress on Intelligent Systems (CIS 2021), organized by Soft Computing Research Society and CHRIST (Deemed to be University), Bengaluru, India, during September 4 - 5, 2021.
Moore's law [Noy77], which predicted that the number of devices in- tegrated on a chip would be doubled every two years, was accurate for a number of years.
This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributions from SoC designers, academic researchers as well as SoC verification experts.
Except from the ForewordThe stated aim of the book series "e;Capturing Intelligence"e; is to publish books on research from all disciplines dealing with and affecting the issue of understanding and reproducing intelligence artificial systems.
This book provides in-depth results and case studies in innovation from actual work undertaken in collaboration with industry partners in Architecture, Engineering, and Construction (AEC).
