000			00634nam a2200193Ia 4500
999			_c6041 _d6041
008			161214s9999 xx 000 0 und d
020			_a9783540255765 _cpbk
082			_a004 _bRUS
100			_aRust, Heinrich
245		0	_aOperational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
260			_aNew York: _bSpringer, _c2005
300			_axii, 223 p.; _b: _c24 cm.
365			_aINR _b2520.00
440			_v3456
490			_aLecture notes in computer science
520			_aThis 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.
650			_aHybrid computers
650			_aOperating systems
650			_aReal-time data processing
650			_aSemantics
650			_aProduction Cell
650			_aModelling Strategy
650			_aProgramming Languages
650			_aComputation by Abstract Devices
942			_2ddc _cBK