Contract-based design for computation and verification of a closed-loop hybrid system

被引:0
|
作者
Benvenuti, L. [1 ,2 ]
Ferrari, A. [2 ]
Mazzi, E. [2 ,3 ]
Vincentelli, A. L. Sangiovanni [2 ,4 ]
机构
[1] Univ Roma La Sapienza, Rome, Italy
[2] PARADES, I-00186 Rome, Italy
[3] Univ Pisa, Ctr Ricerca Interdipartimentale E Piaggio, Pisa, Italy
[4] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源
HYBRID SYSTEMS: COMPUTATION AND CONTROL | 2008年 / 4981卷
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Contract-based design is an approach where the design process is seen as a successive assembly of components where a component is represented in terms of assumptions about its environment and guarantees about its behavior. In the composition, if assumptions of each component are contained in guarantees offered by the others, then the composition is well formed. In this paper, we focus on contract-based design and the use of Heterogeneous Rich Component models for embedded controllers where the plant, sensors and actuators are described by hybrid systems. We assume that the components are assembled in a feedback configuration. The problem is to show that this composition satisfies requirements using the assumptions-guarantees of the plant, sensors, actuators and controller. To do so, we give rules on how to compose assumptions and promises for components in cascade and feedback configurations. We then apply these rules to expose the actual calculation involved on a test case, a water-level control problem. We also show how to check that the requirements on the closed-loop configuration are satisfied, i.e, that they are contained in the promises of this configuration using a formal verification tool (Ariadne) for hybrid systems.
引用
收藏
页码:58 / +
页数:2
相关论文
共 50 条
  • [1] CLOSED-LOOP DESIGN FOR HYBRID POWERTRAINS
    Vanhuyse, Johan
    Murgovski, Nikolce
    Nicolai, Mike
    Van der Auweraer, Herman
    Desmet, Wim
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2017, VOL 3, 2017,
  • [2] Design of contract parameters in a closed-loop supply chain
    Dobos, Imre
    Gobsch, Barbara
    Pakhomova, Nadezhda
    Pishchulov, Grigory
    Richter, Knut
    CENTRAL EUROPEAN JOURNAL OF OPERATIONS RESEARCH, 2013, 21 (04) : 713 - 727
  • [3] Design of contract parameters in a closed-loop supply chain
    Imre Dobos
    Barbara Gobsch
    Nadezhda Pakhomova
    Grigory Pishchulov
    Knut Richter
    Central European Journal of Operations Research, 2013, 21 : 713 - 727
  • [4] Closed-loop System Modeling, Validation, and Verification
    Preusse, Sebastian
    Lapp, Hans-Christian
    Hanisch, Hans-Michael
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [5] Verification of Contract-based Communicating Systems
    Salauen, Gwen
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138):
  • [6] Standardized Hybrid Closed-Loop System Reporting
    Shah, Viral N.
    Garg, Satish K.
    DIABETES TECHNOLOGY & THERAPEUTICS, 2021, 23 (05) : 323 - 331
  • [7] A new method of design and verification of digital silicon gyroscopes closed-loop driving system based on MicroBlaze
    Sun, Peng
    Shao, Qi
    Liu, Yingyu
    Chen, Weiping
    Key Engineering Materials, 2015, 645 : 771 - 776
  • [8] Contract-Based Verification of Simulink Models
    Bostrom, Pontus
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 291 - 306
  • [9] Contract Design for Return Products in a Cooperative Closed-Loop Supply Chain
    Ghahremani-Nahr, Javid
    Nozari, Hamed
    Aliahmadi, Alireza
    GLOBAL BUSINESS REVIEW, 2023,
  • [10] A comparative approach to closed-loop computation
    Roth, E.
    Sponberg, S.
    Cowan, N. J.
    CURRENT OPINION IN NEUROBIOLOGY, 2014, 25 : 54 - 62