IEEE - Institute of Electrical and Electronics Engineers, Inc. - Feasibility envelopes for metric temporal logic specifications

2016 IEEE 55th Conference on Decision and Control (CDC)

Author(s): Sadra Sadraddini ; Calin Belta
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2016
Conference Location: Las Vegas, NV, USA
Conference Date: 12 December 2016
Page(s): 5,732 - 5,737
ISBN (Electronic): 978-1-5090-1837-6
ISBN (DVD): 978-1-5090-1844-4
DOI: 10.1109/CDC.2016.7799150
Regular:

Designing control policies from complex specifications has drawn significant attention in recent years. Metric temporal logic (MTL) is a specification formalism for describing a wide range of... View More

Advertisement