René Vidal, Shawn Schaffert, Omid Shakernia, John Lygeros, Shankar Sastry 0001. Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 1243-1248, IEEE, 2001. [doi]
Abstract is missing.