Mining requirements from closed-loop control models
From MaRDI portal
Publication:2986909
DOI10.1145/2461328.2461337zbMath1362.93008OpenAlexW2153024173MaRDI QIDQ2986909
Jyotirmoy V. Deshmukh, Alexandre Donzé, Sanjit A. Seshia, Xiao-qing Jin
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.9296
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Robust online monitoring of signal temporal logic ⋮ A theory of formal synthesis via inductive learning ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Parameter Synthesis Through Temporal Logic Specifications ⋮ Survey on mining signal temporal logic specifications ⋮ System design of stochastic models using robustness of temporal properties
Uses Software
Cites Work
- A note on two problems in connexion with graphs
- Enhancing model checking in verification by AI techniques
- Receding horizon control for temporal logic specifications
- Model Repair for Probabilistic Systems
- Markov decision processes and regular events
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Mining requirements from closed-loop control models
