Sign in

Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control.

Petter NilssonAaron D. Ames
Published in: CDC (2018)
Keyphrases
  • safety critical
  • fault tolerant
  • control system
  • formal methods
  • agent architecture
  • decision support
  • nuclear power plant
  • safety analysis
  • decision making
  • cooperative
  • planning problems
  • support systems