Pages that link to "Item:Q5307925"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307925):
Displaying 12 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Stability analysis for stochastic hybrid systems: a survey (Q472550) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Optimal control of stochastic hybrid system with jumps: a numerical approximation (Q2349616) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- Feller property of regime-switching jump diffusion processes with hybrid jumps (Q6571709) (← links)
