Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

M Rungger, M Mazo Espinosa, P Tabuada

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

36 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 16th International Conference on Hybrid Systems: Computation and Control
EditorsO Sokolsky
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages333-342
Number of pages10
ISBN (Print)978-1-4503-1567-8
DOIs
Publication statusPublished - 2013
EventHSCC' 3, Philadelphia, PA, USA - New York, NY, USA
Duration: 8 Apr 201311 Apr 2013

Publication series

Name
PublisherACM

Conference

ConferenceHSCC' 3, Philadelphia, PA, USA
Period8/04/1311/04/13

Keywords

  • Conf.proc. > 3 pag

Cite this