The following pages link to (Q4953400):
Displayed 10 items.
- A logical theory of localization (Q310092) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Numerical solution of hybrid systems of differential-algebraic equations (Q839240) (← links)
- Robust state estimation and fault diagnosis for uncertain hybrid systems (Q854126) (← links)
- Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach (Q1797058) (← links)
- Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems (Q2383490) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)