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

scholarly journals Formal Derivation of Finite State Machines for Class Testing

1998 ◽  
pp. 42-59 ◽  
Author(s):  
Leesa Murray ◽  
David Carrington ◽  
Ian MacColl ◽  
Jason McDonald ◽  
Paul Strooper
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Formal Derivation ◽  
Class Testing ◽  
Finite State

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

scholarly journals Formal derivation of a pattern matching algorithm

1989 ◽  
Vol 12 (2) ◽  
pp. 93-104 ◽  
Author(s):  
R.S. Bird ◽  
J. Gibbons ◽  
G. Jones
Keyword(s):  
Pattern Matching ◽  
Matching Algorithm ◽  
Formal Derivation ◽  
Pattern Matching Algorithm

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