human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Multilevel coordination control of modular DES"):
  Abstract: A top-down approach to multilevel coordination control is presented along with the corresponding notions of conditional decomposability and conditional controllability. The multilevel structure makes the approach computationally more efficient in comparison with the approach of one central coordinator since fewer events need to be communicated among subsystems. Necessary and sufficient conditions are stated for a specification to be achieved by the proposed top-down approach.

Includes members:
  Member "Coordination control of discrete-event systems revisited":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science