演示

Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19 Pub Date : 1900-01-01 DOI:10.1145/3313151.3313164

Radoslav Ivanov, James Weimer, O. Sokolsky, Insup Lee

{"title":"演示","authors":"Radoslav Ivanov, James Weimer, O. Sokolsky, Insup Lee","doi":"10.1145/3313151.3313164","DOIUrl":null,"url":null,"abstract":"This abstract presents Verisig, a scalable tool for verifying safety properties of closed-loop systems with neural network (NN) controllers. Verisig transforms the NN into an equivalent hybrid system and composes this hybrid system with the plant's. This abstract describes this transformation and outlines the tool's building blocks.","PeriodicalId":114532,"journal":{"name":"Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Demo\",\"authors\":\"Radoslav Ivanov, James Weimer, O. Sokolsky, Insup Lee\",\"doi\":\"10.1145/3313151.3313164\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This abstract presents Verisig, a scalable tool for verifying safety properties of closed-loop systems with neural network (NN) controllers. Verisig transforms the NN into an equivalent hybrid system and composes this hybrid system with the plant's. This abstract describes this transformation and outlines the tool's building blocks.\",\"PeriodicalId\":114532,\"journal\":{\"name\":\"Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3313151.3313164\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3313151.3313164","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Demo

This abstract presents Verisig, a scalable tool for verifying safety properties of closed-loop systems with neural network (NN) controllers. Verisig transforms the NN into an equivalent hybrid system and composes this hybrid system with the plant's. This abstract describes this transformation and outlines the tool's building blocks.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Workshop on Design Automation for CPS and IoT - DESTION '19

自引率

0.00%

发文量