Timed automata with observers under energy constraints

Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

39 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 13th ACM International Conference on Hybrid Systems : Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010
Publisher	Association for Computing Machinery
Publication date	2010
ISBN (Print)	978-1-60558-955-8
DOIs	https://doi.org/10.1145/1755952.1755963
Publication status	Published - 2010

Access to Document

@inproceedings{dbf2c155badc4312b09c5cf7bacd1e9f,

title = "Timed automata with observers under energy constraints",

author = "Patricia Bouyer and Uli Fahrenberg and Larsen, {Kim Guldstrand} and Nicolas Markey",

year = "2010",

doi = "10.1145/1755952.1755963",

language = "English",

isbn = "978-1-60558-955-8",

booktitle = "Proceedings of the 13th ACM International Conference on Hybrid Systems",

publisher = "Association for Computing Machinery",

address = "United States",

}

Timed automata with observers under energy constraints. / Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand et al.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery, 2010.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Timed automata with observers under energy constraints

AU - Bouyer, Patricia

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

PY - 2010

Y1 - 2010

U2 - 10.1145/1755952.1755963

DO - 10.1145/1755952.1755963

M3 - Article in proceeding

SN - 978-1-60558-955-8

BT - Proceedings of the 13th ACM International Conference on Hybrid Systems

PB - Association for Computing Machinery

ER -