[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - A trajectory splicing approach to concretizing counterexamples for hybrid systems
Zutshi, Aditya, Sankaranarayanan, Sriram, Deshmukh, Jyotirmoy V., Kapinski, JamesYear:
2013
Language:
english
DOI:
10.1109/cdc.2013.6760488
File:
PDF, 593 KB
english, 2013