Pages that link to "Item:Q5703923"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703923):
Displaying 15 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)
- Topological (bi-)simulation (Q2847419) (← 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)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Hybrid Systems: Computation and Control (Q5703957) (← links)
