£60.42

Principles of Cyber-Physical Systems

Black

Architecture & Microprocessors

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£60 today · cheaper than every other day in the last 17 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 378 days • 378 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 378 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £64 (347 days, 91.8%)

Price range: £60 - £64

Price levels: 4 different prices over 378 days

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Cyber-Physical Systems: From Theory to Practice

Real-Time Systems Design and Analysis: Tools for the Practitioner

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

Reconfigurable System Design and Verification

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

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

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

Understanding Concurrent Systems (Texts in Computer Science)

Simplicity is Complex: Foundations of Cyber-Physical System Design

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

Cyber-Physical Systems: A Computational Perspective

Advances in Intelligent Control Systems and Computer Science: 187 (Advances in Intelligent Systems and Computing, 187)

Logical Foundations of Cyber-Physical Systems

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)

Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)

Nature-Inspired Networking: Theory and Applications

Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)

Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification (Embedded Multi-Core Systems)

Principles of Cyber-Physical Systems: An Interdisciplinary Approach

Tools and Technologies for the Development of Cyber-Physical Systems

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

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Cyber-Physical Systems: Integrated Computing and Engineering Design

Fault-Tolerant Design and Control of Automated Vehicles and Processes: Insights for the Synthesis of Intelligent Systems: 201 (Studies in Systems, Decision and Control, 201)