{"id":"W965675865","doi":"10.48550/arxiv.1507.06248","title":"Computing finite abstractions with robustness margins via local reachable set over-approximation","year":2015,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"National Science Foundation","keywords":"Robustness (evolution); Spurious relationship; Nonlinear system; Linearization; Computer science; Affine transformation; Finite set; Imperfect; Mathematical optimization; Control theory (sociology); Algorithm; Mathematics; Control (management)","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.001895977,0.00137318,0.001142992,0.001108963,0.0005458975,0.001278655,0.001412629,0.0008650717,0.001990707],"category_scores_gemma":[0.007613572,0.0006997375,0.00169764,0.0004529225,0.001859035,0.001934694,0.002860648,0.002528161,0.0004334997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001267823,"about_ca_system_score_gemma":0.001210315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001908597,"about_ca_topic_score_gemma":0.001856575,"domain_scores_codex":[0.9988827,0.000298922,0.00006915125,0.000200987,0.0004380225,0.0001100755],"domain_scores_gemma":[0.9965044,0.002135497,0.0003906781,0.0006590217,0.0002183035,0.00009200421],"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.00005997779,0.00001682238,0.0003917636,0.00005978494,0.00002592828,0.00006704081,0.000108448,0.9468663,0.003866465,0.03533371,0.0001408949,0.01306287],"study_design_scores_gemma":[0.000007167965,0.00002404775,0.00004168943,0.00001435734,0.000009090958,0.00001305021,0.00001282296,0.9683532,0.003153592,0.02784984,0.0005134357,0.000007662059],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008684778,0.00003398527,0.9902158,0.00002231761,0.000007284445,0.0000126168,0.00001937839,0.0003803316,0.0006235591],"genre_scores_gemma":[0.5669195,0.0001208143,0.4310569,0.00005539177,0.00001917645,0.0001471289,0.0001715038,0.0003062667,0.001203394],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001990707,"threshold_uncertainty_score":0.01002699,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1110153816749567,"score_gpt":0.2303728672495376,"score_spread":0.119357485574581,"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."}}