<p>This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task β a criterion of linear programming. A classical example is the departure time of a train which should
Discrete Event Systems in Dioid Algebra and Conventional Algebra
β Scribed by Philippe Declerck
- Publisher
- Wiley-ISTE
- Year
- 2012
- Tongue
- English
- Leaves
- 159
- Series
- FOCUS Series
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task β a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers.
The content focuses on the modeling of a class of dynamic systems usually called βdiscrete event systemsβ where the timing of the events is crucial. Events are viewed as sudden changes in a process which is, essentially, a man-made system, such as automated manufacturing lines or transportation systems. Its main advantage is its formalism which allows us to clearly describe complex notions and the possibilities to transpose theoretical results between dioids and practical applications.
π SIMILAR VOLUMES
This paper is an expanded version of remarks delivered by the authors in lectures at the June, 1990 Amherst conference on Quantum Groups. There we were asked to describe, in so far as possible, the basic principles and results, as well as the present state, of algebraic deformation theory. So this p
The purpose of this book is to study the structures needed to model objects in universal algebra, universal coalgebra and theoretical computer science. Universal algebra is used to describe different kinds of algebraic structures, while coalgebras are used to model state-based machines in computer s