Mining requirements from closed-loop control models
From MaRDI portal
Recommendations
- Lectures on Concurrency and Petri Nets
- Event-driven temporal logic pattern for control software requirements specification
- Symbolic-numeric reachability analysis of closed-loop control software
- On the polynomial dynamic system approach to software development
- Powertrain control verification benchmark
Cites work
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A note on two problems in connexion with graphs
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
- Enhancing model checking in verification by AI techniques
- scientific article; zbMATH DE number 5595151 (Why is no real title available?)
- scientific article; zbMATH DE number 2080065 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Markov decision processes and regular events
- Model repair for probabilistic systems
- Receding horizon control for temporal logic specifications
Cited in
(7)- A theory of formal synthesis via inductive learning
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Survey on mining signal temporal logic specifications
- System design of stochastic models using robustness of temporal properties
- Robust online monitoring of signal temporal logic
- Parameter synthesis through temporal logic specifications
- Lectures on Concurrency and Petri Nets
This page was built for publication: Mining requirements from closed-loop control models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986909)
