Discrete Event Systems: Modeling and Control Proceedings of a Joint Workshop held in Prague, August 1992
Research of discrete event systems is strongly motivated by applications in flex ible manufacturing, in traffic control and in concurrent and real-time software verification and design, just to mention a few important areas. Discrete event system theory is a promising and dynamically developing are...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Basel
Birkhäuser
1993, 1993
|
| Edition: | 1st ed. 1993 |
| Series: | Progress in Systems and Control Theory
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Logical Models
- Augmented Language and Supervisory Control in Discrete Event Systems
- Input/Output Discrete Event Processes and System Modeling
- Supervisory Control and Formal Methods for Distributed Systems
- An Overview of Results in Discrete Event Systems Using a Trace Theory Based Setting
- A Minimally Restrictive Policy for Deadlock Avoidance in a Class of FMS
- Similarity of Events in Discrete Event Systems
- Control of Discrete Event Systems by means of the Boolean Differential Calculus
- A Unifying Framework for Discrete Event System Control Theory
- Optimisation
- Synchronized Continuous Flow Systems
- On a Generalized Asymptoticity Problem in Max Algebra
- Conditions for Tracking Timing Perturbations in Timed Petri Nets with Monitors
- Extensions to the Theory of Optimal Control of Discrete Event Systems
- The Workshop Exercise
- The Workshop Exercise: An Introduction
- The Workshop Exercise Using a Trace Theory Based Setting
- A Petri Nets-Based Approach to the Maze Problem Solving
- The Cat-and-Mouse Problem as a System of Boolean Equations
- Symbolic Supervisory Synthesis for the Workshop Exercise
- The Cat-and-Mouse Problem with Least Delays
- Supervisory Control with Variable Lookahead Policies: Illustrative Example
- Selected Bibliography