14 citations · 31 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
eess.SY2019
Formal Specification of Continuum Deformation Coordination
Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella Atkins
Continuum deformation is a leader-follower multiagent cooperative control approach. Previous work showed a desired continuum deformation can be uniquely defined based on trajectori…
eess.SY2019★ 14 cited
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin +1
The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting…