Behavioural contracts for linear dynamical systems: input assumptions and output guarantees
暂无分享,去创建一个
[1] Jan C. Willems,et al. Models for Dynamics , 1989 .
[2] Alberto L. Sangiovanni-Vincentelli,et al. metroII , 2013, ACM Trans. Embed. Comput. Syst..
[3] Arjan van der Schaft,et al. Assume-guarantee reasoning for linear dynamical systems , 2009, 2009 European Control Conference (ECC).
[4] J. Willems. Input-output and state-space representations of finite-dimensional linear time-invariant systems , 1983 .
[5] J. Willems. Dissipative dynamical systems part I: General theory , 1972 .
[6] J. Polderman. A new and simple proof of the equivalence theorem for behaviors , 2000 .
[7] Franco Blanchini,et al. Set invariance in control , 1999, Autom..
[8] Arjan van der Schaft,et al. Decentralized control using compositional analysis techniques , 2011, IEEE Conference on Decision and Control and European Control Conference.
[9] Thomas A. Henzinger,et al. Synchronous and Bidirectional Component Interfaces , 2002, CAV.
[10] Arjan van der Schaft,et al. Compositional analysis for linear systems , 2010, Syst. Control. Lett..
[11] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[12] Alina Eqtami,et al. A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems , 2019, 2019 18th European Control Conference (ECC).
[13] Sanjit A. Seshia,et al. A Small Gain Theorem for Parametric Assume-Guarantee Contracts , 2017, HSCC.
[14] Alberto L. Sangiovanni-Vincentelli,et al. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.
[15] Antoine Girard,et al. Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems , 2018, 2018 IEEE Conference on Decision and Control (CDC).
[16] T. Kaczorek. Polynomial and Rational Matrices , 2007 .
[17] Antoine Girard,et al. On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance , 2018, 2018 European Control Conference (ECC).
[18] Majid Zamani,et al. Controller synthesis for interconnected systems using parametric assume-guarantee contracts , 2020, 2020 American Control Conference (ACC).
[19] Cliff B. Jones,et al. Specification and Design of (Parallel) Programs , 1983, IFIP Congress.
[20] Karl Henrik Johansson,et al. Contracts as specifications for dynamical systems in driving variable form , 2018, 2019 18th European Control Conference (ECC).
[21] Christiaan Heij,et al. Introduction to mathematical systems theory , 1997 .
[22] Thomas A. Henzinger,et al. INTERFACE-BASED DESIGN , 2005 .
[23] J. Willems. The Behavioral Approach to Open and Interconnected Systems , 2007, IEEE Control Systems.