Hybrid Systems - Lecture Notes in Computer Science - Anil Nerode - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540573180 - 1993. gada 5. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Anil Nerode
Hybrid Systems - Lecture Notes in Computer Science

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 19. jūn.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Pieejams arī kā:

An introduction to hybrid systems, networks of interacting digital and analog devices. The applications of these systems are also explored, in such areas as computer-aided manufacturing, consumer electronics and control systems for inherently unstable aircraft.

Marc Notes: Papers presented at a workshop held Oct. 19-21, 1992 at the Technical University, Lyngby, Denmark. Table of Contents: Verifying hybrid systems.- An extended duration calculus for hybrid real-time systems.- Towards refining temporal specifications into hybrid systems.- Hybrid systems in TLA+.- Hybrid models with fairness and distributed clocks.- A compositional approach to the design of hybrid systems.- An approach to the description and analysis of hybrid systems.- Integration Graphs: A class of decidable hybrid systems.- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems.- Hybrid Systems: the SIGNAL approach.- A dynamical simulation facility for hybrid systems.- Event identification and intelligent hybrid control.- Multiple agent hybrid control architecture.- Models for hybrid systems: Automata, topologies, controllability, observability.- Some remarks about flows in hybrid systems.- Hybrid system modeling and autonomous control systems.- Fault accommodation in feedback control systems.- On formal support for industrial-scale requirements analysis.- A formal approach to computer systems requirements documentation. Publisher Marketing: An introduction to hybrid systems, networks of interacting digital and analog devices. The applications of these systems are also explored, in such areas as computer-aided manufacturing, consumer electronics and control systems for inherently unstable aircraft.

Contributor Bio:  Nerode, Anil Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University. Contributor Bio:  Rischel, Hans Hans Rischel is a former Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Michael R. Hansen).

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 5. oktobris
ISBN13 9783540573180
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 476
Izmēri 216 × 279 × 25 mm   ·   680 g
Valoda Vācu  
Redaktors Grossman, Robert
Redaktors Nerode, Anil
Redaktors Ravn, A.p.
Redaktors Rischel, H.

Vairāk no Anil Nerode

Rādīt visu

Mere med samme udgiver

Skatīt visus Anil Nerode ( piem., Paperback Book un Hardcover Book )