Symbolic control of stochastic switched systems via finite abstractions

M Zamani; A Abate

doi:10.1007/978-3-642-40196-1_27

Symbolic control of stochastic switched systems via finite abstractions

M Zamani, A Abate

Team Bart De Schutter

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

8 Citations (Scopus)

Original language	English
Title of host publication	Proceeedings 10th International Conference on Quantitative Evaluation of SysTems 2013
Editors	J Kaustubh, M Siegle, M Stoelinga, PR D' Argenio
Place of Publication	Berlin - Heidelberg, Germany
Publisher	Springer
Pages	305-321
Number of pages	17
ISBN (Print)	978-3-642-40195-4
DOIs	https://doi.org/10.1007/978-3-642-40196-1_27
Publication status	Published - 2013
Event	QEST 2013, Buenos Aires, Argentina - Berlin - Heidelberg, Germany Duration: 27 Aug 2013 → 30 Aug 2013

Publication series

Name
Publisher	Springer verlag

Name	Lecture Notes in Computer Science
Volume	8054
ISSN (Print)	0302-9743

Conference

Conference	QEST 2013, Buenos Aires, Argentina
Period	27/08/13 → 30/08/13

Access to Document

10.1007/978-3-642-40196-1_27

Cite this

Zamani, M., & Abate, A. (2013). Symbolic control of stochastic switched systems via finite abstractions. In J. Kaustubh, M. Siegle, M. Stoelinga, & PR. D' Argenio (Eds.), Proceeedings 10th International Conference on Quantitative Evaluation of SysTems 2013 (pp. 305-321). (Lecture Notes in Computer Science; Vol. 8054). Springer. https://doi.org/10.1007/978-3-642-40196-1_27

@inproceedings{c2c4e1dd234d4f9e939173e4a2b6c595,

title = "Symbolic control of stochastic switched systems via finite abstractions",

author = "M Zamani and A Abate",

year = "2013",

doi = "10.1007/978-3-642-40196-1_27",

language = "English",

isbn = "978-3-642-40195-4",

publisher = "Springer",

pages = "305--321",

editor = "J Kaustubh and M Siegle and M Stoelinga and {D' Argenio}, PR",

booktitle = "Proceeedings 10th International Conference on Quantitative Evaluation of SysTems 2013",

note = "QEST 2013, Buenos Aires, Argentina ; Conference date: 27-08-2013 Through 30-08-2013",

}

Zamani, M & Abate, A 2013, Symbolic control of stochastic switched systems via finite abstractions. in J Kaustubh, M Siegle, M Stoelinga & PR D' Argenio (eds), Proceeedings 10th International Conference on Quantitative Evaluation of SysTems 2013. Lecture Notes in Computer Science, vol. 8054, Springer, Berlin - Heidelberg, Germany, pp. 305-321, QEST 2013, Buenos Aires, Argentina, 27/08/13. https://doi.org/10.1007/978-3-642-40196-1_27

Symbolic control of stochastic switched systems via finite abstractions. / Zamani, M; Abate, A.
Proceeedings 10th International Conference on Quantitative Evaluation of SysTems 2013. ed. / J Kaustubh; M Siegle; M Stoelinga; PR D' Argenio. Berlin - Heidelberg, Germany: Springer, 2013. p. 305-321 (Lecture Notes in Computer Science; Vol. 8054).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Symbolic control of stochastic switched systems via finite abstractions

AU - Zamani, M

AU - Abate, A

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40196-1_27

DO - 10.1007/978-3-642-40196-1_27

M3 - Conference contribution

SN - 978-3-642-40195-4

SP - 305

EP - 321

BT - Proceeedings 10th International Conference on Quantitative Evaluation of SysTems 2013

A2 - Kaustubh, J

A2 - Siegle, M

A2 - Stoelinga, M

A2 - D' Argenio, PR

PB - Springer

CY - Berlin - Heidelberg, Germany

T2 - QEST 2013, Buenos Aires, Argentina

Y2 - 27 August 2013 through 30 August 2013

ER -