The following pages link to (Q4965815):
Displaying 7 items.
- A formal mathematical framework for modeling probabilistic hybrid systems (Q870808) (← links)
- Analysis of accuracy of hybrid systems with random time quantization (Q1820117) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (Q3449467) (← links)
- Analysis and Simulation of Dynamics in Probabilistic P Systems (Q3618691) (← links)
- Characterization of dynamic system nonlinearities via probabilistic approach (Q4294391) (← links)