¥ 6,038 + 配送料無料
  • 参考価格: ¥ 6,121
  • OFF: ¥ 83 (1%)
残り2点 ご注文はお早めに 在庫状況について
この商品は、ブックデポジトリー (Book Depository) が販売、発送します。
¥ 6,038 + 配送料無料
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

Logical Foundations of Cyber-Physical Systems (英語) ハードカバー – 2018/8/11


その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
ハードカバー
¥ 6,038
¥ 6,038 ¥ 6,632
click to open popover

キャンペーンおよび追加情報

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容紹介

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.

著者について

André Platzer is an Associate Professor in the Computer Science Department at Carnegie Mellon University. He develops the logical foundations of cyberphysical systems to characterize their fundamental principles and to determine how we can trust computers to control physical processes. He has a Ph.D. from the University of Oldenburg, Germany. He received an ACM Doctoral Dissertation Honorable Mention and NSF Career Award, and he was named one of the Brilliant 10 Young Scientists by the Popular Science magazine and one of AI's 10 to Watch by the IEEE Intelligent Systems Magazine.


登録情報

  • ハードカバー: 639ページ
  • 出版社: Springer; 1st ed. 2018版 (2018/8/11)
  • 言語: 英語
  • ISBN-10: 3319635875
  • ISBN-13: 978-3319635873
  • 発売日: 2018/8/11
  • 商品パッケージの寸法: 15.5 x 3.7 x 23.5 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 洋書 - 66,608位 (洋書の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

まだカスタマーレビューはありません


この商品をレビュー

他のお客様にも意見を伝えましょう