Journal: IEEE Control Systems Magazine

Found 5 papers in total
Models of discrete event dynamic systems
Models of discrete event dynamic systems
1990,
Many new techniques for modeling discrete event dynamic systems have been developed in...
Performance evaluation of discrete manufacturing systems
Performance evaluation of discrete manufacturing systems
1990,
This paper provides an overview of performance evaluation of discrete manufacturing...
A method for specifying, implementing, and verifying media access control protocols
A method for specifying, implementing, and verifying media access control protocols
1990,
A media access control (MAC) protocol is a feedback policy that nodes in a...
A logic for real-time discrete event processes
A logic for real-time discrete event processes
1990,
Temporal logic can be used to design controllers for real-time discrete event systems....
Concurrency and discrete event control
Concurrency and discrete event control
1990,
Much of discrete event control theory has been developed within the framework of...
Papers per page: