机读格式显示(MARC)

• 000 01247nam0 2200265 450

• 001 0000846802

• 005 20251014080600.0

• 010 __ |a 978-7-111-77655-0 |d CNY39.00

• 100 __ |a 20250618d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 信息物理系统原理与设计 |A xin xi wu li xi tong yuan li yu she ji |b 专著 |f 张利国[等]编著

• 210 __ |a 北京 |c 机械工业出版社 |d 2024

• 215 __ |a 120页 |c 图 |d 26cm

• 300 __ |a 新一代信息技术(人工智能) 战略性新兴领域“十四五”高等教育系列教材 融媒体新形态教材

• 304 __ |a 编著者还有：詹璟原、邓恒、石睿

• 330 __ |a 本书主要讲述信息物理系统的基本原理，围绕系统建模、模型验证、系统设计与应用三方面进行介绍。在系统建模方面，概述自动机模型和常微分方程，进一步将两者结合，介绍混杂自动机模型和组合模型。在模型验证方面，讨论安全性需求和活性需求，进而介绍基于不变量的验证方法。在系统设计与应用方面，重点探讨信息物理系统面向自动驾驶车辆、多机器人系统、多旋翼飞行器和自主航天器的系统设计。

• 510 1_ |a Principle and design of cyber-physical systems |z eng

• 606 0_ |a 控制系统 |A Kong Zhi Xi Tong |x 高等教育 |j 教材

• 690 __ |a TP271 |v 5

• 701 _0 |a 张利国 |f (197?~) |A zhang li guo |4 编著

• 801 _0 |a CN |b WFKJXY |c 20251011

• 905 __ |a WFKJXY |d TP271/46