• Produktbild: Hybrid Systems
  • Produktbild: Hybrid Systems
Band 736

Hybrid Systems

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.10.1993

Herausgeber

Robert L. Grossman + weitere

Verlag

Springer Berlin

Seitenzahl

476

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57318-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.10.1993

Herausgeber

Verlag

Springer Berlin

Seitenzahl

476

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57318-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Hybrid Systems
  • Produktbild: Hybrid Systems
  • 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.