Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Symbolic models for stochastic switched systems: A discretization and a discretization-free approach |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Symbolic models for stochastic switched systems: A discretization and a discretization-free approach |
scientific article |
Statements
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (English)
0 references
12 January 2018
0 references
stochastic hybrid systems
0 references
stochastic switched systems
0 references
formal synthesis
0 references
finite abstractions
0 references
symbolic models
0 references
0.8476517796516418
0 references
0.8240240216255188
0 references
0.7989180088043213
0 references
0.7793269157409668
0 references
0.7720776200294495
0 references
