Taming Dr. Frankenstein: contract-based design for cyber-physical systems

DOI10.3166/EJC.18.217-238MaRDI QIDQ1937313zbMATH OpenOpenAlexWikidataFDO

Authors Werner Damm, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Publication date 28 February 2013

Published in European Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/ejc.18.217-238

zbMATH Keywords

controller designdesign methodologiesindustrial automationcontract-based designvertical contractscomplexity of cyber-physical systemscontrol of multi-scale complex systemsdevelopment scheduleselement integrationhorizontal contractsmechanical, electrical, and chemical processesmeet-in-the-middle approachplatform-based designsubsequent refinement process

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Time-scale analysis and singular perturbations in control/observation systems (93C70) Application models in control theory (93C95)

Recommendations

• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Probabilistic Contracts for Component-Based Design
• Probabilistic contracts for component-based design
• Cyber-physical systems: the linguistic aspect
• Logical foundations of cyber-physical systems

Cites work

• scientific article; zbMATH DE number 1979562 (Why is no real title available?)
• scientific article; zbMATH DE number 1759612 (Why is no real title available?)
• A modal interface theory for component-based design
• Branching time and abstraction in bisimulation semantics
• Bridging the gap between fair simulation and trace inclusion

Cited in

(19)

• Cloud conveyors system: a versatile application for exploring cyber-physical systems
• Compositional cyber-physical systems modeling
• Explicit routing schemes for implementation of cellular automata on processor arrays
• Compositional synthesis of state-dependent switching control
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Unifying theories of reactive design contracts
• A contract-based semantics and refinement for Simulink
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• scientific article; zbMATH DE number 7379290 (Why is no real title available?)
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• A mechanically verified theory of contracts
• Probabilistic robust design of control systems for high-fidelity cyber-physical testing
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• Transformations for compositional verification of assumption-commitment properties
• From interface automata to hypercontracts
• Linking formal methods in software development. A reflection on the development of rCOS
• Process-oriented approach to the design of cyber-physical systems
• Human-cyber-physical automata and their synthesis
• Automated verification of reactive and concurrent programs by calculation

Describes a project that uses

Uses Software

• Metropolis
• Ptolemy

This page was built for publication: Taming Dr. Frankenstein: contract-based design for cyber-physical systems

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