Discrete Event Systems: Modeling and Control : Proceedings of a Joint Workshop Held in Prague, August 1992
Silvano Balemi, P Kozál, Rein Smedinga · University of Groningen research database (University of Groningen / Centre for Information Technology) · 1993
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.