Visible to the public Biblio

Lipika Deka(Editor), Mashrur Chowdhury(Editor).  2018.  Transportation Cyber-Physical Systems. :348.
Transportation Cyber-Physical Systems provides current and future researchers, developers and practitioners with the latest thinking on the emerging interdisciplinary field of Transportation Cyber Physical Systems (TCPS). The book focuses on enhancing efficiency, reducing environmental stress, and meeting societal demands across the continually growing air, water and land transportation needs of both people and goods. Users will find a valuable resource that helps accelerate the research and development of transportation and mobility CPS-driven innovation for the security, reliability and stability of society at-large. The book integrates ideas from Transport and CPS experts and visionaries, consolidating the latest thinking on the topic. As cars, traffic lights and the built environment are becoming connected and augmented with embedded intelligence, it is important to understand how smart ecosystems that encompass hardware, software, and physical components can help sense the changing state of the real world.
Riccardo M.G Ferarri(Editor), André Teixeira(Editor).  2021.  Safety, Security and Privacy for Cyber-Physical Systems. Lecture Notes in Control and Information Sciences. 486:394.
This book presents an in-depth overview of recent work related to the safety, security, and privacy of cyber-physical systems (CPSs). It brings together contributions from leading researchers in networked control systems and closely related fields to discuss overarching aspects of safety, security, and privacy; characterization of attacks; and solutions to detecting and mitigating such attacks.
Sayan Mitra.  2021.  Verifying Cyber-Physical Systems A Path to Safe Autonomy.
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems. The book discusses such computer science concepts as undecidability and abstractions, alongside concepts from control theory including multiple Lyapunov functions and barrier certificates, all within a unified mathematical language. It explains algorithms for reachability analysis, counter-example guided abstraction refinement, and data-driven verification, as well as the key data structures that enable their effective implementation. Other topics include invariants, deductive verification, progress analysis, sensitivity analysis, simulation relations, fairness, model checking, satisfiability modulo theories, temporal logics, compositional reasoning, convergence analysis, asynchronous processes, and verification of black-box systems.The book provides more than twenty examples of cyber-physical verification, ranging from conceptual models to advanced driving-assist systems. Each chapter offers exercise problems; supporting materials, including slides, simulation code, additional exercises, and solutions are available on the book's website.
Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg.  2021.  Cyber-Physical Systems: A Model-Based Approach. :187.
Offers a unique perspective to gain the skills needed for learning, applying, and developing a wide range of scientific, engineering, and social knowledge that are key to engineering future systems Introduces key concepts from different areas in an efficient manner. The disciplines considered include physical modeling, control, hybrid systems, computational modeling, and game theory Focuses on modeling, and uses simulation rather than analytical methods to provide generality and avoid the need for specialized mathematical skills. Assumes very little mathematical prerequisites, and offers the opportunity to review and sharpen mathematical skills.
[Anonymous].  2020.  Survey on Education for Cyber-Physical Systems. IEEE Design & Test. 37(6)
Platzer, Andre.  2017.  Logical Foundations of Cyber-Physical Systems.

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.

This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects.

The book is supported with homework exercises, lecture videos, and slides.

Siozios, Kostas, Soudris, Dimitrios, Kosmatopoulos, Elias.  2017.  Cyber-Physical Systems: Decision Making Mechanisms and Applications.

As systems continue to evolve they rely less on human decision-making and more on computational intelligence. This trend in conjunction with the available technologies for providing advanced sensing, measurement, process control, and communication lead towards the new field of the CyberPhysical System (CPS). CyberPhysical systems are expected to play a major role in the design and development of future engineering platforms with new capabilities that far exceed today's levels of autonomy, functionality and usability. Although these systems exhibit remarkable characteristics, their design and implementation is a challenging issue, as numerous (heterogeneous) components and services have to be appropriately modeled and simulated together. The problem of designing efficient CPS becomes far more challenging in case the target system has to meet also real-time constraints.

CyberPhysical Systems: Decision Making Mechanisms and Applications describes essential theory, recent research and large-scale user cases that addresses urgent challenges in CPS architectures. In particular, it includes chapters on:

  • Decision making for large scale CPS
  • Modeling of CPS with emphasis at the control mechanisms
  • Hardware/software implementation of the control mechanisms
  • Fault-tolerant and reliability issues for the control mechanisms
  • CyberPhysical user-cases that incorporate challenging decision making
Liu, Chi Harold, Zhang, Yan.  2015.  Cyber Physical Systems: Architectures, Protocols and Applications. 22

Cyber Physical Systems: Architectures, Protocols and Applications helps you understand the basic principles and key supporting standards of CPS. It analyzes different CPS applications from the bottom up, extracting the common characters that form a vertical structure. It presents mobile sensing platforms and their applications toward interrelated paradigms, highlighting and briefly discussing different types of mobile sensing platforms and the functionalities they offer. It then looks at the naming, addressing, and profile services of CPS and proposes a middleware component to meet the requirements of dynamic applications and sensors/actuators deployment/configurations across different platforms.

Siddesh, Gaddadevara Matt, Deka, Ganesh Chandra, Srinivasa, Krishnarajanagar GopalaIyengar, Patnaik, Lalit Mohan.  2015.  Cyber-Physical Systems: A Computational Perspective.

In cyber-physical systems (CPS), sensors and embedded systems are networked together to monitor and manage a range of physical processes through a continuous feedback system. This allows distributed computing using wireless devices. Cyber-Physical Systems—A Computational Perspective examines various developments of CPS that are impacting our daily lives and sets the stage for future directions in this domain.

The book is divided into six sections. The first section covers the physical infrastructure required for CPS, including sensor networks and embedded systems. The second section addresses energy issues in CPS with the use of supercapacitors and reliability assessment. In the third section, the contributors describe the modeling of CPS as a network of robots and explore issues regarding the design of CPS. The fourth section focuses on the impact of ubiquitous computing and cloud computing in CPS and the fifth section discusses security and privacy issues in CPS. The final section covers the role of CPS in big data analytics, social network analysis, and healthcare.

As CPS are becoming more complex, pervasive, personalized, and dependable, they are moving beyond niche laboratories to real-life application areas, such as robotics, smart grids, green computing, and healthcare. This book provides you with a guide to current CPS research and development that will contribute to a "smarter" planet.

Rodrigues, Joel Jose PC, Stojmenovic, Ivan, Rawat, Danda B.  2015.  Cyber-physical systems: from theory to practice.

Cyber-Physical Systems: From Theory to Practice provides state-of-the-art research results and reports on emerging trends related to the science, technology, and engineering of CPS, including system architecture, development, modeling, simulation, security, privacy, trust, and energy efficiency. It presents the research results of esteemed professionals on cutting-edge advances in cyber-physical systems that include communications, computing, and control.

Khaitan, Siddhartha Kumar, McCalley, James D, Liu, Chen Ching.  2015.  Cyber physical systems approach to smart electric power grid.

This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids. The aim of this book is to help the reader gain insights into working of CPSs and understand their potential in transforming the power grids of tomorrow. This book will be useful for all those who are interested in design of cyber-physical systems, be they students or researchers in power systems, CPS modeling software developers, technical marketing professionals and business policy-makers.

Suzuki, Junichi, Boonma, Pruet, Omura, Shingo, Munehira, Toshimi.  2016.  Cloud-integrated Cyber-Physical Systems.

This book provides a medium for researchers and practitioners to understand the synergy of cloud computing with various technologies enabling cyber-physical systems. These technologies comprise sensor-actuator networks, Internet of Things, machine-to-machine communication, or Supervisory Control and Data Acquisition. The technologies are applied to agriculture, atmospheric engineering, automotive/avionics systems, biomedical monitoring, computer vision, emergency response, entertainment, energy engineering, environmental informatics, green engineering, healthcare, industrial process control, logistics and transportation, marine science, manufacturing, mechanical engineering, nanoscience, pervasive computing, prosthetics, robotics, smart garments, sports science, and surveillance.

Suh, Sang C, Tanik, U John, Carbone, John N, Eroglu, Abdullah.  2014.  Applied cyber-physical systems.

Applied Cyber-Physical Systems presents the latest methods and technologies in the area of cyber-physical systems including medical and biological applications. Cyber-physical systems (CPS) integrate computing and communication capabilities by monitoring, and controlling the physical systems via embedded hardware and computers.

This book brings together unique contributions from renowned experts on cyber-physical systems research and education with applications. It also addresses the major challenges in CPS, and then provides a resolution with various diverse applications as examples.

Advanced-level students and researchers focused on computer science, engineering and biomedicine will find this to be a useful secondary text book or reference, as will professionals working in this field.

Hu, Fei.  2013.  Cyber-physical systems: integrated computing and engineering design.

Cyber-Physical Systems: Integrated Computing and Engineering Design supplies comprehensive coverage of the principles and design of CPSs. It addresses the many challenges that must be overcome and outlines a roadmap of how to get there.

  • Emphasizes the integration of cyber computing and physical objects control
  • Covers important CPS theory foundations and models
  • Includes interesting case studies of several important civilian and health care applications that illustrate the CPS design process
  • Addresses the collaboration of the sensing and controlling of a physical system with robust software architecture
  • Explains how to account for random failure events that can occur in a real CPS environment

Presented in a systematic manner, the book begins by discussing the basic concept underlying CPSs and examining some challenging design issues. It then covers the most important design theories and modeling methods for a practical CPS. Next, it moves on to sensor-based CPSs, which use embedded sensors and actuators to interact with the physical world.

The text presents concrete CPS designs for popular civilian applications, including building and energy management. Reflecting the importance of human health care in society, it includes CPS examples of rehabilitation applications such as virtual reality-based disability recovery platforms.

Marwedel, Peter.  2006.  Embedded system design. 1

A unique feature of this textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This third edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems and the Internet of things, the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues.

Lee, Edward Ashford, Seshia, Sanjit A.  2016.  Introduction to embedded systems: A cyber-physical systems approach.

The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.

The second edition offers two new chapters, several new exercises, and other improvements. The book can be used as a textbook at the advanced undergraduate or introductory graduate level and as a professional reference for practicing engineers and computer scientists. Readers should have some familiarity with machine structures, computer programming, basic discrete mathematics and algorithms, and signals and systems.

Platzer, Andre.  2018.  Logical Foundations of Cyber-Physical Systems.

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.

Alur, Rajeev.  2015.  Principles of Cyber-Physical Systems.

A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals.

Ragunathan(Raj) Rajkumar, Dionisio de Niz, Mark Klein.  2017.  Cyber-Physical Systems.

The only book of its kind, Cyber-Physical Systems addresses CPS from three perspectives. First, it presents the challenges and innovations associated with this class of systems as they have arisen in a wide spectrum of application domains. Second, it describes the foundations that underlie CPS solutions, both in terms of what we know and emerging research challenges. Finally, it offers offer guiding principles for all levels, from specific design and analysis advice for practitioners to high-level perspectives that can guide the direction of new innovations.

Jensen, Jeff, Lee, Edward, A Seshia, Sanjit.  2014.  An Introductory Lab in Embedded and Cyber-Physical Systems.

The theme of this book is the exploration of embedded and cyber-physical systems not by resource constraints, but instead by their interactions with the physical world. While resource constraints are an important aspect of design, such constraints are part of every engineering discipline and give little insight into the interplay between computation and physical dynamics. We emphasize the basics of models, analysis tools, and design of embedded and cyber-physical systems. We guide in modeling of the physical world with continuous-time differential equations and modeling of computations using logic and discrete models such as state machines. These modeling techniques are evaluated through the use of meta-modeling, illuminating the interplay of practical design with formal models of systems that incorporate both physical dynamics and computation. We introduce formal techniques to specify and verify desired behavior. A combination of structured labs and design projects solidifies these concepts when applied to the design of embedded and cyber-physical systems with real-time and concurrent behaviors.