Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... to the description and analysis of hybrid systems -- Integration Graphs: A class of decidable hybrid systems...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Condensation of information from signals for process modeling and control -- On the automatic verification...”