Verifying Cyber-Physical Systems-Computing and Information Technology-買書書 BuyBookBook
Roll over image to zoom in Click on image to zoom
Verifying Cyber-Physical Systems-Computing and Information Technology-買書書 BuyBookBook

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

Sayan Mitra (Author) ... more
Cyber Physical Systems Series (Series) ... more
Edition: US - Hardback
Price:
HK$480.00 HK$600.00
Stock:
Re-stocking soon
Product Info
English
312 pages • 18.42 x 23.5 x 2.03 cm
Approx. weight: 0.63 kg
Publication date: 16 Feb,2021
Barcode/ ISBN: 9780262044806 • The MIT Press
More books in English for Age -
Computing and Information Technology

Description

By: Sayan Mitra   | Series: Cyber Physical Systems Series 
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.

Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.

You may also like

Top Trending

View all
Dog Man 14: Dog Man: Big Jim Believes: A Graphic Novel (Dog Man #14)-Graphic novel / Comic book / Manga: genres-買書書 BuyBookBook
Dog Man 14: Dog Man: Big Jim Believes: A Graphic Novel (Dog Man #14)
HK$85.00 HK$150.00
In stock
Press Start! #17 The Super Jump Between Worlds! (Branches)-Children’s / Teenage fiction: Action and adventure stories-買書書 BuyBookBook
Press Start! #17 The Super Jump Between Worlds! (Branches)
HK$55.00 HK$98.00
In stock
The Humble Pie
The Humble Pie
From HK$56.00 HK$90.00
In stock
屁屁偵探動畫漫畫14 噗噗 守護傳說中的寶刀【首刷特贈屁屁偵探主君造型閃卡】
屁屁偵探動畫漫畫14 噗噗 守護傳說中的寶刀【首刷特贈屁屁偵探主君造型閃卡】
HK$63.00 HK$100.00
In stock
The Amazing Generation-Children’s / Teenage: Personal and social topics-買書書 BuyBookBook
The Amazing Generation
From HK$86.00 HK$135.00
In stock
普通兄妹的搞笑對決12：聖誕節禮物-Graphic novels/ Comic books/ Manga/ Cartoons-買書書 BuyBookBook
普通兄妹的搞笑對決12：聖誕節禮物
HK$81.00 HK$127.00
In stock
Darkstalker: A Graphic Novel (Wings of Fire: Legends Graphic Novel)
Darkstalker: A Graphic Novel (Wings of Fire: Legends Graphic Novel)
HK$99.00 HK$154.00
In stock
屁屁丹迪 10: 勇者鬥魔王! (Troll)-Graphic novels/ Comic books/ Manga/ Cartoons-買書書 BuyBookBook
屁屁丹迪 10: 勇者鬥魔王! (Troll)
From HK$63.00 HK$100.00
In stock
如何數到1-Children’s Educational: Mathematics/ science/ technology-買書書 BuyBookBook
如何數到 1
HK$77.00 HK$117.00
In stock
達克比與世界未解之謎2：摩艾搬運賽：復活節島失落文明的謎團研究-Graphic novels/ Comic books/ Manga/ Cartoons-買書書 BuyBookBook
達克比與世界未解之謎2：摩艾搬運賽：復活節島失落文明的謎團研究
HK$83.00 HK$127.00
In stock
Spy School Blackout
Spy School Blackout
HK$125.00 HK$190.00
In stock
豬先生和他的小小好朋友(新版)-Children’s / Teenage fiction: Relationship stories-買書書 BuyBookBook
豬先生和他的小小好朋友(新版)
HK$65.00 HK$100.00
In stock
Disney Zootopia 2 Ultimate Sticker Book
Disney Zootopia 2 Ultimate Sticker Book
HK$46.00 HK$70.00
In stock
Remarkably Bright Creatures
Remarkably Bright Creatures
From HK$85.00 HK$200.00
In stock
Disney Zootopia 2: The Junior Novelization-Children’s / Teenage fiction: General and modern fiction-買書書 BuyBookBook
Disney Zootopia 2: The Junior Novelization
HK$51.00 HK$80.00
In stock
Disney Zootopia: The Graphic Novel-Graphic novel / Comic book / Manga: genres-買書書 BuyBookBook
Disney Zootopia: The Graphic Novel
HK$51.00 HK$80.00
In stock
Zoo Crew (Disney Zootopia 2)-Children’s / Teenage fiction: General and modern fiction-買書書 BuyBookBook
Zoo Crew (Disney Zootopia 2)
From HK$38.00 HK$60.00
In stock
剛剛好的陪伴：相伴不相絆，陪青少年成為想要的自己 (尚瑞君簽名版)
剛剛好的陪伴：相伴不相絆，陪青少年成為想要的自己 (尚瑞君簽名版)
HK$103.00 HK$140.00
In stock
Dream Team (Disney Zootopia 2)-Children’s / Teenage fiction: General and modern fiction-買書書 BuyBookBook
Dream Team (Disney Zootopia 2)
HK$38.00 HK$60.00
In stock
Diary of a Wimpy Kid: Partypooper (Book 20)
Diary of a Wimpy Kid: Partypooper (Book 20)
HK$85.00 HK$210.00
In stock
The Legend of the Last Library-Children’s / Teenage fiction: Fantasy-買書書 BuyBookBook
The Legend of the Last Library
From HK$85.00 HK$189.00
In stock
Harry Potter #4 and the Goblet of Fire (Interactive Illustrated Edition)
Harry Potter #4 and the Goblet of Fire (Interactive Illustrated Edition)
HK$299.00 HK$630.00
In stock
The Anxious Generation
The Anxious Generation
From HK$83.00 HK$140.00
In stock
Guinness World Records 2026
Guinness World Records 2026
HK$195.00 HK$286.00
In stock
野貓軍團烤披薩 (工藤紀子)-Children’s picture books-買書書 BuyBookBook
野貓軍團烤披薩 (工藤紀子)
HK$65.00 HK$100.00
In stock
普通兄妹的搞笑對決 11: 鄉村生活-Graphic novels/ Comic books/ Manga/ Cartoons-買書書 BuyBookBook
普通兄妹的搞笑對決 11: 鄉村生活
HK$83.00 HK$127.00
In stock
InvestiGators: Agents of S.U.I.T. #02: From Badger to Worse (正版)(John Patrick Green)-Fiction: 幽默搞笑 Humorous-買書書 BuyBookBook
InvestiGators: Agents of S.U.I.T. #02: From Badger to Worse
HK$79.00 HK$99.00
In stock
Percy Jackson and the Olympians 5 Book Paperback Boxed Set (w/poster)
Percy Jackson and the Olympians 5 Book Paperback Boxed Set (w/poster)
HK$288.00 HK$450.00
In stock

Recently viewed