Hybrid and Real-Time Systems

4.11 - 1251 ratings - Source

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.The adjustment operation seems to be the hard part of the calculation (we have
only implemented the discrete-time representation so far) but at least this
operation is performed only on the fractional bits (and hence is sensitive to the
number of clocks but not to their ranges). ... of timed and hybrid automata have
been developed recently, e.g. KRONOS [DOY94], UPPAL [BGK+] and Hy-Tech [
AHH93].

Title

:

Hybrid and Real-Time Systems

Author

:

Oded Maler

Publisher

:

Springer Science & Business Media - 1997-03-05

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.