Ostro#, J.S. Synthesis of Controllers for real-time discrete event systems. IEEE Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....automata and formal languages, was proposed by Ramadge and Wonham [11, 10] This theory (RW theory) may be used to synthesize a controller when the DES and the control specifications are both modeled as generators of formal languages. The controller enforces the specifications on the DES. Ostro# [7, 8] proposed a framework based on Timed Transition Model (TTM) and Real Time Temporal Logic (RTTL) for synthesizing controllers for RDES. Given a RDES modeled using TTM, and the control specifications expressed using RTTL, the controller may be synthesized using the Controller Design Procedure (CDP) ....

....framework based on Timed Transition Model (TTM) and Real Time Temporal Logic (RTTL) for synthesizing controllers for RDES. Given a RDES modeled using TTM, and the control specifications expressed using RTTL, the controller may be synthesized using the Controller Design Procedure (CDP) described in [7]. Brandin and Wonham [2] show how the RW theory may be used for RDES. It is important to emphasize that these techniques employ a constructive approach in contrast to a verification based approach for synthesizing controllers. A constructive approach aims to synthesize a controller that is correct ....

[Article contains additional citation context not shown here]

J. S. Ostro#. Synthesis of controllers for real-time discrete event systems. In Proceedings of the IEEE 28th conference on Decision and Control, pages 138--144, 1989.

....attempt to bridge such gap. For the failure diagnosis problem of DES, temporal logic provides an e ective means of 2 speci cation. The translation of a natural language speci cation into temporal logic one is quite straightforward. Temporal logic has been used in the analysis and control of DES [26, 16, 19, 20, 1, 15, 25, 14]; and it has also been used as a modeling formalism for diagnosing DESs in [7] However, to the best knowledge of the authors, no result exists for the failure diagnosis of DESs with temporal logic speci cations. In this paper, we study the failure diagnosis problem for systems with linear time ....

J. S. Ostro. Synthesis of controllers for real-time discrete event systems. 28th IEEE Conference on Decision and Control, Tampa, Florid, Dec. 1989.

....of control speci cation. The translation of a natural language speci cation into temporal logic one is quite straightforward. Temporal logic has been used for expressing control speci cations of discrete event systems in past. For example, 23, 14, 15, 16] uses linear time temporal logic (LTL) [17] uses real time temporal logic (RTTL) 2] uses metric temporal logic (MTL) both RTTL and MTL are LTL with real time constraints) 1] uses computation tree logic (CTL) Temporal logic was also used in [12, 21, 22] for the study of discrete event systems. Above prior work on temporal logic ....

....(CTL) Temporal logic was also used in [12, 21, 22] for the study of discrete event systems. Above prior work on temporal logic approach to the control of discrete event systems are limited in one way or other. For example, in [23, 14, 16] the veri cation and the analysis were the main focus. In [15, 17], methods were given for the supervisor synthesis for systems with only safety speci cations. In [2] a sound but not complete (see Remark 8) algorithm was given for the synthesis of supervisors for systems with MTL speci cations. In [1] the control 2 problem of systems with CTL speci cations ....

J. S. Ostro. Synthesis of controllers for real-time discrete event systems. 28th IEEE Conference on Decision and Control, Tampa, Florid, Dec. 1989.

No context found.

Ostro#, J.S. Synthesis of Controllers for real-time discrete event systems. IEEE Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC