Robustness of temporal logic specifications for continuous-time signals
From MaRDI portal
Publication:732015
DOI10.1016/J.TCS.2009.06.021zbMATH Open1186.68287DBLPjournals/tcs/FainekosP09OpenAlexW2049399166WikidataQ57581866 ScholiaQ57581866MaRDI QIDQ732015FDOQ732015
George Pappas, Georgios E. Fainekos
Publication date: 9 October 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.06.021
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- A theory of timed automata
- On the Expressiveness of MTL Variants over Dense Time
- The benefits of relaxing punctuality
- What good are digital clocks?
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Real-time logics: Complexity and expressiveness
- Approximation Metrics for Discrete and Continuous Systems
- The algorithmic analysis of hybrid systems
- Robustness of temporal logic specifications for continuous-time signals
- Estimation of the Lipschitz constant of a function
- Almost ASAP semantics: from timed models to timed implementations
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Formal Modeling and Analysis of Timed Systems
- CONCUR 2003 - Concurrency Theory
- Averaging of nonsmooth systems using dither
- Automata, Languages and Programming
- Verification in continuous time by discrete reasoning
- Dynamical properties of timed automata
- Robust Analysis of Timed Automata Via Channel Machines
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- Hybrid Systems: Computation and Control
- Robust Sampling for MITL Specifications
- Temporal Logic Verification Using Simulation
- Robust Test Generation and Coverage for Hybrid Systems
- Proving properties of continuous systems: Qualitative simulation and temporal logic
- Distance to the intersection of two sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (56)
- Survey on mining signal temporal logic specifications
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Mixed-time signal temporal logic
- Title not available (Why is that?)
- Robust control for signal temporal logic specifications using discrete average space robustness
- Model predictive monitoring of dynamical systems for signal temporal logic specifications
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Title not available (Why is that?)
- Unwinding biological systems
- Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search
- Algebraic quantitative semantics for efficient online temporal monitoring
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Model measuring for discrete and hybrid systems
- An automated system repair framework with signal temporal logic
- A fuzzy real-time temporal logic
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- Specifiable robustness in reactive synthesis
- System design of stochastic models using robustness of temporal properties
- Robustness of temporal logic specifications for continuous-time signals
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Title not available (Why is that?)
- From LTL to rLTL monitoring: improved monitorability through robust semantics
- Quantitative monitoring of STL with edit distance
- Sampling polynomial trajectories for LTL verification
- Crossing the Bridge between Similar Games
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
- Parameter synthesis of polynomial dynamical systems
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
- MITL verification under timing uncertainty
- Title not available (Why is that?)
- Towards physical hybrid systems
- Robust online monitoring of signal temporal logic
- Adaptive testing for specification coverage and refinement in CPS models
- Parameter Synthesis Through Temporal Logic Specifications
- A few lessons learned in reinforcement learning for quadcopter attitude control
- Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
- Linear Time Monitoring for One Variable TPTL
- Multi-Requirement Testing Using Focused Falsification
- Temporal Robustness of Stochastic Signals
- Risk verification of stochastic systems with neural network controllers
- A framework to measure the robustness of programs in the unpredictable environment
- Robust satisfaction of metric interval temporal logic objectives in adversarial environments
- A computable and compositional semantics for hybrid systems
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
- Stealthy attacks formalized as STL formulas for Falsification of CPS Security
- Assured learning-enabled autonomy: a metacognitive reinforcement learning framework
- Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
- Online causation monitoring of signal temporal logic
- Model predictive runtime verification for cyber-physical systems with real-time deadlines
Uses Software
This page was built for publication: Robustness of temporal logic specifications for continuous-time signals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q732015)
