Unified Modeling and Verification of Logic Controllers for Physical Systems.

Marcello Bonfè Cesare Fantuzzi Cristian Secchi

Published in: CDC/ECC (2005)

Keyphrases

physical systems
reasoning about physical systems
qualitative and quantitative
asynchronous circuits
complex systems
verification method
control system
model based diagnosis
qualitative models
modal logic
reinforcement learning
image analysis
fuzzy logic
causal models
modeling language