Michigan is building the nation's first smart highway