Related Books
Language: en
Pages: 422
Pages: 422
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer schoo
Language: en
Pages: 202
Pages: 202
Type: BOOK - Published: 2009-06-12 - Publisher: Springer Science & Business Media
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo
Language: en
Pages: 619
Pages: 619
Type: BOOK - Published: 1996-04-24 - Publisher: Springer
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in N
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2015-06-05 - Publisher: Springer
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic o
Language: en
Pages: 619
Pages: 619
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in N