Pages that link to "Item:Q5703923"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703923):
Displaying 11 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
