{"id":"W2259714137","doi":"10.4204/eptcs.184.6","title":"Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems","year":2015,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Liveness; Event (particle physics); Semantics (computer science); Search engine indexing; Construct (python library); State (computer science); Syntax; Model checking; Programming language; Real-time computing; Information retrieval; Artificial intelligence","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.008284751,0.001331435,0.0006411258,0.002047512,0.0006915158,0.003407441,0.002708942,0.001794118,0.003282253],"category_scores_gemma":[0.02622902,0.0009286012,0.002043417,0.001101567,0.003183198,0.006591795,0.002508238,0.001953205,0.0008164505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001370949,"about_ca_system_score_gemma":0.002995032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00267219,"about_ca_topic_score_gemma":0.002301013,"domain_scores_codex":[0.9887506,0.004222963,0.001757737,0.001190937,0.003671172,0.0004065646],"domain_scores_gemma":[0.9791029,0.01045376,0.002153816,0.005783547,0.002216503,0.0002894801],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002043037,0.0001124131,0.002556742,0.0006186654,0.0001278391,0.001070046,0.001188135,0.2540759,0.01651054,0.6523274,0.003043062,0.06816502],"study_design_scores_gemma":[0.0001622409,0.0002561621,0.0004797345,0.0003228207,0.0001624413,0.0005244214,0.0002015833,0.6719365,0.05744893,0.2162243,0.05217139,0.0001095989],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005072712,0.00006466918,0.9907403,0.00007919951,0.00005613355,0.0001009029,0.0001784065,0.002238266,0.001469401],"genre_scores_gemma":[0.1743945,0.0003554154,0.8201606,0.0002123904,0.00008198358,0.0005960041,0.001010663,0.0008368198,0.002351662],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008284751,"threshold_uncertainty_score":0.04381448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02960301789718997,"score_gpt":0.3100154273053389,"score_spread":0.2804124094081489,"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."}}