STL model checking of continuous and hybrid systems
From MaRDI portal
Recommendations
Cited in
(20)- Quantitative monitoring of STL with edit distance
- Sampling polynomial trajectories for LTL verification
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- STLInspector: STL validation with guarantees
- Incremental reasoning in probabilistic signal temporal logic
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Temporal Logic Verification Using Simulation
- Requirements Validation for Hybrid Systems
- Parameter invariant monitoring for signal temporal logic
- Localizing Faults in Simulink/Stateflow Models with STL
- scientific article; zbMATH DE number 2090156 (Why is no real title available?)
- Interface-aware signal temporal logic
- Model predictive monitoring of dynamical systems for signal temporal logic specifications
- A program logic to verify signal temporal logic specifications of hybrid systems
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes
- A bounded model checking technique for discrete-time nonlinear systems
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees
This page was built for publication: STL model checking of continuous and hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1990521)
