Pages that link to "Item:Q2377974"

The following pages link to Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974):

Displaying 50 items.

• Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets (Q255791) (← links)
• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
• Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
• Safety verification for probabilistic hybrid systems (Q389835) (← links)
• Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
• Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
• Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
• Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
• Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
• Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
• A convex optimization approach to dynamic programming in continuous state and action spaces (Q831365) (← links)
• Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
• Probabilistic safety and optimal control for survival analysis of bacillus subtilis (Q962200) (← links)
• A Lyapunov theorem certifying global weak reachability for stochastic difference inclusions with random inputs (Q1690970) (← links)
• The computation of the viability kernel for switched systems (Q1713546) (← links)
• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• Discrete-time hybrid control in Borel spaces: average cost optimality criterion (Q1746693) (← links)
• A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
• Discrete-time hybrid control in Borel spaces (Q1987330) (← links)
• Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
• A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
• Safety of stochastic systems: an analytic and computational approach (Q2065176) (← links)
• Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
• Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
• Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
• State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
• Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles (Q2139771) (← links)
• Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← links)
• Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
• Recursively feasible stochastic model predictive control using indirect feedback (Q2207230) (← links)
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
• A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
• Research on probabilistic methods for control system design (Q2276096) (← links)
• Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
• Optimal control of stochastic hybrid system with jumps: a numerical approximation (Q2349616) (← links)
• A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
• Robust global recurrence for a class of stochastic hybrid systems (Q2406968) (← links)
• Stochastic hybrid automata with delayed transitions to model biochemical systems with delays (Q2453210) (← links)
• A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
• Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
• Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
• Interacting particle system based estimation of reach probability of general stochastic hybrid systems (Q2677118) (← links)
• Model checking for performability (Q2843861) (← links)
• Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)