Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.

Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Browse the full CAV paper archive.