{"title":"非线性动力系统的鲁棒完整控制综合工具","authors":"Yinan Li, Jun Liu","doi":"10.1145/3178126.3187006","DOIUrl":null,"url":null,"abstract":"This demo abstract presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a nonlinear system. The functionality and usability of ROCS will be illustrated through examples.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems\",\"authors\":\"Yinan Li, Jun Liu\",\"doi\":\"10.1145/3178126.3187006\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This demo abstract presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a nonlinear system. The functionality and usability of ROCS will be illustrated through examples.\",\"PeriodicalId\":131076,\"journal\":{\"name\":\"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-04-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3178126.3187006\",\"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 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3178126.3187006","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems
This demo abstract presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a nonlinear system. The functionality and usability of ROCS will be illustrated through examples.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
