Reasoning about energy in qualitative simulation

@article{Fouch1992ReasoningAE,
  title={Reasoning about energy in qualitative simulation},
  author={Pierre Fouch{\'e} and Benjamin Kuipers},
  journal={IEEE Trans. Systems, Man, and Cybernetics},
  year={1992},
  volume={22},
  pages={47-63}
}