Verification and Control of Hybrid Systems: A Symbolic Approach

Symbolic

by Paulo Tabuada

Hardcover

ISBN: 978-1-4419-0223-8

ISBN-10: 1-4419-0223-6

Springer · 2009