245 10 |a Cyber-physical systems / |c Raj Rajkumar, Dionisio de Niz, Mark Klein = 信息物理系统 : 应用与原理 / 拉杰·拉杰库马尔, 迪奥尼西奥·德·尼茨, 马克·克莱恩著.

505 0_ |a Medical cyber-physical systems -- Energy cyber-physical systems -- Cyber-physical systems built on wireless sensor networks -- Symbolic synthesis for cyber-physical systems -- Software and platform issues in feedback control systems -- Logical correctness for hybrid systems -- Security of cyber-physical systems -- Synchronization in distributed cyber-physical systems -- Real-time scheduling for cyber-physical systems -- Model integration in cyber-physical systems.

520 __ |a "The next generation of mission-critical and embedded systems will be "cyber physical": They will demand the precisely 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 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."--back cover.