{"title":"基于行为的自主移动系统可靠性定义","authors":"J. Rudiger, A. Wagner, E. Badreddin","doi":"10.23919/ECC.2007.7068685","DOIUrl":null,"url":null,"abstract":"In this paper a formal definition for dependability of autonomous mobile systems is proposed. The presented concept is based on the framework of Willems. The definition for dependability aims at providing the system designer/architect with a method for analysing the dependability of autonomous mobile systems.","PeriodicalId":407048,"journal":{"name":"2007 European Control Conference (ECC)","volume":"2171 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":"{\"title\":\"Behavior based definition of dependability for autonomous mobile systems\",\"authors\":\"J. Rudiger, A. Wagner, E. Badreddin\",\"doi\":\"10.23919/ECC.2007.7068685\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper a formal definition for dependability of autonomous mobile systems is proposed. The presented concept is based on the framework of Willems. The definition for dependability aims at providing the system designer/architect with a method for analysing the dependability of autonomous mobile systems.\",\"PeriodicalId\":407048,\"journal\":{\"name\":\"2007 European Control Conference (ECC)\",\"volume\":\"2171 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-07-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"14\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 European Control Conference (ECC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.23919/ECC.2007.7068685\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 European Control Conference (ECC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.23919/ECC.2007.7068685","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Behavior based definition of dependability for autonomous mobile systems
In this paper a formal definition for dependability of autonomous mobile systems is proposed. The presented concept is based on the framework of Willems. The definition for dependability aims at providing the system designer/architect with a method for analysing the dependability of autonomous mobile systems.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
