Aerospace applications and formal methods are topics of large interest for the control community. In particular, symbolic methods for complex control systems inspired by formal methods in computer science have been studied in the latest decade. The aim of the FMA@CDC is twofold: to encourage the development of interdisciplinary methods and,in particular, to leverage formal methods with control theoretic techniques in aerospace applications.
The first edition of the Formal Methods for Aerospace (FMA) workshop took place on November 3, 2009 in Eindhoven, the Netherlands. It was a satellite event of Formal Methods Week (FM Week) 2009, the largest event in formal methods with more than 700 participants. The workshop proceedings have been published as the Volume 20 of the Electronic Proceedings in Theoretical Computer Science.
