Robustness of temporal logic specifications for continuous-time signals
From MaRDI portal
Recommendations
Cites work
- A theory of timed automata
- Almost ASAP semantics: from timed models to timed implementations
- Approximation Metrics for Discrete and Continuous Systems
- Automata, Languages and Programming
- Averaging of nonsmooth systems using dither
- Distance to the intersection of two sets
- Dynamical properties of timed automata
- Estimation of the Lipschitz constant of a function
- Formal Modeling and Analysis of Timed Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- scientific article; zbMATH DE number 1667424 (Why is no real title available?)
- scientific article; zbMATH DE number 4017400 (Why is no real title available?)
- scientific article; zbMATH DE number 3930354 (Why is no real title available?)
- scientific article; zbMATH DE number 3982506 (Why is no real title available?)
- scientific article; zbMATH DE number 1947497 (Why is no real title available?)
- scientific article; zbMATH DE number 1956636 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 1744958 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 2112984 (Why is no real title available?)
- scientific article; zbMATH DE number 1424031 (Why is no real title available?)
- scientific article; zbMATH DE number 1444348 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
- Model checking a path (preliminary report)
- On the Expressiveness of MTL Variants over Dense Time
- Proving properties of continuous systems: Qualitative simulation and temporal logic
- Real-time logics: Complexity and expressiveness
- Robust Analysis of Timed Automata Via Channel Machines
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Robust Sampling for MITL Specifications
- Robust Test Generation and Coverage for Hybrid Systems
- Robustness of temporal logic specifications for continuous-time signals
- Temporal Logic Verification Using Simulation
- The algorithmic analysis of hybrid systems
- The benefits of relaxing punctuality
- Verification in continuous time by discrete reasoning
- What good are digital clocks?
Cited in
(82)- Quantitative monitoring of STL with edit distance
- Robust control for signal temporal logic specifications using discrete average space robustness
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Algebraic quantitative semantics for efficient online temporal monitoring
- Sampling polynomial trajectories for LTL verification
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
- Adaptive testing for specification coverage and refinement in CPS models
- Risk verification of stochastic systems with neural network controllers
- Parameter synthesis of polynomial dynamical systems
- Survey on mining signal temporal logic specifications
- MITL verification under timing uncertainty
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- An automated system repair framework with signal temporal logic
- Mixed-time signal temporal logic
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
- Towards physical hybrid systems
- System design of stochastic models using robustness of temporal properties
- Unwinding biological systems
- A fuzzy real-time temporal logic
- Model measuring for discrete and hybrid systems
- Robust online monitoring of signal temporal logic
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- A theory of sampling for continuous-time metric temporal logic
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Crossing the Bridge between Similar Games
- Rigorous simulation-based analysis of linear hybrid systems
- Robust Sampling for MITL Specifications
- Temporal Logic Verification Using Simulation
- Robust satisfaction of temporal logic over real-valued signals
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- Conformance relations and hyperproperties for doping detection in time and space
- scientific article; zbMATH DE number 7559473 (Why is no real title available?)
- Parameter synthesis through temporal logic specifications
- Temporal logic robustness for general signal classes
- Relaxed decidability and the robust semantics of metric temporal logic
- Theoretical Aspects of Computing – ICTAC 2005
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Specifiable robustness in reactive synthesis
- From LTL to rLTL monitoring: improved monitorability through robust semantics
- A few lessons learned in reinforcement learning for quadcopter attitude control
- Multi-Requirement Testing Using Focused Falsification
- Linear Time Monitoring for One Variable TPTL
- Temporal Robustness of Stochastic Signals
- Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
- A framework to measure the robustness of programs in the unpredictable environment
- Model predictive monitoring of dynamical systems for signal temporal logic specifications
- Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search
- Stealthy attacks formalized as STL formulas for Falsification of CPS Security
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
- 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
- Robust satisfaction of metric interval temporal logic objectives in adversarial environments
- A computable and compositional semantics for hybrid systems
- RobTL: robustness temporal logic for CPS
- Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction
- Inner and outer approximations of arbitrarily quantified reachability problems
- Runtime enforcement of CPS against signal temporal logic
- BT2automata: expressing behavior trees as automata for formal control synthesis
- Multi-layer motion planning with kinodynamic and spatio-temporal constraints
- Monitoring spatially distributed cyber-physical systems with alternating finite automata
- Falsification using reachability of surrogate Koopman models
- Fast and scalable monitoring for value-freeze operator augmented signal temporal logic
- Approximating the geometry of temporal logic formulas
- Inner and outer approximate quantifier elimination for general reachability problems
- STL and wSTL control synthesis: a disjunction-centric mixed-integer linear programming approach
- Measuring robustness in cyber-physical systems under sensor attacks
- Sample-based bounds for coherent risk measures: applications to policy synthesis and verification
- Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees
- Complete FSM testing using strong separability
- Robustness of temporal logic specifications for continuous-time signals
- Runtime verifiable implementation of recurring switching rules via signal temporal logic: industrial power system case study
- Model predictive online monitoring of dynamical systems for nested 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
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)
