Platzer Andre Logical Foundations of Cyber-Physical Systems 9783030096977

Варианты приобретения

Цена: 46570.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 193 шт.
При оформлении заказа до: 2025-10-27
Ориентировочная дата поставки: Декабрь
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Platzer Andre
Название: Logical Foundations of Cyber-Physical Systems
ISBN: 9783030096977
Издательство: Springer
Классификация:

Математические основы

Математическая логика

Техника автоматического регулирования

Системы охранной и пожарной сигнализации

Математическая теория вычислений

Искусственный интеллект

ISBN-10: 3030096971
Обложка/Формат: Paperback
Страницы: 639
Вес: 0.92 кг.
Дата издания: 08.02.2019
Язык: English
Издание: Softcover reprint of
Иллюстрации: 176 illustrations, color; 6 illustrations, black and white; xxxi, 639 p. 182 illus., 176 illus. in color.
Размер: 234 x 156 x 34
Читательская аудитория: General (us: trade)
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.
Дополнительное описание: Cyberphysical Systems: Introduction.- Differential Equations and Domains.- Choice and Control.- Safety and Contracts.- Dynamical Systems and Dynamic Axioms.- Truth and Proof.- Control Loops and Invariants.- Events and Responses.- Reactions and Delays.- Di

Logical Foundations of Cyber-Physical Systems, Platzer Andre