From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations.
Tao LiFeng TanQixin WangLei BuJiannong CaoXue LiuPublished in: IEEE Trans. Parallel Distributed Syst. (2014)
Keyphrases
- model checking
- hybrid systems
- real time
- temporal logic
- formal verification
- meta learning
- black box
- model checker
- discrete event
- neural network
- formal specification
- intelligent systems
- symbolic model checking
- epistemic logic
- verification method
- soft computing
- computation tree logic
- formal methods
- computational intelligence
- artificial intelligence
- bounded model checking
- dynamic systems
- machine learning algorithms
- rough sets
- decision making
- imperfect information
- alternating time temporal logic