{"id":"W4323662928","doi":"10.1016/j.nahs.2023.101340","title":"Lyapunov-barrier characterization of robust reach–avoid–stay specifications for hybrid systems","year":2023,"lang":"en","type":"article","venue":"Nonlinear Analysis Hybrid Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hybrid system; Lyapunov function; Discretization; Reachability; Dynamical systems theory; Mathematics; Differential inclusion; Control theory (sociology); State space; Nonlinear system; Computer science; Topology (electrical circuits); Mathematical optimization; Control (management); Algorithm; Mathematical analysis","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.00301491,0.0003173513,0.0008778079,0.001330103,0.0002908618,0.0003574455,0.001317484,0.00009158292,0.000009549651],"category_scores_gemma":[0.000358365,0.0003113815,0.0004876675,0.003961383,0.00008216065,0.0007043275,0.0001425653,0.0001617963,0.0001171254],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001565174,"about_ca_system_score_gemma":0.0001294938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001219528,"about_ca_topic_score_gemma":0.000004625381,"domain_scores_codex":[0.9958215,0.0004964141,0.001504504,0.0008816817,0.0007952614,0.0005006857],"domain_scores_gemma":[0.9955151,0.0003002012,0.001063355,0.002026174,0.0009195756,0.000175614],"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.0002438538,0.001432579,0.01606171,0.004539519,0.009959353,0.00007998674,0.003174135,0.414565,0.3209795,0.2047053,0.008241348,0.01601768],"study_design_scores_gemma":[0.0002389254,0.00005169956,0.001874488,0.00005065271,0.0002963682,0.00001656369,0.000119745,0.9680043,0.009374446,0.00003268768,0.01962731,0.0003127946],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08269498,0.0001177115,0.9129697,0.00009616023,0.001481433,0.001045973,0.0008870962,0.0004338701,0.0002730524],"genre_scores_gemma":[0.8195057,0.000151677,0.1673694,0.00003947691,0.001218208,0.0007683226,0.003890984,0.0001038663,0.006952358],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7456003,"threshold_uncertainty_score":0.9999338,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0801088667584379,"score_gpt":0.2947939312418153,"score_spread":0.2146850644833774,"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."}}