English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

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 guarantees the system state to be kept outside the undesired set with at least probability P. We apply this supervisor to a collision avoidance problem, where a semi-autonomous vehicle is engaged in preventing a rear-end collision with a preceding human-driven vehicle, while stopping at a stop sign. We apply the designed supervisor in simulations in which the preceding vehicle trajectories are taken from a test data set. Using this data, we demonstrate experimentally that the probability of preventing a rear-end collision while stopping at the stop sign is at least P, as expected from theory. The simulation results further show that this probability is very close to P, indicating that the supervisor is not conservative.

Safety control of a class of stochastic order preserving systems with application to collision avoidance near stop signs