Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm