Model Checking for Rare-Event in Control Logical Petri Nets Based on Importance Sampling.
Xu TianDanjiang ZhuShuzhen YaoPublished in: IEEE Access (2020)
Keyphrases
- importance sampling
- model checking
- petri net
- rare events
- concurrent systems
- process algebra
- monte carlo
- temporal logic
- reactive systems
- kalman filter
- formal specification
- markov chain
- particle filter
- epistemic logic
- formal methods
- approximate inference
- particle filtering
- service composition
- markov chain monte carlo
- data mining
- probability distribution
- active learning
- genetic algorithm