Predicates and predicate transformers for supervisory control of discrete event dynamical systems

• KUMAR R.

Journal

• IEEE Trans. Autom. Control

  IEEE Trans. Autom. Control 38 (2), 232-247, 1993

Details

• CRID: 1571135651687620224
• NII Article ID: 80006978311
• Data Source:
  • CiNii Articles