Principles of artificial intelligence
Principles of artificial intelligence
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Automatically generating abstractions for problem solving
Automatically generating abstractions for problem solving
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A solution of DEDS control synthesis problems
Systems Analysis Modelling Simulation - Some recent progress in systems research and applications
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Metric properties of the Tower of Hanoi graphs and Stern's diatomic sequence
European Journal of Combinatorics
Synthesis of the Supervising Agent in MAS
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Synthesis a Petri net based control model for a FMS cell
Computers in Industry
Hi-index | 0.01 |
Modelling and control of a kind of Discrete-Event Systems (DES) having a character of Flexible Manufacturing Systems (FMS) are examined by means of methods used in applied artificial intelligence. While assembly and/or disassembly processes are controlled by means of the problem solving methods (the so called block world and the Hanoi tower puzzle), the process of crossing vehicles inside FMS is controlled as the multi-agent system. Petri Net (PN)-based models are utilised in order to described the dynamic behaviour of the systems. The control strategy based on Reachability Graphs (RGs) is proposed and illustrated. Feasible state trajectories in the space of feasible states are found. The set of discrete events corresponding to particular segments of the trajectories represents the result of control synthesis.