Hybrid and Real-Time Systems

Hybrid and Real-Time Systems
Author: Oded Maler
Publisher: Springer Science & Business Media
Total Pages: 444
Release: 1997-03-05
Genre: Technology & Engineering
ISBN: 9783540626008


Download Hybrid and Real-Time Systems Book in PDF, Epub and Kindle

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. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.


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

GET 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: 542
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2007-09-04 - Publisher: Springer

GET 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

GET 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: 263
Authors: Cliff Jones
Categories: Computers
Type: BOOK - Published: 2018-09-28 - Publisher: Springer

GET 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 Systems
Language: en
Pages: 488
Authors: Robert Grossman
Categories: Calculateurs hybrides
Type: BOOK - Published: 1993 - Publisher: Springer

GET EBOOK

"Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are ty