8 citations
2 papers
eess.SY2021★ 8 cited
Formation Flight Control of Multi-UAV System Using Neighbor-based Trajectory Generation Topology
Batool Ibrahim, Hasan Noura
In this paper, a distributed formation flight control topology for Leader-Follower formation structure is presented. Such topology depends in the first place on online generation o…
cs.LO2011★ 1 cited
Typed Operational Semantics for Dependent Record Types
Yangyue Feng, Zhaohui Luo
Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent…