Construction of continuous abstractions for discrete-time time-delay systems - - IEEE Conference on Decision and Control doi 2020-12 Article type Conference