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

M Zamani, I Tkachev, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

19 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 17th International Conference on Hybrid Systems: Computation and Control
EditorsM Fraanzle, J Lygeros
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages41-50
Number of pages10
ISBN (Print)978-1-4503-2732-9
DOIs
Publication statusPublished - 2014
EventHSCC'14, Berlin, Germany - New York, NY, USA
Duration: 15 Apr 201417 Apr 2014

Publication series

Name
PublisherACM

Conference

ConferenceHSCC'14, Berlin, Germany
Period15/04/1417/04/14

Bibliographical note

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

Keywords

  • Conf.proc. > 3 pag

Cite this