控制系统的形式化建模和仿真环境

Proceedings 33rd Annual Simulation Symposium (SS 2000) Pub Date : 2000-04-16 DOI:10.1109/SIMSYM.2000.844903

Bernardo Copstein, Michael da Costa Móra, L. Ribeiro

{"title":"控制系统的形式化建模和仿真环境","authors":"Bernardo Copstein, Michael da Costa Móra, L. Ribeiro","doi":"10.1109/SIMSYM.2000.844903","DOIUrl":null,"url":null,"abstract":"The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows the formal modeling of control systems using graph grammars. In PLATUS, control systems are viewed as a collection of three distinct abstractions, that allow the system designer to keep the specification of control elements free of simulation aspects, providing the tools for formal system verification and code generation of real control systems, making the development of such systems a straightforward step from specification.","PeriodicalId":361153,"journal":{"name":"Proceedings 33rd Annual Simulation Symposium (SS 2000)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"An environment for formal modeling and simulation of control systems\",\"authors\":\"Bernardo Copstein, Michael da Costa Móra, L. Ribeiro\",\"doi\":\"10.1109/SIMSYM.2000.844903\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows the formal modeling of control systems using graph grammars. In PLATUS, control systems are viewed as a collection of three distinct abstractions, that allow the system designer to keep the specification of control elements free of simulation aspects, providing the tools for formal system verification and code generation of real control systems, making the development of such systems a straightforward step from specification.\",\"PeriodicalId\":361153,\"journal\":{\"name\":\"Proceedings 33rd Annual Simulation Symposium (SS 2000)\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-04-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 33rd Annual Simulation Symposium (SS 2000)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SIMSYM.2000.844903\",\"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 33rd Annual Simulation Symposium (SS 2000)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SIMSYM.2000.844903","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 17

摘要

本文的目的是介绍PLATUS仿真环境。PLATUS允许使用图语法对控制系统进行形式化建模。在PLATUS中，控制系统被视为三个不同抽象的集合，允许系统设计师保持控制元素的规范不受仿真方面的影响，为正式的系统验证和真实控制系统的代码生成提供工具，使此类系统的开发成为规范的直接步骤。

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

查看原文本刊更多论文

An environment for formal modeling and simulation of control systems

The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows the formal modeling of control systems using graph grammars. In PLATUS, control systems are viewed as a collection of three distinct abstractions, that allow the system designer to keep the specification of control elements free of simulation aspects, providing the tools for formal system verification and code generation of real control systems, making the development of such systems a straightforward step from specification.

求助全文

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

来源期刊

Proceedings 33rd Annual Simulation Symposium (SS 2000)

自引率

0.00%

发文量