Weakness monitors for fail-aware systems

DOI10.1007/978-3-030-57628-8_17OpenAlexW3081262891MaRDI QIDQ1996039

Stefan Jakšić, Wolfgang Granig, Horst Lewitschnig, Cristinel Mateis, Dejan Ničković

Publication date: 2 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57628-8_17

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

Cites Work

• Model predictive control: Theory and practice - a survey
• Fail-awareness in timed asynchronous systems
• Receding Horizon Temporal Logic Planning
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: Weakness monitors for fail-aware systems