A new metric temporal logic for hybrid systems

Mark Reynolds

doi:10.1109/TIME.2013.17

A new metric temporal logic for hybrid systems

Research output: Chapter in Book/Conference paper › Conference paper

Original language	English
Title of host publication	TIME'13 20th International Symposium on Temporal Representation and Reasoning
Place of Publication	USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	73-80
Volume	1
ISBN (Print)	9780769551128
DOIs	https://doi.org/10.1109/TIME.2013.17
Publication status	Published - 2013
Event	TIME'13 20th International Symposium on Temporal Representation and Reasoning - Pensacola, United States Duration: 26 Sep 2013 → 28 Sep 2013

Conference

Conference	TIME'13 20th International Symposium on Temporal Representation and Reasoning
Country	United States
City	Pensacola
Period	26/09/13 → 28/09/13

Access to Document

10.1109/TIME.2013.17

Cite this

@inproceedings{ddfdc798a5584184bce5b78a0a0ce8c0,

title = "A new metric temporal logic for hybrid systems",

author = "Mark Reynolds",

year = "2013",

doi = "10.1109/TIME.2013.17",

language = "English",

isbn = "9780769551128",

volume = "1",

pages = "73--80",

booktitle = "TIME'13 20th International Symposium on Temporal Representation and Reasoning",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

note = "TIME'13 20th International Symposium on Temporal Representation and Reasoning ; Conference date: 26-09-2013 Through 28-09-2013",

}

Reynolds, M 2013, A new metric temporal logic for hybrid systems. in TIME'13 20th International Symposium on Temporal Representation and Reasoning. vol. 1, IEEE, Institute of Electrical and Electronics Engineers, USA, pp. 73-80, TIME'13 20th International Symposium on Temporal Representation and Reasoning, Pensacola, United States, 26/09/13. https://doi.org/10.1109/TIME.2013.17

TY - GEN

T1 - A new metric temporal logic for hybrid systems

AU - Reynolds, Mark

PY - 2013

Y1 - 2013

U2 - 10.1109/TIME.2013.17

DO - 10.1109/TIME.2013.17

M3 - Conference paper

SN - 9780769551128

VL - 1

SP - 73

EP - 80

BT - TIME'13 20th International Symposium on Temporal Representation and Reasoning

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - USA

T2 - TIME'13 20th International Symposium on Temporal Representation and Reasoning

Y2 - 26 September 2013 through 28 September 2013

ER -