ENGLISH

Hybrid Systems V

By Anil Nerode , Panos Antsaklis , Wolf Kohn , Shankar Sastry (eds.) , Haoxun Chen , Hans-Michael Hanisch (auth.) , Michael Lemmon

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
ISBN
354065643X, 9783540656432
DOI
10.1007/3-540-49163-5
Open Library ID
OL15465124M
Language
english
Format
PDF
Filesize
5 MB (5239371 bytes)
Series
Lecture Notes in Computer Science 1567
Volume
v. 5
Edition
1
Pages
458\400
Library
Kolxo3
Time added
2011-01-08 23:22:23
Theory of Computation; Software Engineering; Speci

Description

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.

Similar books