Vor Ort
Merkzettel Warenkorb
  • Produktbild: Hybrid Systems IV
  • Produktbild: Hybrid Systems IV
Band 1273

Hybrid Systems IV

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.07.1997

Herausgeber

Panos Antsaklis + weitere

Verlag

Springer Berlin

Seitenzahl

410

Maße (L/B/H)

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

Gewicht

639 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63358-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.07.1997

Herausgeber

Verlag

Springer Berlin

Seitenzahl

410

Maße (L/B/H)

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

Gewicht

639 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63358-7

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 IV
  • Produktbild: Hybrid Systems IV
  • Bumpless switching in hybrid systems.- A toolbox for proving and maintaining hybrid specifications.- Simulation of hybrid systems.- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem.- Decidability of hybrid systems with linear and nonlinear differential inclusions.- Reliable implementation of hybrid control systems for advanced avionics.- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata.- Synthesis of minimally restrictive legal controllers for a class of hybrid systems.- Control theory, modal logic, and games.- Agent based velocity control of highway systems.- A computational analysis of the reachability problem for a class of hybrid dynamical systems.- A class of rectangular hybrid systems with computable reach set.- Safe implementations of supervisory commands.- Hybrid system games: Extraction of control automata with small topologies.- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions.- Towards continuous abstractions of dynamical and control systems.- A totally ordered set of discrete abstractions for a given hybrid or continuous system.- Comparing timed and hybrid automata as approximations of continuous systems.- Hybrid control models of next generation air traffic management.