Login / Signup

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.

Kaier LiangMingyu CaiCristian-Ioan Vasile
Published in: CoRR (2023)
Keyphrases
  • temporal logic
  • reactive systems
  • expert systems
  • signal processing
  • distributed systems
  • control system
  • belief revision
  • modal logic
  • control method
  • temporal knowledge
  • concurrent systems