Vor Ort
Merkzettel Warenkorb
  • Produktbild: Hybrid Systems: Computation and Control
  • Produktbild: Hybrid Systems: Computation and Control
Band 1386

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.03.1998

Abbildungen

VIII, 417 p.

Herausgeber

Thomas A. Henzinger + weitere

Verlag

Springer Berlin

Seitenzahl

417

Maße (L/B/H)

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

Gewicht

657 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64358-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.03.1998

Abbildungen

VIII, 417 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

417

Maße (L/B/H)

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

Gewicht

657 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64358-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Computation and Control
  • Produktbild: Hybrid Systems: Computation and Control
  • Equations on timed languages.- Hybrid control for automotive engine management: The cut-off case.- Hybrid control of automotive powertrain systems: A case study.- On the composition of hybrid systems.- An equivalence between a control network and a switched hybrid system.- Hybrid cc with interval constraints.- Reachability analysis via face lifting.- Automotive control revisited linear inequalities as approximation of reachable sets.- Switching controllers based on neural network estimates of stability regions and controller performance.- A logic for the specification of continuous systems.- Integrating projections.- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems.- Reachability verification for hybrid automata.- Subanalytic stratifications and bisimulations.- Integrated design and simulation of hybrid systems.- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system.- Formal verification of safety-critical hybrid systems.- Strings of vehicles: Modeling and safety conditions.- An approach to the verification of the Center-TRACON automation system.- Deductive verification of hybrid systems using step.- Reduction and decomposition of differential automata: Theory and applications.- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems.- Information-based optimization approaches to dynamical system safety verification.- Synthesizing controllers for nonlinear hybrid systems.- A sufficient condition for controllability of a class of hybrid systems.- Hybrid regular expressions.- Stabilization of systems with changing dynamics.