{"id":"W4416922428","doi":"10.1109/iccais67508.2025.11262168","title":"Finite-Time Control Barrier Functions for Safety-Critical Control of Discrete Systems with Application to Robot Navigation","year":2025,"lang":"","type":"article","venue":"","topic":"Control and Dynamics of Mobile Robots","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Control theory (sociology); Lyapunov function; Obstacle avoidance; Robustness (evolution); Mobile robot; Robot; Control-Lyapunov function; Quadratic programming; 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.0008236215,0.0008959498,0.0005908779,0.0004861549,0.0003004906,0.0007791463,0.0009567049,0.0006335232,0.001344965],"category_scores_gemma":[0.001624577,0.0001922796,0.0006358442,0.0003356503,0.0009818596,0.0007965983,0.0008491417,0.001631968,0.0001820775],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007098733,"about_ca_system_score_gemma":0.0009588603,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001794829,"about_ca_topic_score_gemma":0.0009044002,"domain_scores_codex":[0.9995366,0.0001070764,0.0000271101,0.00008001318,0.0002095197,0.00003960162],"domain_scores_gemma":[0.9993716,0.0003053492,0.00008846386,0.00003893975,0.0001639397,0.00003170665],"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.0001003347,0.00006569328,0.0002847717,0.000586403,0.00005092637,0.0002210975,0.0002915426,0.6295421,0.02345137,0.2684067,0.00138116,0.07561795],"study_design_scores_gemma":[0.00001043496,0.00008187701,0.00006119481,0.00002268819,0.000009032186,0.0000338987,0.00001380268,0.9813294,0.002513596,0.01317855,0.002733901,0.00001154024],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002211819,0.0003767816,0.9961532,0.00005922173,0.00004595136,0.00001052478,0.000006219452,0.00005516573,0.001081141],"genre_scores_gemma":[0.8346502,0.001633103,0.1597268,0.0001832334,0.0001429003,0.0002310705,0.00008857408,0.00009690034,0.00324734],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001794829,"threshold_uncertainty_score":0.005150557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.002573486163566227,"score_gpt":0.2171456938934404,"score_spread":0.2145722077298742,"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."}}