分布式系统离散控制器的综合工具

[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI:10.1109/FTDCS.1988.26697

V. Carchiolo, A. Faro, M. Malgeri

{"title":"分布式系统离散控制器的综合工具","authors":"V. Carchiolo, A. Faro, M. Malgeri","doi":"10.1109/FTDCS.1988.26697","DOIUrl":null,"url":null,"abstract":"Controllers belonging to the process class known as discrete-event processes are synthesized. These discrete-event processes are mainly characterized by asynchronous and nondeterministic behaviour. A tool is presented that features the use of a formal description technique as the starting point for the synthesis. The formal technique used by the tools is an extension of R. Milner's calculus for communicating systems. (1985).<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A tool for the synthesis of discrete controllers for distributed systems\",\"authors\":\"V. Carchiolo, A. Faro, M. Malgeri\",\"doi\":\"10.1109/FTDCS.1988.26697\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Controllers belonging to the process class known as discrete-event processes are synthesized. These discrete-event processes are mainly characterized by asynchronous and nondeterministic behaviour. A tool is presented that features the use of a formal description technique as the starting point for the synthesis. The formal technique used by the tools is an extension of R. Milner's calculus for communicating systems. (1985).<<ETX>>\",\"PeriodicalId\":384536,\"journal\":{\"name\":\"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTDCS.1988.26697\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTDCS.1988.26697","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

属于称为离散事件过程的过程类的控制器被合成。这些离散事件过程的主要特征是异步和不确定性行为。提出了一种工具，其特点是使用形式化描述技术作为合成的起点。这些工具使用的形式化技术是R. Milner的通信系统演算的扩展。(1985)。>

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

查看原文本刊更多论文

A tool for the synthesis of discrete controllers for distributed systems

Controllers belonging to the process class known as discrete-event processes are synthesized. These discrete-event processes are mainly characterized by asynchronous and nondeterministic behaviour. A tool is presented that features the use of a formal description technique as the starting point for the synthesis. The formal technique used by the tools is an extension of R. Milner's calculus for communicating systems. (1985).<>

求助全文

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

来源期刊

[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s

自引率

0.00%

发文量