collaborators

1 paper

eess.SY2024

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts

Nicolas Rouquette, Alessandro Pinto, Inigo Incer

We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. Components in a system are abstracted into assu…