Observers for Hybrid Dynamical Systems with Linear Maps and Known Jump Times