- Title:
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Zamani, Majid; Abate, Alessandro; Girard, Antoine
- Journal title:
- Automatica
- Year:
- 2015
- Journal volume:
- 55
- Pages contribution:
- 183-196
- Fulltext / DOI:
- doi:10.1016/j.automatica.2015.03.004
- Publisher:
- Elsevier BV
- E-ISSN:
- 0005-1098
- Date of publication:
- 01.05.2015
- BibTeX