The stochastic semantics and verification for periodic control systems

  • MengFei Yang
  • , Zheng Wang
  • , GeGuang Pu
  • , Shengchao Qin
  • , Bin Gu
  • , Jifeng He

    Research output: Contribution to journalArticlepeer-review

    Fingerprint

    Dive into the research topics of 'The stochastic semantics and verification for periodic control systems'. Together they form a unique fingerprint.
    Sort by

    Keyphrases

    Computer Science