Target problems under state constraints for impulsive controlled systems. - Eva Crück (ECC, 2001)

Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. - Alexandre M. Bayen; Eva Crück; Claire J. Tomlin (HSCC, 2002)

Subliminal air traffic control: Human friendly control of a multi-agent system. - Eva Crück; John Lygeros (ACC, 2007)

Robust obstacle avoidance for constrained linear discrete time systems: A set-theoretic approach. - Sasa V. Rakovic; Franco Blanchini; Eva Crück; Manfred Morari (CDC, 2007)

A Hybrid Model for Subliminal Air Traffic Control. - Eva Crück; John Lygeros (HSCC, 2007)