Monitorability of Stochastic Dynamical Systems
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- Runtime Verification of Safety-Progress PropertiesLecture Notes in Computer Science, 2009
- Monitoring Temporal Properties of Stochastic SystemsPublished by Springer Science and Business Media LLC ,2008
- Taming Interface SpecificationsLecture Notes in Computer Science, 2005
- Monitoring Off-the-Shelf ComponentsLecture Notes in Computer Science, 2005
- Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC LanguageLecture Notes in Computer Science, 2005
- Real-time fault diagnosisIEEE Robotics & Automation Magazine, 2004
- Polynomial-time verification of diagnosability of partially observed discrete-event systemsIEEE Transactions on Automatic Control, 2002
- Robust Monte Carlo localization for mobile robotsArtificial Intelligence, 2001
- Control of stochastic discrete event systems modeled by probabilistic languagesIEEE Transactions on Automatic Control, 2001