Sad570
发表于 2025-3-26 21:22:42
A Unifying Framework for Discrete Event System Control Theory of control problems related to time discrete event systems at the qualitative level. Basic underlying ideas, definitions, and results are briefly presented. Several illustrative examples are provided.
Cpap155
发表于 2025-3-27 04:08:47
http://reply.papertrans.cn/29/2811/281100/281100_32.png
GLADE
发表于 2025-3-27 05:24:46
Conditions for Tracking Timing Perturbations in Timed Petri Nets with Monitorsicient conditions are presented for tracking perturbations in TPNs in which timings are only available for a set of monitor transitions. These conditions imply that tracking can be performed in some TPNs without knowledge of all timings. We present a class of safe TPNs as an example.
Bumptious
发表于 2025-3-27 09:46:57
A Petri Nets-Based Approach to the Maze Problem Solvingessed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their behaviour.
隐士
发表于 2025-3-27 15:58:12
http://reply.papertrans.cn/29/2811/281100/281100_35.png
Mawkish
发表于 2025-3-27 18:14:08
http://reply.papertrans.cn/29/2811/281100/281100_36.png
arterioles
发表于 2025-3-28 00:37:36
An Obsolete Fundamental PhilosophyThe problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system.
单片眼镜
发表于 2025-3-28 04:28:00
http://reply.papertrans.cn/29/2811/281100/281100_38.png
过份
发表于 2025-3-28 06:29:14
The Workshop Exercise Using a Trace Theory Based SettingDiscrete event systems can be modelled using a trace theory based setting. In this setting the workshop exercise is modelled and solved. To be able to compute the needed systems, a state space model is introduced.
疲劳
发表于 2025-3-28 14:06:12
The Cat-and-Mouse Problem as a System of Boolean EquationsThe problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system.