scientific article; zbMATH DE number 1444358

MaRDI QIDQ4953400zbMATH OpenFDO

Authors Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta

Publication date 21 June 2000

Mathematics Subject Classification ID

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)

Cited in

(11)

• Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
• Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems
• A logical theory of localization
• A game-theoretic approach to fault diagnosis and identification of hybrid systems
• Secure diagnosability of hybrid dynamical systems
• Diagnosis and supervision: model-based approaches
• ModelPlex: verified runtime validation of verified cyber-physical system models
• Numerical solution of hybrid systems of differential-algebraic equations
• Robust state estimation and fault diagnosis for uncertain hybrid systems
• Fault diagnosis in discrete time hybrid systems -- a case study
• Robot location estimation in the situation calculus

This page was built for publication:

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