Vor Ort
Merkzettel Warenkorb
  • Produktbild: Hybrid Systems II
  • Produktbild: Hybrid Systems II
Band 999

Hybrid Systems II

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.1995

Herausgeber

Panos Antsaklis + weitere

Verlag

Springer Berlin

Seitenzahl

575

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

873 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60472-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.10.1995

Herausgeber

Verlag

Springer Berlin

Seitenzahl

575

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

873 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60472-3

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 II
  • Produktbild: Hybrid Systems II
  • Symbolic controller synthesis for discrete and timed systems.- A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems.- Condensation of information from signals for process modeling and control.- On the automatic verification of systems with continuous variables and unbounded discrete data structures.- On dynamically consistent hybrid systems.- A self-learning neuro-fuzzy system.- Viable control of hybrid systems.- Modeling and stability issues in hybrid systems.- Hierarchical hybrid control: a case study.- Hybrid systems and quantum automata: Preliminary announcement.- Planar hybrid systems.- Programming in hybrid constraint languages.- A note on abstract interpretation strategies for hybrid automata.- HyTech: The Cornell Hybrid Technology Tool.- Hybrid systems as Finsler manifolds: Finite state control as approximation to connections.- Constructing hybrid control systems from robust linear control agents.- Controllers as fixed points of set-valued operators.- Verification of hybrid systems using abstractions.- Control of continuous plants by symbolic output feedback.- Hybrid control of a robot — a case study.- Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata.- Inductive modeling: A framework marrying systems theory and non-monotonic reasoning.- Semantics and verification of hierarchical CRP programs.- Interface and controller design for hybrid control systems.- Hybrid objects.- Modelling of hybrid systems based on extended coloured Petri nets.- DEVS framework for modelling, simulation, analysis, and design of hybrid systems.- Synthesis of hybrid constraint-based controllers.