Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Logical Foundations of Cyber-Physical Systems, Platzer Andre


Варианты приобретения
Цена: 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


The Dyslexic Poet: Not to Mention a Great Autobiography

Автор: Platzer Tom
Название: The Dyslexic Poet: Not to Mention a Great Autobiography
ISBN: 1644160013 ISBN-13(EAN): 9781644160015
Издательство: Неизвестно
Рейтинг:
Цена: 15650.00 T
Наличие на складе: Невозможна поставка.
Описание: Life passes quickly. I guess you could say I am near the end of my life span. The experience I have had I would like to share. The poetry I have written is somewhat like a diary. A lot of it was written at crucial periods in my life. As I look back, my writing was significant at that time and proves to be somewhat of a time capsule. I hope you will enjoy the experience and maybe see things a little more differently. I guess you could say I was successful. I made it through life and achieved the things that most people want and need a lot of; it is just vanity. So, I lift my glass and salute the future and hope our new technology can overcome our current challenges, thus allowing a new freedom for those of us who endured the hardships of a learning disability.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия