scientific article; zbMATH DE number 2000403

MaRDI QIDQ4433932zbMATH OpenFDO

Authors Thomas Stauner

Publication date 3 November 2003

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

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)

Recommendations

• scientific article; zbMATH DE number 1507210
• scientific article; zbMATH DE number 1617300
• The Complete Proof Theory of Hybrid Systems
• Logical analysis of hybrid systems: a complete answer to a complexity challenge
• scientific article; zbMATH DE number 1522990

Cited in

(1)

• Towards Component Based Design of Hybrid Systems: Safety and Stability

Describes a project that uses

Uses Software

• PVS

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 Q4433932)