Systems Under State Constraints