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

DOI10.3166/EJC.18.217-238zbMATH Open1264.93152OpenAlexW1994901326WikidataQ57380259 ScholiaQ57380259MaRDI QIDQ1937313FDOQ1937313

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

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

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)

Cites Work

• Branching time and abstraction in bisimulation semantics
• A modal interface theory for component-based design
• Title not available (Why is that?)
• Bridging the gap between fair simulation and trace inclusion
• Title not available (Why is that?)

Cited In (19)

• Compositional cyber-physical systems modeling
• Cloud conveyors system: a versatile application for exploring cyber-physical systems
• 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
• Title not available (Why is that?)
• An improved algorithm for the control synthesis of nonlinear sampled switched systems
• 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
• Human-cyber-physical automata and their synthesis
• Process-oriented approach to the design of cyber-physical systems
• Automated verification of reactive and concurrent programs by calculation

Uses Software

• Ptolemy
• Metropolis

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)