[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
Bobiti, Ruxandra, Lazar, MirceaYear:
2015
Language:
english
DOI:
10.1145/2728606.2728631
File:
PDF, 881 KB
english, 2015