Παρακολούθηση
Kerianne Hobbs
Kerianne Hobbs
Research Aerospace Engineer, Air Force Research Laboratory
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα us.af.mil
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Improved geometric path enumeration for verifying relu neural networks
S Bak, HD Tran, K Hobbs, TT Johnson
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
1362020
Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems
KL Hobbs, ML Mote, MCL Abate, SD Coogan, EM Feron
IEEE Control Systems Magazine 43 (2), 28-65, 2023
522023
Run time assured reinforcement learning for safe satellite docking
K Dunlap, M Mote, K Delsing, KL Hobbs
Journal of Aerospace Information Systems 20 (1), 25-36, 2023
362023
Safe reinforcement learning benchmark environments for aerospace control systems
UJ Ravaioli, J Cunningham, J McCarroll, V Gangal, K Dunlap, KL Hobbs
2022 IEEE Aerospace Conference (AERO), 1-20, 2022
312022
Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control
KH Gross, MA Clark, JA Hoffman, ED Swenson, AW Fifarek
Journal of Aerospace Information Systems 14 (4), 232-246, 2017
282017
Natural motion-based trajectories for automatic spacecraft collision avoidance during proximity operations
ML Mote, CW Hays, A Collins, E Feron, KL Hobbs
2021 IEEE Aerospace Conference (50100), 1-12, 2021
242021
Incremental formal methods based design approach demonstrated on a coupled tanks control system
KH Gross, AW Fifarek, JA Hoffman
2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016
242016
Challenge problem: Assured satellite proximity operations
CD Petersen, S Phillips, KL Hobbs, K Lang
31st AAS/AIAA Space Flight Mechanics Meeting, 1, 2021
212021
Comparing run time assurance approaches for safe spacecraft docking
K Dunlap, M Hibbard, M Mote, K Hobbs
IEEE Control Systems Letters 6, 1849-1854, 2021
202021
Space trusted autonomy readiness levels
KL Hobbs, JB Lyons, MS Feather, BP Bycroft, S Phillips, M Simon, ...
2023 IEEE Aerospace Conference, 1-17, 2023
162023
Development of an automatic aircraft collision avoidance system for fighter aircraft
J Wadley, S Jones, D Stoner, E Griffin, D Swihart, K Hobbs, A Burns, ...
AIAA Infotech@ Aerospace (I@ A) Conference, 4727, 2013
162013
Automatic aircraft collision avoidance algorithm design for fighter aircraft
R Turner, R Lehmann, J Wadley, D Kidd, D Swihart, J Bier, K Hobbs
Asia-Pacific International Symposium on Aerospace Technology, 13-15, 2012
162012
Automatic ground collision avoidance system design for pre-block 40 f-16 configurations
EM Griffin, RM Turner, SC Whitcomb, DE Swihart, JM Bier, KL Hobbs, ...
Asia-Pacific international symposium on aerospace technology, 2012
162012
Verification of neural network compression of ACAS Xu lookup tables with star set reachability
D Manzanas Lopez, T Johnson, HD Tran, S Bak, X Chen, KL Hobbs
AIAA Scitech 2021 Forum, 0995, 2021
152021
Formally verified run time assurance architecture of a 6U cubesat attitude control system
KH Gross, M Clark, JA Hoffman, A Fifarek, K Rattan, E Swenson, ...
AIAA Infotech@ Aerospace, 0222, 2016
152016
Evaluation of neural network verification methods for air-to-air collision avoidance
D Manzanas Lopez, TT Johnson, S Bak, HD Tran, KL Hobbs
Journal of Air Transportation 31 (1), 1-17, 2023
142023
Autonomy community of interest (coi) test and evaluation, verification and validation (tevv) working group: Technology investment strategy 2015-2018
M Clark, J Alley, PJ Deal, JC Depriest, E Hansen, C Heitmeyer, R Nameth, ...
Office of the Assistant Secretary of Defense for Research and Engineering TR, 2015
142015
Air force research laboratory test and evaluation, verification and validation of autonomous systems challenge exploration
M Clark, K Kearns, J Overholt, K Gross, B Barthelemy, C Reed
Air Force Research Lab, Wright-Patterson AFB, Tech. Rep., 2014
132014
Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems.
K Hobbs
Georgia Institute of Technology, Atlanta, GA, USA, 2020
122020
Formal specification and analysis of spacecraft collision avoidance run time assurance requirements
KL Hobbs, J Davis, L Wagner, E Feron
2021 IEEE Aerospace Conference (50100), 1-16, 2021
102021
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20