Login / Signup
Formalised hybrid control scheme for a UAV group using Dubins set and model checking.
Suresh Jeyaraman
Antonios Tsourdos
Rafal Zbikowski
Brian A. White
Lilian Bruyere
Camille Alain Rabbath
Eric Gagnon
Published in:
CDC (2004)
Keyphrases
</>
model checking
control scheme
temporal logic
control system
formal verification
finite state
model checker
closed loop
control strategy
bounded model checking
temporal properties
automated verification
real time
linear temporal logic
formal specification
neuro fuzzy
dynamic model
evolutionary algorithm