Robustness of temporal logic specifications for continuous-time signals
Top Cited Papers
- 28 September 2009
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 410 (42), 4262-4291
- https://doi.org/10.1016/j.tcs.2009.06.021
Abstract
No abstract availableKeywords
This publication has 43 references indexed in Scilit:
- Averaging of nonsmooth systems using ditherAutomatica, 2006
- Convex OptimizationJournal of the American Statistical Association, 2005
- Monitoring Algorithms for Metric Temporal Logic SpecificationsElectronic Notes in Theoretical Computer Science, 2005
- Distance to the intersection of two setsBulletin of the Australian Mathematical Society, 2004
- Runtime Verification of Timed LTL using Disjunctive Normalized Equation SystemsElectronic Notes in Theoretical Computer Science, 2003
- Robust timed automataLecture Notes in Computer Science, 1997
- Real-time logics: Fictitious clock as an abstraction of dense timePublished by Springer Science and Business Media LLC ,1997
- The benefits of relaxing punctualityJournal of the ACM, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994