• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Modeling and verification of CPS based on uncertain hybrid timed automaton.

Na ChenShengling GengLin Li
Published in: DASC/PiCom/CBDCom/CyberSciTech (2021)
Keyphrases
  • colored petri nets
  • petri net
  • hybrid models
  • data sets
  • machine learning
  • decision making
  • database
  • search engine
  • evolutionary algorithm
  • modeling language
  • modeling method
  • modeling framework
  • uncertain information