publication venue for
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. 25:177-201. 2015
- Sampled-data supervisory control. 24:541-579. 2014
- A pseudometric in supervisory control of probabilistic discrete event systems. 22:479-510. 2012