Friday, April 9, a.m. Room 34
- 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