Manish Goyal 0002, Parasara Sridhar Duggirala. On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 139-144, Elsevier, 2018. [doi]
Abstract is missing.