Author:
Sadek Belamfedel Alaoui,Saharsh ,Jagtap Pushpak,Saoud Adnane
Reference18 articles.
1. Discrete-time incremental ISS: A framework for robust NMPC;Bayer,2013
2. Compositional approximately bisimilar abstractions of interconnected systems;Belamfedel;arXiv preprint,2022
3. Approximation metrics for discrete and continuous systems;Girard;IEEE Transactions on Automatic Control,2007
4. Approximately bisimilar symbolic models for incrementally stable switched systems;Girard;IEEE Transactions on Automatic Control,2009
5. A symbolic approach to the self-triggered design for networked control systems;Hashimoto;IEEE Control Systems Letters,2019