19 results on '"Kozák, Petr"'
Search Results
2. The Workshop Exercise: An Introduction
3. A Unifying Framework for Discrete Event System Control Theory
4. Symbolic Supervisor Synthesis for the Animal Maze
5. The Cat-and-Mouse Problem as a System of Boolean Equations
6. Supervisory Control with Variable Lookahead Policies: Illustrative Example
7. The Workshop Exercise Using a Trace Theory Based Setting
8. A Petri Nets-Based Approach to the Maze Problem Solving
9. Synchronized Continuous Flow Systems
10. Extensions to the Theory of Optimal Control of Discrete Event Systems
11. Conditions for Tracking Timing Perturbations in Timed Petri Nets with Monitors
12. On a Generalized Asymptoticity Problem in Max Algebra
13. A Minimally Restrictive Policy for Deadlock Avoidance in a Class of FMS
14. Similarity of Events in Discrete Event Systems
15. Input/Output Discrete Event Processes and System Modeling
16. Control of Discrete Event Systems by Means of the Boolean Differential Calculus
17. An Overview of Results in Discrete Event Systems Using a Trace Theory Based Setting
18. Supervisory Control and Formal Methods for Distributed Systems
19. Augmented Languages and Supervisory Control in Discrete Event Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.