Hybrid Systems V (Paperback, 1999 ed.)

Hybrid systems are interacting networks of digital and continuous systems. - brid systems arise throughout business and industry in areas such as interactive distributed simulation, trac control, plant process control, military command and control, aircraft and robot design, and path planning. Three of the fun- mental problems that hybrid systems theory should address are: How to model physical and information systems as hybrid systems; how to verify that their - havior satis es program or performance specic ations; and how to extract from performancespeci cationsforanetworkofphysicalsystemsandtheirsimulation models digital control programs which will force the network to obey its perf- mance speci cation. This rapidly developing area is at the interface of control, engineeringandcomputer science. Methods under developmentareextensionsof thosefromdiverseareassuchasprogramveri cation, concurrentanddistributed processes, logic programming, logics of programs, discrete event simulation, c- culus of variations, optimization, di erential geometry, Lie algebras, automata theory, dynamical systems, etc. When the rst LNCS volume Hybrid Systems was published in 1993, the e ect was to focus the attention of researchers worldwide on developing theory andengineeringtoolsapplicabletohybridsystemsinwhichcontinuousprocesses interact with digital programs in real time. At the time of publication of this fth volume, there is general agreement that this is an important area in which mathematics, control engineering, and computer science can be fruitfully c- bined. There are now hybrid system sections in many engineering and computer scienceinternationalmeetings, hybridsystems researchgroupsin manyuniver- ties and industrial laboratories, and also other excellent series of hybrid systems conferenc

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1567
Release date:	2001
First published:	1999
Editors:	Panos J. Antsaklis • Wolf Kohn • Michael Lemmon • Anil Nerode • Shankar Sastry
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	458
Edition:	1999 ed.
ISBN-13:	978-3-540-65643-2
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-65643-X
Barcode:	9783540656432

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!