|
|
libcats.org
Главная →
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid SystemsOperational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid SystemsHeinrich RustThis 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.
Скачать книгу бесплатно (pdf, 1.73 Mb)
Читать «Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Unbounded linear operators: theory and applicationsАвтор: Seymour GoldbergКатегория: Functional analysis
Размер книги: 2.42 Mb
Make Exams Easy: The Things You Need to KnowАвтор: Mike EvansКатегория: eLearning_book
Размер книги: 2.22 Mb
New American Streamline Departures - Beginner: An Intensive American English Series for Beginners: Departures Workbook B (Units 41-80): B (New American Streamline)Автор: Bernard Hartley, Автор: Peter Viney
Размер книги: 2.79 Mb
Leveraging Mobile Media: Cross-Media Strategy and Innovation Policy for Mobile Media Communication (Information Age Economy)Автор: Valerie Feldmann
Размер книги: 2.55 Mb
Harry Potter E Il Calice Di FuocoАвтор: Rowling Joanne KathleenКатегория: fiction
Размер книги: 586 Kb
|
|
|