|
|
Incremental Inductive Coverability for Alternating Finite Automata
Vargovčík, Pavol ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
In this work, we propose a specialization of the inductive incremental coverability algorithm that solves alternating finite automata emptiness problem. We experiment with various design decisions, analyze them and prove their correctness. Even though the problem itself is PSpace-complete, we are focusing on making the decision of emptiness computationally feasible for some practical classes of applications. We have obtained interesting comparative results against state-of-the-art algorithms, especially in comparison with antichain-based algorithms.
|
|
|
Production line control unit
Vargovčík, Pavol ; Richter, Miloslav (referee) ; Petyovský, Petr (advisor)
This work is about development of a control unit for use in a production line. The control unit is implemented in an embedded device Raspberry Pi. It communicates with central administrating system, which assigns programs to particular control units. These programs describe interaction with peripherals of the control unit and with database system of traceability.
|
|
|
Incremental Inductive Coverability for Alternating Finite Automata
Vargovčík, Pavol ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
In this work, we propose a specialization of the inductive incremental coverability algorithm that solves alternating finite automata emptiness problem. We experiment with various design decisions, analyze them and prove their correctness. Even though the problem itself is PSpace-complete, we are focusing on making the decision of emptiness computationally feasible for some practical classes of applications. We have obtained interesting comparative results against state-of-the-art algorithms, especially in comparison with antichain-based algorithms.
|
|
|
Production line control unit
Vargovčík, Pavol ; Richter, Miloslav (referee) ; Petyovský, Petr (advisor)
This work is about development of a control unit for use in a production line. The control unit is implemented in an embedded device Raspberry Pi. It communicates with central administrating system, which assigns programs to particular control units. These programs describe interaction with peripherals of the control unit and with database system of traceability.
|
guest ::
