Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems


    Contributors:

    Conference:

    AIAA Infotech@Aerospace (I@A) Conference



    Publication date :

    2013-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems (AIAA 2013-4811)

    Johnson, T.T. / Mitra, S. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013


    Aerospace Cyber-Physical Systems Education

    Atkins, Ella M. / Bradley, Justin M. | AIAA | 2013


    Aerospace Cyber-Physical Systems Education (AIAA 2013-4809)

    Atkins, E.M. / Bradley, J.M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013


    Impact and Influence of Cyber-Physical Systems Research on Autonomous Aerospace Systems

    Bradley, Justin M. / Fleming, Cody H. / Rozier, Kristin Y. et al. | TIBKAT | 2023


    Impact and Influence of Cyber-Physical Systems Research on Autonomous Aerospace Systems

    Bradley, Justin M. / Fleming, Cody H. / Rozier, Kristin Y. et al. | AIAA | 2023