1
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... and verification of an industrial press -- Abstract verification of structured dynamical systems -- Design...

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Bisimulation of Dynamical Systems -- Control Design for a Hybrid Dynamic System: A NASA Life Support System...