Related Books

Hybrid and Real-Time Systems
Language: en
Pages: 444
Authors: Oded Maler
Categories: Technology & Engineering
Type: BOOK - Published: 1997-03-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.
Formal Methods and Hybrid Real-Time Systems
Language: en
Pages: 551
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2007-09-04 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed pa
Hybrid Systems: Computation and Control
Language: en
Pages: 595
Authors: Joao Hespanha
Categories: Computers
Type: BOOK - Published: 2006-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, C
Symposium on Real-Time and Hybrid Systems
Language: en
Pages: 273
Authors: Cliff Jones
Categories: Computers
Type: BOOK - Published: 2018-09-28 - Publisher: Springer

DOWNLOAD EBOOK

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were amon
Hybrid Simulation
Language: en
Pages: 242
Authors: Victor Saouma
Categories: Computers
Type: BOOK - Published: 2014-04-21 - Publisher: CRC Press

DOWNLOAD EBOOK

Hybrid Simulation deals with a rapidly evolving technology combining computer simulation (typically finite element) and physical laboratory testing of two compl