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)

A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals.

Control automático --- Sistemas empotrados --- Automatic control. --- System design. --- Embedded Internet devices. --- Internet of things. --- Formal methods (Computer science) --- System design --- IoT (Computer networks) --- Things, Internet of --- Computer networks --- Embedded Internet devices --- Machine-to-machine communications --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Embedded networking hardware --- Internet-based embedded devices --- Embedded computer systems --- Internet of things --- Design, System --- Systems design --- Electronic data processing --- System analysis

Choose an application

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

Computer software --- Logiciels --- Integrated circuits --- Circuits intégrés --- Electronic digital computers --- Ordinateurs --- Verification --- Vérification --- Congrès --- Evaluation --- Évaluation --- Circuits intégrés --- Congresses. --- Vérification --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Mathematical logic. --- Logic Design. --- Computer science. --- Logic design. --- Software engineering. --- Computers. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Computer algorithms. --- Algorithms --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Computer software - Verification - Congresses --- Logiciels - Vérification - Congrès - Congrès --- Integrated circuits - Verification - Congresses --- Circuits intégrés - Vérification - Congrès --- Electronic digital computers - Evaluation - Congresses --- Ordinateurs - Évaluation - Congrès --- Logic, Symbolic and mathematical.

Choose an application

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

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Congresses. --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer system performance. --- System Performance and Evaluation. --- Simulation and Modeling. --- Control, Robotics, Mechatronics. --- Computer science. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Computers. --- Computer logic. --- Computer simulation. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- 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 --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Informatics --- Science --- Failures --- 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 --- Computers, Special purpose.

Choose an application

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

Mathematics --- Applied physical engineering --- Engineering sciences. Technology --- Plant and equipment --- Production management --- Mass communications --- Computer architecture. Operating systems --- procesautomatisering --- embedded systems --- toegepaste wiskunde --- computerbesturingssystemen --- systeemtheorie --- machines --- OS (operating system) --- communicatietechnologie --- regeltechniek --- informatietheorie