Vor Ort
Merkzettel Warenkorb
  • Produktbild: Hybrid and Real-Time Systems
  • Produktbild: Hybrid and Real-Time Systems
Band 1201

Hybrid and Real-Time Systems International Workshop, Grenoble, March 26-28, 1997. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.03.1997

Herausgeber

Oded Maler

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

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

Gewicht

562 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-62600-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.03.1997

Herausgeber

Oded Maler

Verlag

Springer Berlin

Seitenzahl

426

Maße (L/B/H)

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

Gewicht

562 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-62600-8

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
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 and Real-Time Systems
  • Produktbild: Hybrid and Real-Time Systems
  • Verifying liveness properties of reactive systems (a tutorial).- The Lyapunov method (a tutorial).- Relating high-level and low-level action descriptions in a logic of actions and change.- A new algorithm for discrete timed symbolic model checking.- State clock logic: A decidable real-time logic.- From quantity to quality.- Verifying periodic task-control systems.- A case study in timed CSP: The railroad crossing problem.- Analysis of slope-parametric hybrid automata.- Comparing timed c/e systems with timed automata (abstract).- Design tools for hybrid control systems.- On-Line, reflexive constraint satisfaction for hybrid systems: First steps.- Hybrid control issues in Air Traffic Management Systems.- Multiobjective hybrid controller synthesis.- Modelling a time-dependent protocol using the Circal process algebra.- Using HyTech to verify an automotive control System.- Safety verification for automated platoon maneuvers: A case study.- Verifying hybrid systems modeled as timed automata: A case study.- Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition.- A digital real-time simulator for rail-vehicle control system testing.- Hybrid flow nets for hybrid processes modelling and control.- Representation of robust and non-robust solutions of nonlinear discrete-continuous systems.- Controller design of hybrid systems.- What can we learn from synchronous data-flow languages?.- Verification of real time chemical processing systems.- Functional specification of real-time and hybrid systems.- Relating time progress and deadlines in hybrid systems.- Semantics and verification of extended phase transition systems in Duration Calculus.- Weak refinement for modal hybrid systems.- Robust timed automata.- Data-structures for the verification of timed automata.- Synthesizing controllers for hybrid systems.- Control synthesis for a class of hybrid systems subject to configuration-based safety constraints.- Hybrid dynamic programming.- Invariance principle in hybrid systems modeled by mixed mappings.- Hybrid systems described by the complementarity formalism.- Generalized linear complementarity problems and the analysis of continuously variable systems and discrete event systems.- SHIFT: A language for simulating interconnected hybrid systems.