Title | Discrete Event Systems: Modeling and Control [electronic resource] : Proceedings of a Joint Workshop held in Prague, August 1992 / edited by Silvano Balemi, Petr Kozรกk, Rein Smedinga |
---|---|
Imprint | Basel : Birkhรคuser Basel, 1993 |
Connect to | http://dx.doi.org/10.1007/978-3-0348-9120-2 |
Descript | VIII, 232 p. online resource |
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