Bisimilar symbolic models for stochastic control systems without state-space discretization

M Zamani; I Tkachev; A Abate

doi:10.1145/2562059.2562115

Bisimilar symbolic models for stochastic control systems without state-space discretization

M Zamani, I Tkachev, A Abate

Team Bart De Schutter

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

21 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 17th International Conference on Hybrid Systems: Computation and Control
Editors	M Fraanzle, J Lygeros
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	41-50
Number of pages	10
ISBN (Print)	978-1-4503-2732-9
DOIs	https://doi.org/10.1145/2562059.2562115
Publication status	Published - 2014
Event	HSCC'14, Berlin, Germany - New York, NY, USA Duration: 15 Apr 2014 → 17 Apr 2014

Publication series

Name
Publisher	ACM

Conference

Conference	HSCC'14, Berlin, Germany
Period	15/04/14 → 17/04/14

Bibliographical note

harvest ,
Part of the 7th Cyber Physical Systems, CPS Week 2014

Keywords

Conf.proc. > 3 pag

Access to Document

10.1145/2562059.2562115

Cite this

@inproceedings{b3cf6184bbb64424ae0d1d208124806b,

title = "Bisimilar symbolic models for stochastic control systems without state-space discretization",

keywords = "Conf.proc. > 3 pag",

author = "M Zamani and I Tkachev and A Abate",

note = "harvest , Part of the 7th Cyber Physical Systems, CPS Week 2014; HSCC'14, Berlin, Germany ; Conference date: 15-04-2014 Through 17-04-2014",

year = "2014",

doi = "10.1145/2562059.2562115",

language = "English",

isbn = "978-1-4503-2732-9",

publisher = "Association for Computing Machinery (ACM)",

pages = "41--50",

editor = "M Fraanzle and J Lygeros",

booktitle = "Proceedings 17th International Conference on Hybrid Systems: Computation and Control",

address = "United States",

}

Zamani, M, Tkachev, I & Abate, A 2014, Bisimilar symbolic models for stochastic control systems without state-space discretization. in M Fraanzle & J Lygeros (eds), Proceedings 17th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM), New York, NY, USA, pp. 41-50, HSCC'14, Berlin, Germany, 15/04/14. https://doi.org/10.1145/2562059.2562115

Bisimilar symbolic models for stochastic control systems without state-space discretization. / Zamani, M; Tkachev, I; Abate, A.
Proceedings 17th International Conference on Hybrid Systems: Computation and Control. ed. / M Fraanzle; J Lygeros. New York, NY, USA: Association for Computing Machinery (ACM), 2014. p. 41-50.

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

TY - GEN

T1 - Bisimilar symbolic models for stochastic control systems without state-space discretization

AU - Zamani, M

AU - Tkachev, I

AU - Abate, A

N1 - harvest , Part of the 7th Cyber Physical Systems, CPS Week 2014

PY - 2014

Y1 - 2014

KW - Conf.proc. > 3 pag

U2 - 10.1145/2562059.2562115

DO - 10.1145/2562059.2562115

M3 - Conference contribution

SN - 978-1-4503-2732-9

SP - 41

EP - 50

BT - Proceedings 17th International Conference on Hybrid Systems: Computation and Control

A2 - Fraanzle, M

A2 - Lygeros, J

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

T2 - HSCC'14, Berlin, Germany

Y2 - 15 April 2014 through 17 April 2014

ER -