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)

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

Computer software --- Electronic digital computers --- Logiciels --- Ordinateurs --- Verification --- Congresses. --- Evaluation --- Vérification --- Congrès --- Vérification --- Congrès --- Congresses --- Logic design. --- Information theory. --- Computer hardware. --- Software engineering. --- Computer science. --- Logics and Meanings of Programs. --- Theory of Computation. --- Computer Hardware. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics

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

Choose an application

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

Choose an application

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

The vast majority of control systems built today are embedded; that is, they rely on built-in, special-purpose digital computers to close their feedback loops. Embedded systems are common in aircraft, factories, chemical processing plants, and even in cars a single high-end automobile may contain over eighty different computers. In such settings, controllers often use shared networks to communicate with each other and with large numbers of sensors and actuators scattered throughout the system. The design of embedded controllers and of the intricate, automated communication networks that support them raises many new questions practical, as well as theoretical about network protocols, compatibility of operating systems, and ways to maximize the effectiveness of the embedded hardware. The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, and students a broad, comprehensive source of information and technology to address many questions and aspects of embedded and networked control. A carefully organized collection of important results, tools, software, and technology, this work unifies into a single reference many scattered articles, websites, and specification sheets information that might otherwise be difficult to find. Key topics and features include: * Self-contained, sharply-focused articles; readers have easy access to specific answers to questions without having to read hundreds of pages * Clear structure and presentation of concepts in intuitive order * Separation of material into six main sections Fundamentals, Hardware, Software, Theory, Networking, and Applications * Case studies, experiments, and examples that provide a multifaceted view of the subject, encompassing computation and communication considerations * Information about commercially available tools and hardware * Comprehensive bibliographies and index This is an indispensable text for anyone interested in knowing more about embedded and networked control systems. Researchers will appreciate the handbook's up-to-date results in the theory of embedded control; developers and users will value its information on special-purpose computer hardware and operating systems modifications that support real-time control; students will find the systematic organization and wide coverage useful for learning and reference.

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