Compositional abstraction-based synthesis for cascade discrete-time control systems

Publication
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)