消息 首页 搜索 举报
  • 现货Formal Verification of Control System Software (Princeton Series in Applied Mathematics, 58)[9780691181301]
21年品牌 40万+商家 超1.5亿件商品

现货Formal Verification of Control System Software (Princeton Series in Applied Mathematics, 58)[9780691181301]

￥ 507 九五品

库存3件

上海宝山
认证卖家担保交易快速发货售后保障

作者Pierre-Lo?c Garoche

出版社Princeton University Press

ISBN9780691181301

出版时间2019-05

装帧精装

纸张其他

页数232页

正文语种英语

上书时间2023-01-13

环球外文图书专营店
已实名 已认证 进店 收藏店铺
  • 最新上架

   商品详情   

品相描述：九五品
商品描述
An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Lo?c Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase―as evidenced by autonomous cars, drones, and satellites and landers―the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

   相关推荐   

—  没有更多了  —

店铺评价
消息 首页 搜索

以下为对购买帮助不大的评价

此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP