Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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 computers --- Real-time data processing --- Calculateurs hybrides --- Temps réel --- Congresses --- Congrès --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Temps réel --- Congrès --- Engineering. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Control engineering. --- Robotics. --- Mechatronics. --- Control. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Software Engineering. --- Control, Robotics, Mechatronics. --- Information theory. --- Computer science. --- Control and Systems Theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Minicomputers --- Special purpose computers --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Informatique --- Computer science --- Hybrid computers - Congresses. --- Real-time data processing - Congresses. --- Computer softwares --- Programming languages --- Automatic control. --- Computers, Special purpose.