Login / Signup
Receding Horizon Control With Online Barrier Function Design Under Signal Temporal Logic Specifications.
Maria Charitidou
Dimos V. Dimarogonas
Published in:
IEEE Trans. Autom. Control. (2023)
Keyphrases
</>
temporal logic
receding horizon
air traffic control
formal specification language
model checking
concurrent systems
transition systems
reactive systems
modal logic
model checker
verification method
control system
formal methods
bounded model checking
control method
belief revision
formation control
knowledge based systems
mobile robot