{"id":"W4200582041","doi":"10.1109/iros51168.2021.9636410","title":"Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA","year":2021,"lang":"en","type":"article","venue":"2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Reachability; Field-programmable gate array; Curse of dimensionality; Embedded system; Parallel computing; Real-time computing; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001724036,0.000457787,0.0002274351,0.0003252516,0.0002417292,0.0003282352,0.0003973011,0.0002247944,0.003675736],"category_scores_gemma":[0.0003819865,0.0001645296,0.0003543566,0.0001724428,0.000265047,0.0003315586,0.0002877961,0.000315353,0.0003669586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005088836,"about_ca_system_score_gemma":0.0005778585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004664817,"about_ca_topic_score_gemma":0.005182595,"domain_scores_codex":[0.9998826,0.00001873742,0.000007141841,0.00001763578,0.00005006213,0.00002382151],"domain_scores_gemma":[0.9998727,0.00006074362,0.00001102415,0.00002091777,0.00002817853,0.000006549608],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002259075,0.00004744532,0.001845813,0.0001878407,0.00004234838,0.0003150861,0.0001178297,0.8607427,0.03861928,0.02332633,0.002072182,0.07245729],"study_design_scores_gemma":[0.0000202239,0.00004647703,0.000321055,0.000007622973,0.000008644223,0.00003076609,0.00001558864,0.9851179,0.009020318,0.00357632,0.001827754,0.000007410767],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1499231,0.0001742109,0.8319055,0.0001425249,0.00005309383,0.00006828698,0.000259442,0.004107318,0.01336651],"genre_scores_gemma":[0.8027503,0.0001027163,0.1936488,0.00004341056,0.000007764596,0.00011655,0.0002388066,0.0001112386,0.002980415],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004664817,"threshold_uncertainty_score":0.01229656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0568028711605485,"score_gpt":0.3143942311967452,"score_spread":0.2575913600361967,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}