Real and complex analysis, 3rd ed.
Real and complex analysis, 3rd ed.
A game-theoretic approach to hybrid system design
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
What's decidable about hybrid automata?
Journal of Computer and System Sciences
CONDENSATION—Conditional Density Propagation forVisual Tracking
International Journal of Computer Vision
Robust Monte Carlo localization for mobile robots
Artificial Intelligence
Digital Control of Dynamic Systems
Digital Control of Dynamic Systems
Introduction to Hybrid Dynamical Systems
Introduction to Hybrid Dynamical Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Mode Estimation of Probabilistic Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Design of Observers for Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Verifying Liveness Properties of Reactive Systems (Tutorial Abstract)
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Taming interface specifications
CONCUR 2005 - Concurrency Theory
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties
RTCSA '05 Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Hybrid Estimation of Complex Systems (Lecture Notes in Control and Information Sciences)
Hybrid Estimation of Complex Systems (Lecture Notes in Control and Information Sciences)
Monitoring the Full Range of ω -Regular Properties of Stochastic Systems
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Monitoring Interfaces for Faults
Electronic Notes in Theoretical Computer Science (ENTCS)
Estimation of distributed hybrid systems Using particle filtering methods
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Monitoring temporal properties of stochastic systems
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Runtime verification of stochastic, faulty systems
RV'10 Proceedings of the First international conference on Runtime verification
Monitorability of stochastic dynamical systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Monitoring a complex physical system using a hybrid dynamic bayes net
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Rao-blackwellised particle filtering for dynamic Bayesian networks
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Monitoring off-the-shelf components
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Efficient monitoring of ω-languages
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Software health management: a necessity for safety critical systems
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Correct functioning of cyber-physical systems is of critical importance. This is more so in the case of safety critical systems such as in medical, automotive and many other applications. Since verification of correctness, in general, is infeasible and testing is not exhaustive, it is of critical importance to monitor such system during their operation and detect erroneous behaviors to be acted on. A distinguishing property of cyber-physical systems is that they are described by a mixture of integer-valued and real-valued variables. As a result, approaches that assume countable number of states are not applicable for runtime monitoring of such systems. This paper proposes a formalism, called Extended Hidden Markov systems, for specifying behavior of systems with such hybrid state. Using measure theory, it exactly characterizes when such systems are monitorable with respect to a given property. It also presents monitoring algorithms and experimental results showing their effectiveness.