1–11 of 11 hits
|

    Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)

    Madni, Azad M. | British Library Conference Proceedings | 2018

    Contract-Based Byzantine Resilience in Spacecraft Swarms (AIAA 2017-0644)

    Sievers, Michael / Madni, Azad M. | British Library Conference Proceedings | 2017

    Resilient Multi-UAV Operation: Key Concepts and Challenges (AIAA 2016-0475)

    Ordoukhanian, Edwin / Madni, Azad M. | British Library Conference Proceedings | 2016

      Resilient Multi-UAV Operation: Key Concepts and Challenges (AIAA 2016-0475)

      Ordoukhanian, Edwin / Madni, Azad M. | British Library Conference Proceedings | 2016

    Toward Development of Resilient Multi-UAV System-of-Systems (AIAA 2016-5414)

    Ordoukhanian, Edwin / Madni, Azad M. | British Library Conference Proceedings | 2016

    Agent-Based Flexible Design Contracts for Resilient Spacecraft Swarms (AIAA 2016-0476)

    Sievers, Michael / Madni, Azad M. | British Library Conference Proceedings | 2016

      Agent-Based Flexible Design Contracts for Resilient Spacecraft Swarms (AIAA 2016-0476)

      Sievers, Michael / Madni, Azad M. | British Library Conference Proceedings | 2016

    System Trade-offs in Multi-UAV Networks (AIAA 2015-4542)

    Ordoukhanian, Edwin / Madni, Azad M. | British Library Conference Proceedings | 2015

    Defining ``Credible Faults'' - A Risk-Based Approach (AIAA 2015-4528)

    Sievers, Michael / Madni, Azad M. | British Library Conference Proceedings | 2015

    Resiliency and Affordability Attributes in a System Tradespace (AIAA 2015-4434)

    Wheaton, Marilee / Madni, Azad M. | British Library Conference Proceedings | 2015

    Resiliency and Affordability Tradeoffs Across A System Portfolio (AIAA 2016-5487)

    Wheaton, Marilee J. / Madni, Azad M. | British Library Conference Proceedings | 2016

    Quantifying the Effect of Orbit Altitude on Mission Cost for Earth Observation Satellites (AIAA 2016-0974)

    Shao, Anthony / Madni, Azad M. / Wertz, James R. | British Library Conference Proceedings | 2016

    A Principled Approach to the Specification of System Architectures for Space Missions (AIAA 2015-4462)

    McKelvin, Mark L. / Castillo, Robert / Bonanne, Kevin et al. | British Library Conference Proceedings | 2015