scientific article; zbMATH DE number 2000403

zbMath1023.93512MaRDI QIDQ4433932

Thomas Stauner

Publication date: 3 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2178/21780079.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)

Related Items (1)

Towards Component Based Design of Hybrid Systems: Safety and Stability

Uses Software

• PVS

This page was built for publication: