Hybrid and Real-Time Systems

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

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.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA