Author:
Sharf Miel,Besselink Bart,Molin Adam,Zhao Qiming,Henrik Johansson Karl
Subject
Control and Systems Engineering
Reference17 articles.
1. Contracts for system design;Benveniste;Foundations and Trends in Electronic Design Automation,2018
2. Besselink, B., Johansson, K.H., and Van Der Schaft, A. (2019). Contracts as specifications for dynamical systems in driving variable form. In Proceedings of the 18th European Control Conference (ECC), 263–268.
3. Donaldson, A.F., Haller, L., Kroening, D., and Rümmer, P. (2011). Software verification using k-induction. In International Static Analysis Symposium, 351–368. Springer.
4. Estimating reachable sets for two-dimensional linear discrete systems;Fisher;Journal of Optimization Theory and Applications,1988
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献