1–7 von 7 Ergebnissen
|

    A Case Study in Formal Specification and Runtime Verification of a CubeSat Communications System

    Luppen, Zachary A. / Lee, Dae Young / Rozier, Kristin Y. | AIAA | 2021

      A CASE STUDY IN FORMAL SPECIFICATION AND RUNTIME VERIFICATION OF A CUBESAT COMMUNICATIONS SYSTEM

      Luppen, Zachary A. / Lee, Dae Young / Rozier, Kristin Y. | TIBKAT | 2021

    Attitude Control of a Small Spacecraft for Earth Observation via Tube-based Robust Model Predictive Control

    Mammarella, Martina / Lee, Dae Young / Park, Hyeongjun et al. | AIAA | 2018

    ATTITUDE CONTROL OF A SMALL SPACECRAFT FOR EARTH OBSERVATION VIA TUBE-BASED ROBUST MODEL PREDICTIVE CONTROL (AIAA 2018-5401)

    Mammarella, Martina / Lee, Dae Young / Park, Hyeongjun et al. | British Library Conference Proceedings | 2018

    DESIGN OPTIMIZATION OF A SPACE VIRTUAL TELESCOPE MISSION USING A CUBSEAT SWARM

    Park, Hyeongjun / Lee, Dae Young / Stochaj, Steven et al. | TIBKAT | 2020

    Optimal Trajectory Generation for Mars Atmospheric Entry Guidance using Parameter Optimization

    Lee, Youngro / Lee, Dae Young | AIAA | 2022