Taming Dr. Frankenstein: contract-based design for cyber-physical systems
type: Item
instance of: scholarly article
title: Taming Dr. Frankenstein: contract-based design for cyber-physical systems
zbMATH Open document ID: 1264.93152
author: Werner Damm
author: Roberto Passerone
author: Alberto L. Sangiovanni-Vincentelli
published in: European Journal of Control
publication date: 2013-02-28T00:00:00Z
Mathematics Subject Classification ID: 93C70
Mathematics Subject Classification ID: 93B51
Mathematics Subject Classification ID: 93C95
zbMATH DE Number: 6140027
zbMATH Keywords: design methodologies
zbMATH Keywords: industrial automation
zbMATH Keywords: development schedules
zbMATH Keywords: horizontal contracts
zbMATH Keywords: mechanical, electrical, and chemical processes
zbMATH Keywords: controller design
zbMATH Keywords: element integration
zbMATH Keywords: meet-in-the-middle approach
zbMATH Keywords: vertical contracts
zbMATH Keywords: platform-based design
zbMATH Keywords: contract-based design
zbMATH Keywords: subsequent refinement process
zbMATH Keywords: complexity of cyber-physical systems
zbMATH Keywords: control of multi-scale complex systems
Wikidata QID: Q57380259
describes a project that uses: Ptolemy
describes a project that uses: Metropolis
MaRDI profile type: Publication
full work available at URL: ejc.18.217-238
OpenAlex ID: W1994901326
cites work: Branching time and abstraction in bisimulation semantics
cites work: Q4427918
cites work: Bridging the gap between fair simulation and trace inclusion
cites work: Q4536603
cites work: A modal interface theory for component-based design
DOI: 10.3166/EJC.18.217-238
description: scientific article; zbMATH DE number 6140027