Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

DOI10.1007/978-3-540-78929-1_5MaRDI QIDQ3523098zbMATH OpenOpenAlexFDO

Authors Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78929-1_5

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Probabilistic contracts for component-based design
• Probabilistic Contracts for Component-Based Design
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Change and delay contracts for hybrid system component verification
• Towards Component Based Design of Hybrid Systems: Safety and Stability

Cites work

• An Approach to Modelling and Verification of Component Based Systems
• Composition for component-based modeling
• Continuity and computability of reachable sets

Cited in

(6)

• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• A verification-driven framework for iterative design of controllers
• Component based design of hybrid systems: a case study on concurrency and coupling
• Efficient mode enumeration of compositional hybrid systems
• Change and delay contracts for hybrid system component verification
• Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming

Describes a project that uses

Uses Software

• Ariadne

This page was built for publication: Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523098)