Improving system properties using operator transformations