scientific article; zbMATH DE number 1444358
From MaRDI portal
Publication:4953400
zbMath0938.93553MaRDI QIDQ4953400
Sheila A. McIlraith, Gautam Biswas, Vineet Gupta, Dan Clancy
Publication date: 21 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Reliability, availability, maintenance, inspection in operations research (90B25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (10)
Numerical solution of hybrid systems of differential-algebraic equations ⋮ A logical theory of localization ⋮ Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems ⋮ Robust state estimation and fault diagnosis for uncertain hybrid systems ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Robot location estimation in the situation calculus ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
This page was built for publication: