TimedAutomata

Environment Modeling During Model Checking of Cyber-Physical Systems
A domain-independent framework which can balance coverage and expressiveness of environment models during closed-loop model checking of Cyber-Physical Systems.
引用 实验室 DOI
Environment Modeling During Model Checking of Cyber-Physical Systems
Model-based Clinical Assist System for Cardiac Ablation
Enumerate suspected heart conditions during the procedure to provide more rigorous and intuitive interpretation of current understanding of the patient’s heart, which improves the accuracy and efficiency of the diagnosis and relieves the physicians from demanding low-level reasoning.
引用 实验室 DOI
Model-based Clinical Assist System for Cardiac Ablation