Author:
Saoud Adnane,Girard Antoine
Funder
Labex
European Commission
Horizon 2020 Framework Programme
European Research Council
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference36 articles.
1. A Lyapunov approach to incremental stability properties;Angeli;IEEE Transactions on Automatic Control,2002
2. Forward completeness, unboundedness observability, and their Lyapunov characterizations;Angeli;Systems & Control Letters,1999
3. Transcendental number theory;Baker,1990
4. Formal methods for discrete-time dynamical systems;Belta,2017
5. Synthesis of reactive (1) designs;Bloem;Journal of Computer and System Sciences,2012
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献