{"id":"W2963857949","doi":"10.1016/j.ifacol.2015.11.144","title":"Computing finite abstractions with robustness margins via local reachable set over-approximation**This work is supported, in part, by EU FP7 Grant PCIG13-GA-2013-61737 and NSF grant CNS-1446298.","year":2015,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Robustness (evolution); Spurious relationship; Nonlinear system; Computer science; Linearization; Imperfect; Affine transformation; 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.001324935,0.001377812,0.001069359,0.0009248181,0.000467875,0.001071598,0.001089822,0.0007640127,0.00195115],"category_scores_gemma":[0.005907355,0.0006027584,0.001238818,0.0003963195,0.001206258,0.001389592,0.002317603,0.00192514,0.0003623934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001116722,"about_ca_system_score_gemma":0.001146263,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002275047,"about_ca_topic_score_gemma":0.002291122,"domain_scores_codex":[0.9993856,0.0001659472,0.0000390436,0.0001131115,0.000230815,0.00006550417],"domain_scores_gemma":[0.9973151,0.001654283,0.0003319843,0.0004278684,0.0001907673,0.00008000853],"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.00004232319,0.00001284758,0.0002626585,0.00004344689,0.00001535482,0.00003721217,0.00005996699,0.9743878,0.002174516,0.01163732,0.0001018939,0.01122468],"study_design_scores_gemma":[0.000004080483,0.00002131442,0.00003990959,0.000009601915,0.000004827708,0.00000842721,0.000008799003,0.9877965,0.001742309,0.01009556,0.0002639255,0.000004687184],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01417872,0.00004286061,0.9844784,0.00002653721,0.000007815626,0.00001580228,0.00002433888,0.0003435991,0.0008820493],"genre_scores_gemma":[0.6503158,0.0001053557,0.3480519,0.0000418487,0.00001457839,0.0001277867,0.0001731468,0.0002055811,0.0009639559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002275047,"threshold_uncertainty_score":0.008102417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01441879092858423,"score_gpt":0.2166985144146991,"score_spread":0.2022797234861149,"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."}}