Dependable Control and Decision