scientific article; zbMATH DE number 1956625

zbMath1032.93529MaRDI QIDQ4417982

Ruth Hardy, Ursula Martin Webb, Richard J. Boulton

Publication date: 30 July 2003

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

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

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

From control law diagrams to Ada via \textsf{Circus} ⋮ A Hoare logic for linear systems

Uses Software

• ClawZ

This page was built for publication: