Robustness of temporal logic specifications for continuous-time signals
type: Item
instance of: scholarly article
title: Robustness of temporal logic specifications for continuous-time signals
zbMATH Open document ID: 1186.68287
author: Georgios E. Fainekos
author: George Pappas
published in: Theoretical Computer Science
publication date: 2009-10-09T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5612517
zbMATH Keywords: linear and metric temporal logic
zbMATH Keywords: robustness
zbMATH Keywords: metric spaces
zbMATH Keywords: testing
Wikidata QID: Q57581866
describes a project that uses: TaLiRo
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.06.021
OpenAlex ID: W2049399166
cites work: The algorithmic analysis of hybrid systems
cites work: A theory of timed automata
cites work: The benefits of relaxing punctuality
cites work: Real-time logics: Complexity and expressiveness
cites work: Hybrid Systems: Computation and Control
cites work: Robust Model-Checking of Linear-Time Properties in Timed Automata
cites work: Robust Analysis of Timed Automata Via Channel Machines
cites work: Q4821526
cites work: Q4531751
cites work: Q4530231
cites work: Automata, Languages and Programming
cites work: Verification in continuous time by discrete reasoning
cites work: Temporal Logic Verification Using Simulation
cites work: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
cites work: Robust Sampling for MITL Specifications
cites work: Q4945221
cites work: Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
cites work: On the Expressiveness of MTL Variants over Dense Time
cites work: Approximation Metrics for Discrete and Continuous Systems
cites work: Q4503930
cites work: Formal Modeling and Analysis of Timed Systems
cites work: What good are digital clocks?
cites work: Q4953389
cites work: Q4824483
cites work: Robust Test Generation and Coverage for Hybrid Systems
cites work: Q4417997
cites work: Q3029380
cites work: Q4411517
cites work: Averaging of nonsmooth systems using dither
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: CONCUR 2003 - Concurrency Theory
cites work: Distance to the intersection of two sets
cites work: Q2753177
cites work: Q3746875
cites work: Q3703299
cites work: Dynamical properties of timed automata
cites work: Proving properties of continuous systems: Qualitative simulation and temporal logic
cites work: Estimation of the Lipschitz constant of a function
cites work: Almost ASAP semantics: from timed models to timed implementations
DOI: 10.1016/J.TCS.2009.06.021
DBLP publication ID: journals/tcs/FainekosP09
description: scientific article; zbMATH DE number 5612517