A formal model for coupling computer based system and physical systems.
Maria BrielmannBernd KleinjohannPublished in: EURO-DAC (1993)
Keyphrases
- formal model
- physical systems
- complex systems
- qualitative and quantitative
- model based diagnosis
- causal models
- reasoning about physical systems
- formal models
- qualitative models
- predicate calculus
- fault isolation
- ground truth
- object recognition
- artificial intelligence
- dynamic systems
- np hard
- security properties
- security patterns