Coverart for item
The Resource Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems, [author, Heinrich Rust]

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems, [author, Heinrich Rust]

Label
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Title
Operational semantics for timed systems
Title remainder
a non-standard approach to uniform modeling of timed and hybrid systems
Statement of responsibility
[author, Heinrich Rust]
Creator
Subject
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Rust, Heinrich
Dewey number
004/.33
Illustrations
illustrations
Index
index present
LC call number
QA76.54
LC item number
.R87 2005
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science,
Series volume
3456
http://library.link/vocab/subjectName
  • Real-time data processing
  • Real-time programming
  • Hybrid systems
  • Operating systems (Computers)
  • Semantics
  • Informatique
  • Hybrid systems
  • Operating systems (Computers)
  • Real-time data processing
  • Real-time programming
  • Semantics
Label
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems, [author, Heinrich Rust]
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 215-220) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
262680867
Dimensions
unknown
Extent
1 online resource (xii, 223 pages)
Form of item
online
Isbn
9783540320081
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9786611408282
  • 10.1007/978-3-540-32008-1
  • 9783540255765
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-25576-5
Specific material designation
remote
System control number
(OCoLC)262680867
Label
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems, [author, Heinrich Rust]
Publication
Bibliography note
Includes bibliographical references (pages 215-220) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
262680867
Dimensions
unknown
Extent
1 online resource (xii, 223 pages)
Form of item
online
Isbn
9783540320081
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9786611408282
  • 10.1007/978-3-540-32008-1
  • 9783540255765
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-25576-5
Specific material designation
remote
System control number
(OCoLC)262680867

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...