scholarly journals Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 155941-155950 ◽  
Author(s):  
Baris Baspinar ◽  
Hamsa Balakrishnan ◽  
Emre Koyuncu
Keyword(s):  
Temporal Logic ◽  
Mission Planning ◽  
Aircraft Systems ◽  
Planning And Control ◽  
And Control

Mission Planning and Control

2017 ◽  
pp. 209-231
Author(s):  
Matko Orsag ◽  
Christopher Korpela ◽  
Paul Oh ◽  
Stjepan Bogdan
Keyword(s):  
Mission Planning ◽  
Planning And Control ◽  
And Control

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

2012 ◽  
Vol 28 (2) ◽  
pp. 396-409 ◽  
Author(s):  
Morteza Lahijanian ◽  
Sean B. Andersson ◽  
Calin Belta
Keyword(s):  
Motion Planning ◽  
Temporal Logic ◽  
Planning And Control ◽  
And Control

scholarly journals Three-dimensional visualization of mission planning and control for the NPS autonomous underwater vehicle

1990 ◽  
Vol 15 (3) ◽  
pp. 217-221 ◽  
Author(s):  
M.J. Zyda ◽  
R.B. McGhee ◽  
S. Kwak ◽  
D.B. Nordman ◽  
R.C. Rogers ◽  
...  
Keyword(s):  
Autonomous Underwater Vehicle ◽  
Three Dimensional ◽  
Underwater Vehicle ◽  
Mission Planning ◽  
Planning And Control ◽  
And Control
Sign in / Sign up

Export Citation Format

Share Document