Login / Signup

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL.

Sreram BalasubramaniyanSeshadhri SrinivasanFurio BuonopaneB. SubathraJuri VainSrini Ramaswamy
Published in: Microprocess. Microsystems (2016)
Keyphrases
  • evolutionary optimization
  • model checking
  • artificial intelligence
  • real time
  • data mining
  • evolutionary algorithm
  • social network analysis
  • embedded systems
  • fuzzy modeling
  • cyber physical systems