Login / Signup

Physical Systems as Constructive Logics.

Peter Hines
Published in: UC (2006)
Keyphrases
  • physical systems
  • complex systems
  • qualitative and quantitative
  • expressive power
  • model based diagnosis
  • modal logic
  • causal models
  • fault isolation
  • reasoning about physical systems
  • ground truth
  • fuzzy logic