{"id":"W4226081842","doi":"10.1109/cdc45484.2021.9683349","title":"Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions","year":2021,"lang":"en","type":"article","venue":"2021 60th IEEE Conference on Decision and Control (CDC)","topic":"Advanced Control Systems Optimization","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Stochastic differential equation; Stochastic control; Noise (video); Probabilistic logic; Computer science; Control theory (sociology); Linear-quadratic-Gaussian control; Mathematical optimization; Quadratic equation; Control (management); Brownian noise; Stochastic process; Gaussian noise; Mathematics; Applied mathematics; Optimal control; Algorithm; White noise; Statistics","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.001548137,0.001210937,0.0007647171,0.0005201909,0.0003788829,0.0009484401,0.0006863062,0.0006694258,0.00109994],"category_scores_gemma":[0.00353263,0.000298446,0.0007001935,0.0003181117,0.001231865,0.0008143089,0.001056408,0.0009962427,0.0001055162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008673469,"about_ca_system_score_gemma":0.001169512,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002727267,"about_ca_topic_score_gemma":0.001056846,"domain_scores_codex":[0.9992089,0.0002633604,0.00003333856,0.0001176792,0.000253142,0.0001236223],"domain_scores_gemma":[0.9982573,0.0009949339,0.0002974388,0.00007827419,0.0002830115,0.00008913195],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000425157,0.00001546531,0.0002035574,0.00004890756,0.00001634768,0.00004211968,0.00003521555,0.9608497,0.003659261,0.03065791,0.0001208382,0.00430818],"study_design_scores_gemma":[0.000004671593,0.00002615961,0.00003908281,0.000003934326,0.000003414898,0.00000484007,0.000003940364,0.9961672,0.0005253789,0.003093118,0.0001251802,0.000002927403],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03087011,0.0001575193,0.9665037,0.0001193062,0.0000271948,0.00002755796,0.00001969396,0.00009727036,0.002177559],"genre_scores_gemma":[0.978443,0.0001733193,0.02039367,0.00004094268,0.00001630115,0.00006599207,0.00002656949,0.00002515299,0.00081502],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002727267,"threshold_uncertainty_score":0.008187473,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01704666223207359,"score_gpt":0.2542006298099901,"score_spread":0.2371539675779165,"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."}}