Related Books
Language: en
Pages: 636
Pages: 636
Type: BOOK - Published: 1996-04-24 - Publisher: Springer Science & Business Media
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: 618
Pages: 618
Type: BOOK - Published: 1996-05-01 - Publisher:
Language: en
Pages: 583
Pages: 583
Type: BOOK - Published: 2009-10-15 - Publisher: Cambridge University Press
Sets out core theory and reviews new methods and applications to show how hybrid systems can be modelled and understood.
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
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
