Login / Signup

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates.

Stephen PrajnaAli JadbabaieGeorge J. Pappas
Published in: IEEE Trans. Autom. Control. (2007)
Keyphrases
  • worst case
  • lower bound
  • main contribution
  • neural network
  • website
  • probabilistic model
  • artificial intelligence
  • web services
  • multiscale
  • wireless sensor networks
  • particle filter
  • conceptual framework