Choose an application

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

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

Digital control systems --- Hybrid computers --- Commande numérique --- Calculateurs hybrides --- Congresses --- Congrès --- Commande numérique --- Congrès --- Computer science. --- Information theory. --- Computer network architectures. --- Software engineering. --- Logic design. --- Processor Architectures. --- Theory of Computation. --- Computer System Implementation. --- 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 --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Hybrid computers - Congresses --- Digital control systems - Congresses

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.

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

Choose an application

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

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.

Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Digital control systems --- Electrical Engineering --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Software Engineering. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses. --- Digital control systems - Congresses.

Choose an application

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

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.

Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Commande numérique --- Congresses. --- Congrès --- Digital control systems -- Congresses. --- Hybrid computers -- Congresses. --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Logics and Meanings of Programs. --- Software Engineering. --- Computation by Abstract Devices. --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer