Symbolic state estimation in bounded timed labeled Petri nets.
Yifan DongNaiqi WuZhiwu LiPublished in: Autom. (2024)
Keyphrases
- membership functions
- petri net
- state estimation
- kalman filter
- petri net model
- colored petri nets
- particle filter
- kalman filtering
- state space model
- dynamic systems
- discrete event systems
- visual tracking
- service composition
- symbolic representation
- stochastic petri net
- ims ld
- particle filtering
- fuzzy petri net
- mean shift
- motion estimation
- high dimensional
- computer vision