Price loading...

Principles of Cyber-Physical Systems

Black

Architecture & Microprocessors

Price data last checked 101 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis 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.

Product Specifications

Colour: Black
Format: paperback
ASIN: 0262548925
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 15 August 2023
Listed Since: 07 July 2023

Barcode

No barcode data available

Principles of Cyber-Physical Systems

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Cyber-Physical Systems: Integrated Computing and Engineering Design

Cyber-physical Systems: Theory, Methodology, and Applications (IEEE Press)

Cyber-Physical Systems: From Theory to Practice

Principles of Cyber-Physical Systems: An Interdisciplinary Approach

Cyber-Physical Systems: A Computational Perspective

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

Cyber-Physical Systems: Advances in Design & Modelling: 259 (Studies in Systems, Decision and Control, 259)

Cyber-Physical Distributed Systems: Modeling, Reliability Analysis and Applications

Logical Foundations of Cyber-Physical Systems

Design, Applications, and Maintenance of Cyber-Physical Systems (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Design, Applications, and Maintenance of Cyber-Physical Systems

Cyber-Physical Systems: Foundations, Principles and Applications (Intelligent Data-Centric Systems)

Principles of Model Checking

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems

Introduction to Embedded Systems, Second Edition: A Cyber-Physical Systems Approach

Smart Cyber-Physical Power Systems, Volume 1: Fundamental Concepts, Challenges, and Solutions (IEEE Press Series on Power and Energy Systems)

Simplicity is Complex: Foundations of Cyber-Physical System Design

Cyber-Physical Systems: AI and COVID-19

Security and Privacy in Cyber-Physical Systems: Foundations, Principles, and Applications (IEEE Press)

Reconfigurable System Design and Verification

Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy (Stevens Institute Series on Complex Systems and Enterprises)

Multilayer Control of Networked Cyber-Physical Systems: Application to Monitoring, Autonomous and Robot Systems (Advances in Industrial Control)

Intelligent Edge Computing for Cyber Physical Applications (Intelligent Data-Centric Systems)

CyberPhysical Systems: Decision Making Mechanisms and Applications (River Publishers Series in Circuits and Systems)