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

M Rungger; M Mazo Espinosa; P Tabuada

doi:10.1145/2461328.2461378

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

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

49 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
Editors	O Sokolsky
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	333-342
Number of pages	10
ISBN (Print)	978-1-4503-1567-8
DOIs	https://doi.org/10.1145/2461328.2461378
Publication status	Published - 2013
Event	HSCC' 3, Philadelphia, PA, USA - New York, NY, USA Duration: 8 Apr 2013 → 11 Apr 2013

Publication series

Name
Publisher	ACM

Conference

Conference	HSCC' 3, Philadelphia, PA, USA
Period	8/04/13 → 11/04/13

Keywords

Conf.proc. > 3 pag

Access to Document

10.1145/2461328.2461378

Cite this

@inproceedings{63fcc7b4643741989c257307bb134440,

title = "Specification-guided controller synthesis for linear systems and safe linear-time temporal logic",

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

author = "M Rungger and {Mazo Espinosa}, M and P Tabuada",

year = "2013",

doi = "10.1145/2461328.2461378",

language = "English",

isbn = "978-1-4503-1567-8",

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

pages = "333--342",

editor = "O Sokolsky",

booktitle = "Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control",

address = "United States",

note = "HSCC' 3, Philadelphia, PA, USA ; Conference date: 08-04-2013 Through 11-04-2013",

}

Rungger, M, Mazo Espinosa, M & Tabuada, P 2013, Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. in O Sokolsky (ed.), Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM), New York, NY, USA, pp. 333-342, HSCC' 3, Philadelphia, PA, USA, 8/04/13. https://doi.org/10.1145/2461328.2461378

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. / Rungger, M; Mazo Espinosa, M; Tabuada, P.
Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ed. / O Sokolsky. New York, NY, USA: Association for Computing Machinery (ACM), 2013. p. 333-342.

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

TY - GEN

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

AU - Rungger, M

AU - Mazo Espinosa, M

AU - Tabuada, P

PY - 2013

Y1 - 2013

KW - Conf.proc. > 3 pag

U2 - 10.1145/2461328.2461378

DO - 10.1145/2461328.2461378

M3 - Conference contribution

SN - 978-1-4503-1567-8

SP - 333

EP - 342

BT - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control

A2 - Sokolsky, O

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

T2 - HSCC' 3, Philadelphia, PA, USA

Y2 - 8 April 2013 through 11 April 2013

ER -