{"id":"W2761962793","doi":"10.1109/tac.2017.2760106","title":"Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach","year":2017,"lang":"en","type":"article","venue":"IEEE Transactions on Automatic Control","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Canada Research Chairs","keywords":"Nonlinear system; Mathematics; Partition (number theory); Control theory (sociology); Interval (graph theory); Invariant (physics); Computation; Interval arithmetic; Upper and lower bounds; Applied mathematics; Algorithm; Computer science; Control (management); Mathematical analysis; Artificial intelligence; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"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.0005958422,0.0005589342,0.0005150538,0.0004710693,0.0002363485,0.0006482231,0.0006919796,0.0003573704,0.002226717],"category_scores_gemma":[0.0008760426,0.0002364,0.0006622141,0.0003787861,0.0006297634,0.0006371381,0.0005289082,0.0008661288,0.0003302371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005117118,"about_ca_system_score_gemma":0.0003674972,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001054015,"about_ca_topic_score_gemma":0.0006525786,"domain_scores_codex":[0.9997067,0.00007954484,0.00001712647,0.00005995879,0.0001135883,0.00002306995],"domain_scores_gemma":[0.9997311,0.0001652956,0.00002998561,0.00002491225,0.00004107918,0.000007490549],"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.00011058,0.00004700678,0.0002844027,0.0002119591,0.0000600592,0.00007651318,0.0002376926,0.6118867,0.03209463,0.1982865,0.001076125,0.1556277],"study_design_scores_gemma":[0.00001130696,0.00006530558,0.00008384963,0.00001261099,0.0000133473,0.00001467241,0.00001240666,0.9686527,0.003213781,0.02584814,0.002060935,0.00001081392],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001860484,0.00007327792,0.9969153,0.00001525111,0.00001000475,0.000008001447,0.000006699469,0.00005715795,0.001053823],"genre_scores_gemma":[0.606232,0.0007310346,0.3898505,0.00007429196,0.00009796928,0.0002239274,0.0001242616,0.0001285051,0.002537512],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002226717,"threshold_uncertainty_score":0.00744909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03102403031255806,"score_gpt":0.2980702254994427,"score_spread":0.2670461951868847,"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."}}