Assume-Guarantee Contracts and Controller Synthesis for Vehicular Traffic Networks

被引：0
|
作者：
Kim, Eric S. [1 ]
Arcak, Murat [1 ]
Seshia, Sanjit A. [1 ]
机构：
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
2016 AMERICAN CONTROL CONFERENCE (ACC) | 2016年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：882 / 882
页数：1
相关论文
共 50 条
  • [1] Controller synthesis for interconnected systems using parametric assume-guarantee contracts
    Al Khatib, Mohammad
    Zamani, Majid
    [J]. 2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 5419 - 5424
  • [2] Quotient for Assume-Guarantee Contracts
    Romeo, Inigo Incer
    Sangiovanni-Vincentelli, Alberto
    Lin, Chung-Wei
    Kang, Eunsuk
    [J]. PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2018, : 67 - 77
  • [3] Assume-guarantee synthesis
    Chatterjee, Krishnendu
    Henzinger, Thomas A.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 261 - +
  • [4] Invariant Sets for Assume-Guarantee Contracts
    Girard, Antoine
    Iovine, Alessio
    Benberkane, Sofiane
    [J]. 2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 2190 - 2195
  • [5] Composition of Behavioural Assume-Guarantee Contracts
    Shali, Brayan M.
    van der Schaft, Arjan
    Besselink, Bart
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (10) : 5991 - 6006
  • [6] Monitoring Assumptions in Assume-Guarantee Contracts
    Sokolsky, Oleg
    Zhang, Teng
    Lee, Insup
    McDougall, Michael
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (208): : 46 - 53
  • [7] Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts
    Ghasemi, Kasra
    Sadraddini, Sadra
    Belta, Calin
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
  • [8] Assume-Guarantee Distributed Synthesis
    Majumdar, Rupak
    Mallik, Kaushik
    Schmuck, Anne-Kathrin
    Zufferey, Damien
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (11) : 3215 - 3226
  • [9] A Boolean Algebra of Contracts for Assume-guarantee Reasoning
    Glouche, Yann
    Le Guernic, Paul
    Talpin, Jean-Pierre
    Gautier, Thierry
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 263 : 111 - 127
  • [10] A Small Gain Theorem for Parametric Assume-Guarantee Contracts
    Kim, Eric S.
    Arcak, Murat
    Seshia, Sanjit A.
    [J]. PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17), 2017, : 207 - 216
12345