@inproceedings{
AdzDeS:14-028,
author={D. Adzkiya and B. {D}e Schutter and A. Abate},
title={Backward reachability of autonomous max-plus-linear systems},
booktitle={Proceedings of the 12th IFAC/IEEE Workshop on Discrete Event
Systems},
address={Cachan, France},
pages={117--122},
month=may,
year={2014},
doi={
10.3182/20140514-3-FR-4046.00056}
}