The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation

2015 ◽  
pp. 29-43 ◽  
Author(s):  
Anton Tarasyuk ◽  
Inna Pereverzeva ◽  
Elena Troubitsyna ◽  
Timo Latvala
Keyword(s):  
Formal Derivation ◽  
Flight Formation

scholarly journals Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation

2021 ◽  
Author(s):  
Federico A. Galatolo ◽  
Mario G. C. A. Cimino ◽  
Gigliola Vaglini
Keyword(s):  
Neural Networks ◽  
Formal Derivation

Formal derivation of rule-based programs

1993 ◽  
Vol 19 (3) ◽  
pp. 277-296 ◽  
Author(s):  
G.-C. Roma ◽  
R.F. Gamble ◽  
W.E. Ball
Keyword(s):  
Rule Based ◽  
Formal Derivation

Formal Derivation of a Distributed Program in Event B

2011 ◽  
pp. 420-436 ◽  
Author(s):  
Alexei Iliasov ◽  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Alexander Romanovsky
Keyword(s):  
Formal Derivation

scholarly journals A Quadral-Fuzzy Control Approach to Flight Formation by a Fleet of Unmanned Aerial Vehicles

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 64366-64381 ◽  
Author(s):  
Marco Antonio Simoes Teixeira ◽  
Flavio Neves-Jr ◽  
Anis Koubaa ◽  
Lucia Valeria Ramos De Arruda ◽  
Andre Schneider De Oliveira
Keyword(s):  
Fuzzy Control ◽  
Unmanned Aerial Vehicles ◽  
Control Approach ◽  
Aerial Vehicles ◽  
Flight Formation
Sign in / Sign up

Export Citation Format

Share Document