{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000475672,0.0005683301,0.001381767,0.0003011305,0.0002707066,0.0002270012,0.0002423798,0.0003370979,0.0003490633],"category_scores_gemma":[0.001397924,0.0005590798,0.0002217405,0.0003950492,0.0001847832,0.0003374937,0.00002634848,0.0004768074,0.0000684083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001838597,"about_ca_system_score_gemma":0.0002730498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002018276,"about_ca_topic_score_gemma":0.00002354702,"domain_scores_codex":[0.9962708,0.0003120024,0.001287026,0.0007247577,0.0007223944,0.0006830391],"domain_scores_gemma":[0.995227,0.002267262,0.0002133532,0.0007323703,0.001104606,0.0004553582],"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.0006774637,0.00007163067,0.00002509557,0.00006906555,0.000259246,0.00003852701,0.00004954021,0.9591888,0.02535084,0.006293388,0.00006486071,0.007911569],"study_design_scores_gemma":[0.01028287,0.0001760392,0.00009426419,0.0006289759,0.000364509,0.00008204851,0.0003264486,0.9867513,0.00006340274,0.0005459415,0.0001699086,0.0005143235],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003546256,0.002789619,0.9886835,0.0001592958,0.002630996,0.000937011,0.00057351,0.0001467456,0.0005330592],"genre_scores_gemma":[0.9985074,0.00004611204,0.0004919347,0.0001553995,0.000342543,0.0001298385,0.00001610931,0.00008943759,0.0002212703],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9949611,"threshold_uncertainty_score":0.9996861,"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."}}