Choose an application

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

Computer. Automation --- Differential equations --- Hybrid computers. --- Mathematical optimization --- Data processing. --- Calculateurs hybrides --- Equations différentielles --- Optimisation mathématique --- Informatique

Choose an application

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

Computer architecture. Operating systems --- Hybrid computers --- Numerical calculations --- 519.2 --- Numerical analysis --- Computers --- Probability. Mathematical statistics --- Hybrid computers. --- Numerical calculations. --- 519.2 Probability. Mathematical statistics --- Calculateurs hybrides --- Calculs numériques

Choose an application

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

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.

Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Commande numérique --- Congresses. --- Congrès --- Commande numérique --- Congrès --- Congresses --- Digital control systems - Congresses. --- Computer science. --- Information theory. --- Software engineering. --- Logic design. --- Processor Architectures. --- Control and Systems Theory. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer networks --- Réseaux d'ordinateurs --- Informatique --- Computer science --- Réseaux d'ordinateurs. --- Computer networks. --- Réseaux d'ordinateurs --- Hybrid computers - Congresses. --- Basic (computer program language) --- Reseaux

Choose an application

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

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.

Hybrid computers --- Calculateurs hybrides --- Congresses --- Congrès --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Software engineering. --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Theory of Computation. --- Computer System Implementation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Architecture, Computer --- Special purpose computers --- Computers --- Informatics --- Science --- Foundations --- Digital control systems --- Logic design. --- Information theory. --- Computer network architectures. --- Computer software. --- Software, Computer --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Hybrid computers - Congresses. --- Computer architecture. --- Computers, Special purpose.

Choose an application

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

Hybrid computers. --- Calculateurs hybrides --- Hybrid computers --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Software engineering. --- Computers. --- Artificial intelligence. --- Complexity, Computational. --- Computer Science. --- Theory of Computation. --- Computer System Implementation. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Complexity. --- Informatics --- Science --- Complexity, Computational --- Electronic data processing --- Machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Architecture, Computer --- Special purpose computers --- Computers --- Information theory. --- Computer network architectures. --- Engineering. --- Artificial Intelligence. --- Construction --- Industrial arts --- Technology --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Computational complexity.