Timely monitoring of partially observable stochastic systems

DOI10.1145/2562059.2562136MaRDI QIDQ2986950zbMATH OpenOpenAlexFDO

Authors

Publication date 16 May 2017

Published in Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2562059.2562136

zbMATH Keywords

stochastic systemsconvergence propertiesruntime monitoringcyber physical systemsthreshold monitors

Mathematics Subject Classification ID

Observability (93B07) Application models in control theory (93C95) Stochastic systems in control theory (general) (93E03)

Recommendations

• Runtime monitors for Markov decision processes
• Monitoring Temporal Properties of Stochastic Systems
• Monitoring of dynamic processes by rectangular hybrid automata
• Analysis of faults in cyber-physical systems by finite discrete-time Markov chains

Cites work

• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Constrained model predictive control: Stability and optimality
• Convex Analysis
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Minkowski terminal cost functions for MPC
• On infinity norms as Lyapunov functions for piecewise affine systems
• Set-theoretic methods in control
• Stability analysis of piecewise discrete-time linear systems

Cited in

(9)

• On probabilistic monitorability
• scientific article; zbMATH DE number 6930545 (Why is no real title available?)
• Monitoring of logic-dynamic systems based on sampled performance data
• Monitoring and control of anytime algorithms: A dynamic programming approach
• Monitoring of dynamic processes by rectangular hybrid automata
• Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification
• scientific article; zbMATH DE number 1737293 (Why is no real title available?)
• Model predictive runtime verification for cyber-physical systems with real-time deadlines
• A Multiresolution Analysis of Temporal Logic

Describes a project that uses

Uses Software

• MPT
• YALMIP
• CPLEX

This page was built for publication: Timely monitoring of partially observable stochastic systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986950)