Physical Control for Physical Systems: Why and How.

Stefano Stramigioli

Published in: ECC (2020)

Keyphrases

physical systems
fault isolation
complex systems
qualitative and quantitative
model based diagnosis
control system
human operators
qualitative models
causal models
reasoning about physical systems
model checking
dynamic systems