Sign in

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia ZengWang LinZhengfeng YangXin ChenLilei Wang
Published in: EMSOFT (2016)
Keyphrases
  • hybrid systems
  • intelligent systems
  • black box
  • computational intelligence
  • meta learning
  • neural network
  • discrete event
  • artificial intelligence
  • soft computing
  • web services
  • text categorization