Scaling up controller synthesis for linear systems and safety specifications

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

8 Citations (Scopus)

Original language	English
Title of host publication	51st IEEE Conference on Decision and Control
Editors	J.A. Farrell
Place of Publication	Maui, USA
Publisher	IEEE
Pages	7638-7643
Number of pages	6
ISBN (Print)	978-1-4673-2064-1
Publication status	Published - 2012
Event	51st IEEE Conference on Decision and Control - Maui, USA Duration: 10 Dec 2012 → 13 Dec 2012

Name
Publisher	IEEE

Conference	51st IEEE Conference on Decision and Control
Period	10/12/12 → 13/12/12

Keywords

@inproceedings{27128430676d45eb9392860535d6b663,

title = "Scaling up controller synthesis for linear systems and safety specifications",

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

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

year = "2012",

language = "English",

isbn = "978-1-4673-2064-1",

publisher = "IEEE",

pages = "7638--7643",

editor = "J.A. Farrell",

booktitle = "51st IEEE Conference on Decision and Control",

address = "United States",

note = "51st IEEE Conference on Decision and Control ; Conference date: 10-12-2012 Through 13-12-2012",

}

TY - GEN

T1 - Scaling up controller synthesis for linear systems and safety specifications

AU - Rungger, M

AU - Mazo Espinosa, M

AU - Tabuada, P

PY - 2012

Y1 - 2012

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SN - 978-1-4673-2064-1

SP - 7638

EP - 7643

BT - 51st IEEE Conference on Decision and Control

A2 - Farrell, J.A.

PB - IEEE

CY - Maui, USA

T2 - 51st IEEE Conference on Decision and Control

Y2 - 10 December 2012 through 13 December 2012

ER -