human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "tira toolbox for interval reachability analysis"):
  Abstract: This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-time nonlinear systems. Unlike other existing tools, the main strength of interval-based reachability analysis is its simplicity and scalability, rather than the accuracy of the over-approximations. The current implementation of TIRA contains four reachability methods covering wide classes of nonlinear systems, handled with recent results relying on contraction/growth bounds and monotonicity concepts. TIRA's architecture features a central function working as a hub between the user-defined reachability problem and the library of available reachability methods. This design choice offers increased extensibility of the library, where users can define their own method in a separate function and add the function call in the hub function.

Includes members:
  Member "hierarchical decomposition of ltl synthesis problem for nonlinear control systems":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a sequential composition framework for coordinating multi robot behaviors")
  Member "a benchmark problem in transportation networks":
    also connected through other hyperedges:
      (none)
  Member "sampled data reachability analysis using sensitivity and mixed monotonicity":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "reachability analysis for robustness evaluation of the sit to stand movement for powered lower limb orthoses")
  Member "simulation based reachability analysis for nonlinear systems using componentwise contraction properties":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "efficient trajectory generation for robotic systems constrained by contact forces")
  Member "sapo reachability computation and parameter synthesis of polynomial dynamical systems":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "toward structured proofs for dynamic logics")
  Member "mixed monotonicity of partial first in first out traffic flow models":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "on resilient control of dynamical flow networks")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SY(Systems and Control)