Login / Signup

Hierarchical Relaxation of Safety-critical Controllers: Mitigating Contradictory Safety Conditions with Application to Quadruped Robots.

Jaemin LeeJeeseop KimAaron D. Ames
Published in: CoRR (2023)
Keyphrases
  • safety critical
  • safety analysis
  • fault tolerant
  • formal methods
  • nuclear power plant
  • embedded systems
  • agent architecture
  • information systems
  • low cost
  • cooperative
  • mobile robot
  • open source