fixed sensors locally and added assumptions