Vor Ort
Merkzettel Warenkorb
  • Produktbild: Hybrid Systems III
  • Produktbild: Hybrid Systems III
Band 1066

Hybrid Systems III Verification and Control

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.1996

Abbildungen

IX, 619 p.

Herausgeber

Rajeev Alur + weitere

Verlag

Springer Berlin

Seitenzahl

619

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

949 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61155-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.1996

Abbildungen

IX, 619 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

619

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

949 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61155-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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 III
  • Produktbild: Hybrid Systems III
  • A game-theoretic approach to hybrid system design.- Verifying clocked transition systems.- Compositional and uniform modelling of hybrid systems.- Hybrid cc, hybrid automata and program verification.- Controlled switching diffusions as hybrid processes.- Hybrid systems: Chattering approximation to relaxed controls.- Verification of automated vehicle protection systems.- Extended RTL in the specification and verification of an industrial press.- Abstract verification of structured dynamical systems.- Design and evaluation tools for Automated Highway Systems.- Hybrid control in Sea Traffic Management Systems.- Verification of hybrid systems: Monotonicity in the AHS control system.- Examples of stabilization with hybrid feedback.- General hybrid dynamical systems: Modeling, analysis, and control.- The residue of model reduction.- The tool Kronos.- Timing analysis in COSPAN.- UPPAAL — a tool suite for automatic verification of real-time systems.- Optimal design of hybrid controllers for hybrid process systems.- On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling.- Hierarchical design of a chemical concentration control system.- Switched bond graphs as front-end to formal verification of hybrid systems.- Formal specification of stability in hybrid control systems.- Requirements specifications for hybrid systems.- Validation of hybrid systems by co-simulation.- Proofs from temporal hypotheses by symbolic simulation.- On controlling timed discrete event systems.- Supervisory control of real-time systems using prioritized synchronization.- ?-Approximation of differential inclusions.- Linear phase-portrait approximations for nonlinear hybrid systems.- Deciding reachability for planar multi-polynomial systems.- Modeling hybriddynamical systems.- Stability of hybrid systems.- Model and stability of hybrid linear system.- Interconnected automata and linear systems: A theoretical framework in discrete-time.- Modelling and verification of automated transit systems, using timed automata, invariants and simulations.- An invariant based approach to the design of hybrid control systems containing clocks.- Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems.- A data intensive computing approach to path planning and mode management for hybrid systems.- Hybrid I/O automata.- A formal description of hybrid systems.- Logics vs. automata: The hybrid case.- H? gain schedule synthesis of supervisory hybrid control systems.- A new approach to robust control of hybrid systems.- A DES approach to control of hybrid dynamical systems.- Diagnostic model-checking for real-time systems.- Specification and verification of hybrid dynamic systems with Timed ?-automata.- Fischer's protocol revisited: A simple proof using modal constraints.