Abstract:Validating and controlling safety-critical systems in uncertain environments necessitates probabilistic reachable sets of future state evolutions. The existing methods of computing probabilistic reachable sets normally assume that the uncertainties are independent of the state. However, this assumption falls short in many real-world applications, where uncertainties are state-dependent, referred to as contextual uncertainties. This paper formulates the problem of computing probabilistic reachable sets of stochastic nonlinear states with contextual uncertainties by seeking minimum-volume polynomial sublevel sets with contextual chance constraints. The formulated problem cannot be solved by the existing sample-based approximation method since the existing methods do not consider the conditional probability densities. To address this, we propose a consistent sample approximation of the original problem by leveraging the conditional density estimation and resampling. The obtained approximate problem is a tractable optimization problem. Additionally, we prove the almost uniform convergence of the proposed sample-based approximation, showing that it gives the optimal solution almost consistently with the original ones. Through a numerical example, we evaluate the effectiveness of the proposed method against existing approaches, highlighting its capability to significantly reduce the bias inherent in sample-based approximation without considering a conditional probability density.

Probabilistic Context-Aware Ambients

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Modeling Uncertain Context Information via Event Probabilities

An efficient context modeling and reasoning system in pervasive environment: using absolute and relative context filtering technology

A Context Quality Model to Support Transparent Reasoning with Uncertain Context

Context-Aware Computing During Seamless Transfer Based on Random Set Theory for Active Space

Resolving Uncertainty in Context Integration and Abstraction

A Process Calculus for Context-Aware Systems

Bigraphical Model of Context-Aware in Ubiquitous Computing Environments

Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties

A Probabilistic Approach to Consistency Checking for Pervasive Context

Intensionality of Modal Logic for Robust Ambient Calculus.

Using Situation Lattices to Model and Reason about Context?

Probabilistic Analysis of QoS-aware Service Composition with Explicit Environment Models

Programming Method and Formalization for Activity-Oriented Context-Aware Applications

On the Distributability of Mobile Ambients

A Context-Aware Services Development Model

Context-Aware Safe Reinforcement Learning for Non-Stationary Environments

A Transaction Model for Context-Aware Applications

On the Distributability of Mobile Ambients (Technical Report)

Quality Parameters as Modeling Language Abstractions for Context-Aware Applications: An AAL Case Study