javadoc updated, StateObservation functions