1–20 von 27 Ergebnissen
|

    Automatic Identification of a Modular Unmanned Aerial System (UAS) with Experimental Verification

    Shahab, Mohamad T. / Wali, Obadah / Feron, Eric M. | TIBKAT | 2023

    Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | AIAA | 2021

    RISK-BASED FORMAL REQUIREMENT ELICITATION FOR AUTOMATIC SPACECRAFT MANEUVERING

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | TIBKAT | 2021

    An Assessment of Unmanned Aircraft System Operations with the Extensible Trajectory Optimization Library

    Sanni, Olatunde B. / Khamvilai, Thanakorn / Puntawuttiwong, Teppatat et al. | AIAA | 2021

    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | AIAA | 2019

    AN ASSESSMENT OF UNMANNED AIRCRAFT SYSTEM OPERATIONS WITH THE EXTENSIBLE TRAJECTORY OPTIMIZATION LIBRARY

    Sanni, Olatunde B. / Khamvilai, Thanakorn / Puntawuttiwong, Teppatat et al. | TIBKAT | 2021

    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | TIBKAT | 2019

    Autocoding control software with proofs I: Annotation translation

    Jobredeaux, Romain / Wang, Timothy E. / Feron, Eric M. | IEEE | 2011

    Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control

    Feron, Eric M. / Cohen, Raphael P. / Davy, Guillaume et al. | AIAA | 2017

    Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control (AIAA 2017-0562)

    Feron, Eric M. / Cohen, Raphael P. / Davy, Guillaume et al. | British Library Conference Proceedings | 2017

    Safe Trajectory Planning for Safety Critical Drone Delivery

    Almozel, Amin / Feron, Eric M. / Saber, Safa I. et al. | TIBKAT | 2023

    Safe Trajectory Planning for Safety Critical Drone Delivery

    Almozel, Amin / Feron, Eric M. / Saber, Safa I. et al. | AIAA | 2023

    Systems and methods for controlling a vehicle

    Freier Zugriff
    MILLER MICHAEL Z / FERON ERIC M / WATSON KAYLA et al. | Europäisches Patentamt | 2023

    SYSTEMS AND METHODS FOR CONTROLLING A VEHICLE

    Freier Zugriff
    MILLER MICHAEL Z / FERON ERIC M / WATSON KAYLA et al. | Europäisches Patentamt | 2020

    Challenges in Aerospace Decision and Control: Air Transportation Systems

    Balakrishnan, Hamsa / Clarke, John-Paul / Feron, Eric M. et al. | Springer Verlag | 2015