1–8 von 8 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

    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 via Tube-Based Model Predictive Control

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

    Geometric Mechanics Based Nonlinear Model Predictive Spacecraft Attitude Control with Reaction Wheels

    Lee, Dae Young / Gupta, Rohit / Kalabić, Uroš V. et al. | AIAA | 2016

    Large-Scale Multidisciplinary Optimization of a Small Satellite’s Design and Operation

    Hwang, John T. / Lee, Dae Young / Cutler, James W. et al. | AIAA | 2014

    Rigid-Foldable Polyhedral Origami

    Kim, Tae-Hyun / Jang, Keon-Ik / Lee, Dae-Young et al. | AIAA | 2023