| Article ID: | iaor1991249 |
| Country: | United States |
| Volume: | 10 |
| Issue: | 4 |
| Start Page Number: | 95 |
| End Page Number: | 102 |
| Publication Date: | Jun 1990 |
| Journal: | IEEE Control Systems Magazine |
| Authors: | Ostroff J. |
Temporal logic can be used to design controllers for real-time discrete event systems. The underlying plant dynamics is most economically described by a state transition structure with time bounds on the transitions. Temporal logic may then be used to (1) specify the problem to be solved and (2) help in the derivation and verification of a suitable controller.