Author:
Sharf Miel,Besselink Bart,Johansson Karl Henrik
Funder
Knut och Alice Wallenbergs Stiftelse
Stiftelsen för Strategisk Forskning
Reference38 articles.
1. Modularity in the design of complex engineering systems;Baldwin,2006
2. Formal methods for discrete-time dynamical systems;Belta,2017
3. Contracts for system design;Benveniste;Foundations and Trends in Electronic Design Automation,2018
4. Besselink, B., Johansson, K. H., & Schaft, A. V. D. (2019). Contracts as Specifications for Dynamical Systems in Driving Variable Form. In Proc. Eur. control conf. (pp. 263–268).
5. Set-theoretic methods in control;Blanchini,2008