Hybrid Systems II [electronic resource] /

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.

Saved in:
Bibliographic Details
Main Authors: Antsaklis, Panos. editor., Kohn, Wolf. editor., Nerode, Anil. editor., Sastry, Shankar. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Subjects:Computer science., Microprocessors., Special purpose computers., Software engineering., Computers., Computer logic., Control engineering., Computer Science., Processor Architectures., Control., Theory of Computation., Special Purpose and Application-Based Systems., Software Engineering., Logics and Meanings of Programs.,
Online Access:http://dx.doi.org/10.1007/3-540-60472-3
Tags: Add Tag
No Tags, Be the first to tag this record!