A logic for real-time discrete event processes

J.S. Ostroff
1990 Control Systems Magazine  
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.
doi:10.1109/37.56283 fatcat:sxlg6s2di5gl7cip2fv5qqlqny