Advances in Digitalization and Machine Learning for Integrated Building-Transportation Energy Systems examines the combined impact of buildings and transportation systems on energy demand and use. With a strong focus on AI and machine learning approaches, the book comprehensively discusses each part of the energy life cycle, considering source, grid, demand, storage, and usage. Opening with an introduction to smart buildings and intelligent transportation systems, the book presents the fundamentals of AI and its application in renewable energy sources, alongside the latest technological advances. Other topics presented include building occupants’ behavior and vehicle driving schedule with demand prediction and analysis, hybrid energy storages in buildings with AI, smart grid with energy digitalization, and prosumer-based P2P energy trading. The book concludes with discussions on blockchain technologies, IoT in smart grid operation, and the application of big data and cloud computing in integrated smart building-transportation energy systems. A smart and flexible energy system is essential for reaching Net Zero whilst keeping energy bills affordable. This title provides critical information to students, researchers and engineers wanting to understand, design, and implement flexible energy systems to meet the rising demand in electricity.

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures.
Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

This book focuses on the advanced control of reduced dc-link capacitance AC motor drives. Compared with the conventional AC motor drives, the reduced DC-link capacitance motor drives could reduce the cost, enhance the reliability and improve the power density. The control strategies proposed in this book are verified by experimental results, which include high power factor control, drive system stability control, beat phenomenon suppression, enhanced flux-weakening control, anti-overvoltage control, etc. The major features of this book are the systematic analysis, effective and optimized control of the practical issues in industry application, which could help readers to learn the reduced dc-link capacitance PMSM drives and promote the drive system application. This book could benefit researchers, engineers, and students in the field of AC motor drives.

This book focuses on the control strategies for gearless permanent magnet synchronous motor traction elevators. Both basic principles and experimental evaluation have been addressed. This is achieved by providing in-depth study on a number of major topics such as speed detection at low-speed operation, starting torque strategy based on dichotomy and staircase methods, fuzzy self-tuning method, MPC and ADRC, etc. The comprehensive and systematic treatment of control strategies for cost-effective gearless PMSM traction elevators and practical issues are the major features of the book, which is particularly suited for readers who are interested to learn the control strategies for cost-effective gearless PMSM traction elevators. The book benefits researchers, engineers, and graduate students in the fields of ac motor drives and control strategies for cost-effective gearless PMSM traction elevators, etc.