Operational Semantics for Timed Systems

Name: Operational Semantics for Timed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540255765
Price: 212.24 PLN
Availability: InStock

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Autor: Heinrich Rust

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.24 zł

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. Th...

Informacje o książce

Autor

Heinrich Rust

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2005

strony

224

EAN

9783540255765

ISBN

3540255761

Enbook ID

01560553

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

760

Wymiary

155 x 235 x 14

Pełny opis

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism.The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Operational Semantics for Timed Systems

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również