Friday, April 9, a.m. Room 34

Symposium B: Mathematical Methods in Cybernetics and Systems Theory
J. Scharinger, Austria

11:00-11:30
Agent Cooperation vs. DES Control Synthesis
F. Capkovic, Slovak Academy of Sciences, Bratislava, Slovak Republic
11:30-12:00
Optimal Inventory Control Under Uncertainty and Constraints
N. Nechval, M. Purgailis, K. Nechval, V. Danovich, T. Liepins, University of Latvia, Riga, Latvia
12:00-12:30
Modelling and verification of cyber-physical system
M. Pluska, D. Sinclair, Dublin City University, Ireland
12:30-13:00
A General Method for the Analysis and the Logical Generation of Discrete Mathematical Systems in Programmable Logical Controller
D.M. Dubois, A. Mascia, University of Liège, Belgium