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.
| ISBN: | 9783540626008 |
| Publication date: | 5th March 1997 |
| Author: | Oded Maler |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 426 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Automatic control engineering Expert systems / knowledge-based systems Software Engineering Mathematical theory of computation Computer architecture and logic design |
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 features in the following genres: Automatic control engineering, Expert systems / knowledge-based systems, Software Engineering, Mathematical theory of computation, Computer architecture and logic design
Paperback. Not Available.
Hybrid and Real-Time Systems was written by Oded Maler and published by Springer an imprint of Springer Berlin Heidelberg
Hybrid and Real-Time Systems has 426 pages
Yes it is part of Lecture Notes in Computer Science series