The following pages link to (Q2766628):
Displayed 19 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- 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)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- A hybrid automata model of social networking addiction (Q1785868) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← 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)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (Q2945585) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (Q3523106) (← links)
- AutomationML as a Shared Model for Offline- and Realtime-Simulation of Production Plants and for Anomaly Detection (Q5245450) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)