Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya (Systems & Control: Foundations & Applications)
Edition: 1 edition
Publisher: Birkhäuser Boston
Published: July 15, 2005
Language: eng
Format: Hardcover
Number of pages: 358
ISBN-13: 9780817643850
Subjects: Automatic control engineering; Engineering - General; Electronics - Circuits - General; Technology; Technology & Industrial Arts; Science/Mathematics; Feedback control systems; Applied; Engineering - Electrical & Electronic; Mathematics / Applied; Data transmission systems; Electronics - General; Computer networks
First sentence: Reachability analysis for continuous and hybrid systems is important for the automatic verification of safety properties and for the synthesis of safe controllers for these systems [2, 3].