Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten). - Olaf Stursberg; Thanh Ha Tran (Autom., 2006)

Design of Logic Feedback Controllers for Discretely Controlled Continuous Systems. - Thanh Ha Tran; Sebastian Engell (ADHS, 2009)