A. Healey, D. Marco, P. Oliveira, A. Pascoal, V. Silva, C. Silvestre
{"title":"战略级任务控制——对任务控制规范的CORAL和PROLOG实现的评估","authors":"A. Healey, D. Marco, P. Oliveira, A. Pascoal, V. Silva, C. Silvestre","doi":"10.1109/AUV.1996.532408","DOIUrl":null,"url":null,"abstract":"This paper presents the use of the software programming environments PROLOG and CORAL for the implementation of the strategic level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule-based mission control specification language, CORAL builds on a graphical interface to describe mission programs using Petri nets. The paper describes the interfacing of CORAL with the tactical level of the vehicle, and details the programming and execution of a vehicle mission that was run in the NPS test tank.","PeriodicalId":274258,"journal":{"name":"Proceedings of Symposium on Autonomous Underwater Vehicle Technology","volume":"45 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications\",\"authors\":\"A. Healey, D. Marco, P. Oliveira, A. Pascoal, V. Silva, C. Silvestre\",\"doi\":\"10.1109/AUV.1996.532408\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents the use of the software programming environments PROLOG and CORAL for the implementation of the strategic level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule-based mission control specification language, CORAL builds on a graphical interface to describe mission programs using Petri nets. The paper describes the interfacing of CORAL with the tactical level of the vehicle, and details the programming and execution of a vehicle mission that was run in the NPS test tank.\",\"PeriodicalId\":274258,\"journal\":{\"name\":\"Proceedings of Symposium on Autonomous Underwater Vehicle Technology\",\"volume\":\"45 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-06-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of Symposium on Autonomous Underwater Vehicle Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AUV.1996.532408\",\"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 Symposium on Autonomous Underwater Vehicle Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AUV.1996.532408","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
This paper presents the use of the software programming environments PROLOG and CORAL for the implementation of the strategic level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule-based mission control specification language, CORAL builds on a graphical interface to describe mission programs using Petri nets. The paper describes the interfacing of CORAL with the tactical level of the vehicle, and details the programming and execution of a vehicle mission that was run in the NPS test tank.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
