实时离散事件过程的表述与控制

Proceedings of the 27th IEEE Conference on Decision and Control Pub Date : 1988-12-07 DOI:10.1109/CDC.1988.194493

Y. Brave, M. Heymann

{"title":"实时离散事件过程的表述与控制","authors":"Y. Brave, M. Heymann","doi":"10.1109/CDC.1988.194493","DOIUrl":null,"url":null,"abstract":"A discrete-event process is modeled as a controlled state machine, in the framework of D.J. Ramadge and W.M. Wohman (1986). Their approach is extended to model a class of real-time discrete-event processes by means of a special type of automaton, called a clock automaton. The clock automaton is used for decreasing the real-time behavior of processes, controllers, and real-time specifications.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"47","resultStr":"{\"title\":\"Formulation and control of real time discrete event processes\",\"authors\":\"Y. Brave, M. Heymann\",\"doi\":\"10.1109/CDC.1988.194493\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A discrete-event process is modeled as a controlled state machine, in the framework of D.J. Ramadge and W.M. Wohman (1986). Their approach is extended to model a class of real-time discrete-event processes by means of a special type of automaton, called a clock automaton. The clock automaton is used for decreasing the real-time behavior of processes, controllers, and real-time specifications.<<ETX>>\",\"PeriodicalId\":113534,\"journal\":{\"name\":\"Proceedings of the 27th IEEE Conference on Decision and Control\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-12-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"47\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 27th IEEE Conference on Decision and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.1988.194493\",\"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 27th IEEE Conference on Decision and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.1988.194493","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 47

摘要

在D.J. Ramadge和W.M. Wohman(1986)的框架中，离散事件过程被建模为受控状态机。他们的方法被扩展到通过一种称为时钟自动机的特殊类型的自动机来模拟一类实时离散事件过程。时钟自动机用于降低进程、控制器和实时规格的实时行为。

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

查看原文本刊更多论文

Formulation and control of real time discrete event processes

A discrete-event process is modeled as a controlled state machine, in the framework of D.J. Ramadge and W.M. Wohman (1986). Their approach is extended to model a class of real-time discrete-event processes by means of a special type of automaton, called a clock automaton. The clock automaton is used for decreasing the real-time behavior of processes, controllers, and real-time specifications.<>

求助全文

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

来源期刊

Proceedings of the 27th IEEE Conference on Decision and Control

自引率

0.00%

发文量