Pages that link to "Item:Q2986712"

The following pages link to Measurability and safety verification for stochastic hybrid systems (Q2986712):

Displaying 16 items.

• Analysis of faults in cyber-physical systems by finite discrete-time Markov chains (Q821298) (← links)
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
• When are stochastic transition systems tameable? (Q1648646) (← links)
• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• A hybrid automata model of social networking addiction (Q1785868) (← links)
• Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion (Q2028043) (← links)
• A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
• Efficient simulation of general stochastic hybrid systems (Q2085142) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
• A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
• Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
• A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
• Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
• Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)