STL model checking of continuous and hybrid systems
From MaRDI portal
Recommendations
Cited in
(18)- 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
- A bounded model checking technique for discrete-time nonlinear systems
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Sampling polynomial trajectories for LTL verification
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Requirements Validation for Hybrid Systems
- A program logic to verify signal temporal logic specifications of hybrid systems
- Temporal Logic Verification Using Simulation
- STLInspector: STL validation with guarantees
- scientific article; zbMATH DE number 2090156 (Why is no real title available?)
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes
- Incremental reasoning in probabilistic signal temporal logic
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
- Parameter invariant monitoring for signal temporal logic
- Quantitative monitoring of STL with edit distance
- Localizing Faults in Simulink/Stateflow Models with STL
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)
