bibliographer - Klaus Röbenack

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the Nonlinear Observability of Polynomial Dynamical Systems Daniel Gerbet Klaus Röbenack [github]

An efficient method to compute Lie derivatives and the observability matrix for nonlinear systems Klaus Röbenack Kurt Reinschke [github]

Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination Klaus Robenack Rick Voswinkel [github]

On global and local observability of nonlinear polynomial systems: a decidable criterion Daniel Gerbet Klaus Röbenack [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]