9780321926968

Cyber-Physical Systems

by ; ;
  • ISBN13:

    9780321926968

  • ISBN10:

    032192696X

  • Edition: 1st
  • Format: Hardcover
  • Copyright: 1/6/2017
  • Publisher: Addison-Wesley Professional
  • Purchase Benefits
  • Free Shipping On Orders Over $59!
    Your order must be $59 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $69.99 Save up to $10.50
  • Buy New
    $59.49
    Add to Cart Free Shipping

    NOT YET PRINTED. PLACE AN ORDER AND WE WILL SHIP IT AS SOON AS IT ARRIVES.

Supplemental Materials

What is included with this book?

  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

Summary

The next generation of mission-critical and embedded systems will be “cyber physical”: They will demand the exquisitely synchronized and seamless integration of complex sets of computational algorithms and physical components. Cyber-Physical Systems is the definitive guide to building cyber-physical systems (CPS) for a wide spectrum of engineering and computing applications.

 

Three pioneering experts have brought together the field’s most significant work in one volume that will be indispensable for all practitioners, researchers, and advanced students. This guide addresses CPS from multiple perspectives, drawing on extensive contributions from several leading researchers.

 

The authors and contributors review key CPS challenges and innovations in multiple application domains. Next, they describe the technical foundations underlying modern CPS solutions—both what we know and what we still need to learn. Throughout, the authors offer guiding principles for every facet of CPS development, from design and analysis to planning future innovations.

 

Comprehensive coverage includes

  • Understanding CPS drivers, challenges, foundations, and emerging directions
  • Building life-critical, context-aware, networked systems of medical devices
  • Creating energy grid systems that reduce costs and fully integrate renewables
  • Modeling complex interactions across cyber and physical domains
  • Synthesizing algorithms to enforce CPS control
  • Addressing space, time, energy, and reliability issues in CPS sensor networks
  • Applying advanced approaches to real-time scheduling
  • Securing CPS: preventing “man-in-the-middle” and other attacks
  • Ensuring logical correctness and simplifying verification
  • Enforcing synchronized communication between distributed agents
  • Using model-integration languages to define formal semantics for CPS models

Author Biography

Ragunathan (Raj) Rajkumar is the George Westinghouse Professor in Electrical and Computer Engineering at Carnegie Mellon University. Among other companies like TimeSys, he founded Ottomatika, Inc., which focused on software for self-driving vehicles and was acquired by Delphi. He has chaired several international conferences, has three patents, has authored a book and co-edited another, and has published more than 170 refereed papers in conferences and journals. He received a B.E. (Hons.) degree from the University of Madras, India, and M.S. and Ph.D. degrees from Carnegie Mellon University, Pittsburgh, Pennsylvania. His research interests include all aspects of cyber-physical systems.

 

Dionisio de Niz is a Principal Researcher at the Software Engineering Institute at Carnegie Mellon University. He received an M.S. in information networking from the Information Networking Institute and a Ph.D. in electrical and computer engineering from Carnegie Mellon University. His research interests include cyber-physical systems, real-time systems, and model-based engineering. In the real-time arena he has recently focused on multicore processors and mixed-criticality scheduling, and has led a number of projects on both fundamental research and applied research for the private industry and government organizations. He worked on the reference implementation and a commercial version of the Real-Time Java Specification.

 

Mark Klein is Senior Member of the Technical Staff at the Software Engineering Institute and is Technical Director of its Critical System Capabilities Directorate, which conducts research in cyber-physical systems and advanced mobile systems. His research has spanned various facets of software engineering, dependable real-time systems, and numerical methods. Klein’s most recent work focuses on design and analysis principles for systems at scale, including cyber-physical systems. He is co-author of many papers and three books: Ultra-Large-Scale Systems (Software Engineering Institute/Carnegie Mellon, 2006), Evaluating Software Architectures (Addison-Wesley, 2001), and A Practitioner’s Handbook for Real-Time Analysis (Springer, 1993).

Table of Contents

Introduction


Part I: Cyber-Physical System Application Domains

Chapter 1: Medical Cyber-Physical Systems

Chapter 2: Energy Cyber-Physical Systems

Chapter 3: Cyber-Physical Systems Built on Wireless Sensor Networks


Part II: Foundations

Chapter 4: Symbolic Synthesis for Cyber-Physical Systems

Chapter 5: Software and Platform Issues in Feedback Control Systems

Chapter 6: Logical Correctness for Hybrid Systems

Chapter 7: Security of Cyber-Physical Systems

Chapter 8: Synchronization in Distributed Cyber-Physical Systems

Chapter 9: Real-Time Scheduling for Cyber-Physical Systems

Chapter 10: Model Integration in Cyber-Physical Systems


About the Authors

About the Contributing Authors

Index

Rewards Program

Write a Review