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

A. Saoud*, P. Jagtap*, M. Zamani, A. Girard
August 2018
Preprint PDF Project DOI
Type
Conference paper
Publication
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)