{"title":"MAESTRO语言及其环境:机器人任务的规范、验证和控制","authors":"È. Coste-Manière, Nicolas Turro","doi":"10.1109/IROS.1997.655107","DOIUrl":null,"url":null,"abstract":"We present a generic and yet efficient mission programming method for robotic systems. The MAESTRO programming language, directed towards the end-user, is defined to be integrated into various existing control architectures. Its development is based on the use of formal methods to fully benefit from their mathematical foundations. Subsequently, programs written in MAESTRO can be proven to be in conformity with their specification before they are executed. The programming of a representative underwater mission illustrates the features of MAESTRO and of its companion environment for specification, verification, simulation and control of robotic missions.","PeriodicalId":408848,"journal":{"name":"Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"36","resultStr":"{\"title\":\"The MAESTRO language and its environment: specification, validation and control of robotic missions\",\"authors\":\"È. Coste-Manière, Nicolas Turro\",\"doi\":\"10.1109/IROS.1997.655107\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a generic and yet efficient mission programming method for robotic systems. The MAESTRO programming language, directed towards the end-user, is defined to be integrated into various existing control architectures. Its development is based on the use of formal methods to fully benefit from their mathematical foundations. Subsequently, programs written in MAESTRO can be proven to be in conformity with their specification before they are executed. The programming of a representative underwater mission illustrates the features of MAESTRO and of its companion environment for specification, verification, simulation and control of robotic missions.\",\"PeriodicalId\":408848,\"journal\":{\"name\":\"Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-09-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"36\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IROS.1997.655107\",\"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 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IROS.1997.655107","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The MAESTRO language and its environment: specification, validation and control of robotic missions
We present a generic and yet efficient mission programming method for robotic systems. The MAESTRO programming language, directed towards the end-user, is defined to be integrated into various existing control architectures. Its development is based on the use of formal methods to fully benefit from their mathematical foundations. Subsequently, programs written in MAESTRO can be proven to be in conformity with their specification before they are executed. The programming of a representative underwater mission illustrates the features of MAESTRO and of its companion environment for specification, verification, simulation and control of robotic missions.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
