Pushpak Jagtap
Pushpak Jagtap
Home
Research
Publications
CV
News
Travels
Contact
Compositional abstraction-based synthesis for cascade discrete-time control systems
A. Saoud*
,
P. Jagtap*
,
M. Zamani
,
A. Girard
August 2018
Preprint
PDF
Cite
Project
DOI
Type
Conference paper
Publication
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
Cite
×