John M. McNew

  • Citations Per Year
Learn More
In this paper, we consider the problem of designing in-vehicle driver-assist systems that warn or override the driver to prevent collisions with a guaranteed probability. The probabilistic nature of the problem naturally arises from many sources of uncertainty, among which the behavior of the surrounding vehicles and the response of the driver to on-board(More)
This document contains the statements and proofs of the main theoretical results presented in the paper by the same authors with the title “Design of driver-assist system under probabilistic safety specifications near stop signs”, which will appear in the special issue on Human Centered Automation of the IEEE Transactions on Automation Science and(More)
In this paper, we consider the problem of keeping the state of a system outside of an undesired set of states with probability at least P. We focus on a class of order preserving systems with a constant input disturbance that is extracted from a known probability distribution. Leveraging the structure of the system, we construct an explicit supervisor that(More)
  • 1