Verification and Control of Hybrid Systems
Subtitle: A Symbolic Approach
By: by Paulo Tabuada
Contributors: SpringerLink (Online service)
Publisher: Springer-Verlag US
Published: 2009
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
ISBN-13: 9781441902238; 9781441902245
Subjects: Mathematics; Computer science; System theory