Show simple item record

dc.contributor.authorMadsen, Curtisen_US
dc.contributor.authorVaidyanathan, Prashanten_US
dc.contributor.authorSadraddini, Sadraen_US
dc.contributor.authorVasile, Cristian-Ioanen_US
dc.contributor.authorDeLateur, Nicholas A.en_US
dc.contributor.authorWeiss, Ronen_US
dc.contributor.authorDensmore, Douglasen_US
dc.contributor.authorBelta, Calinen_US
dc.coverage.spatialMiami Beach, FLen_US
dc.date.accessioned2020-05-11T16:04:32Z
dc.date.available2020-05-11T16:04:32Z
dc.date.issued2018-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000458114801073&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=6e74115fe3da270499c3d65c9b17d654
dc.identifier.citationCurtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian-Ioan Vasile, Nicholas A DeLateur, Ron Weiss, Douglas Densmore, Calin Belta. 2018. "Metrics for Signal Temporal Logic Formulae." 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), pp. 1542 - 1547 (6).
dc.identifier.issn0743-1546
dc.identifier.urihttps://hdl.handle.net/2144/40745
dc.description.abstractSignal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research on verification and control synthesis from STL requirements, there is no formal framework for comparing two STL formulae. In this paper, we show that under mild assumptions, STL formulae admit a metric space. We propose two metrics over this space based on i) the Pompeiu-Hausdorff distance and ii) the symmetric difference measure, and present algorithms to compute them. Alongside illustrative examples, we present applications of these metrics for two fundamental problems: a) design quality measures: to compare all the temporal behaviors of a designed system, such as a synthetic genetic circuit, with the “desired” specification, and b) loss functions: to quantify errors in Temporal Logic Inference (TLI) as a first step to establish formal performance guarantees of TLI algorithms.en_US
dc.description.sponsorshipThis work was partially supported by the National Science Foundation under grant CPS Frontier 1446607 and NSF IIS-1723995. (1446607 - National Science Foundation under grant CPS Frontier; IIS-1723995 - NSF)en_US
dc.format.extentp. 1542 - 1547en_US
dc.languageEnglish
dc.language.isoen_US
dc.publisherIEEEen_US
dc.relation.ispartof2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC)
dc.subjectScience & technologyen_US
dc.subjectAutomation & control systemsen_US
dc.subjectEngineering, electrical & electronicen_US
dc.subjectRobustnessen_US
dc.subjectLogic in computer scienceen_US
dc.subjectFormal languages and automata theoryen_US
dc.titleMetrics for signal temporal logic formulaeen_US
dc.typeArticleen_US
dc.description.versionPublished versionen_US
pubs.elements-sourceweb-of-scienceen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Electrical & Computer Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Mechanical Engineeringen_US
pubs.publication-statusPublisheden_US
dc.identifier.mycv396573


This item appears in the following Collection(s)

Show simple item record