On group mutual exclusion for dynamic systems.
Shreyas GokhaleSahil DhokedNeeraj MittalPublished in: PPoPP (2021)
Keyphrases
- dynamic systems
- mutual exclusion
- long distance
- complex systems
- discrete event
- qualitative reasoning
- consistency based diagnosis
- state variables
- temporal planning
- model based diagnosis
- particle filter
- dynamical systems
- qualitative models
- state estimation
- ordinary differential equations
- linear time invariant
- planning domains
- dynamic environments
- search space
- heuristic search
- general purpose