Listing 1 - 2 of 2 |
Sort by
|
Choose an application
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
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.
Listing 1 - 2 of 2 |
Sort by
|