Search alternatives:
application » applications

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...Control Synthesis of Hybrid Systems Based on Predicate Invariance -- Computing Approximating...